relation: http://eprints.imtlucca.it/378/
title: Three Logics for Branching Bisimulation (Extended Abstract)
creator: De Nicola, Rocco
creator: Vaandrager, Frits W.
subject: QA75 Electronic computers. Computer science
publisher: IEEE Computer Society
date: 1990
type: Book Section
type: PeerReviewed
identifier:   De Nicola, Rocco and Vaandrager, Frits W.  Three Logics for Branching Bisimulation (Extended Abstract).   In:  LICS.   IEEE Computer Society, pp. 118-129.       (1990)