Items where Author is "Vaandrager, Frits W."

Article

De Nicola, Rocco and Vaandrager, Frits W. Three Logics for Branching Bisimulation. J. ACM, 42 (2). pp. 458-487. ISSN 0004-5411 (1995)

Book Section

De Nicola, Rocco and Vaandrager, Frits W. Action versus State based Logics for Transition Systems. In: Semantics of Systems of Concurrent Processes. Lecture Notes in Computer Science, 469 . Springer, pp. 407-419. ISBN 3-540-53479-2 (1990)

De Nicola, Rocco and Montanari, Ugo and Vaandrager, Frits W. Back and Forth Bisimulations. In: CONCUR '90 Theories of Concurrency: Unification and Extension. Lecture Notes in Computer Science, 458 . Springer, pp. 152-165. ISBN 3-540-53048-7 (1990)

De Nicola, Rocco and Vaandrager, Frits W. Three Logics for Branching Bisimulation (Extended Abstract). In: LICS. IEEE Computer Society, pp. 118-129. (1990)