Rooted branching bisimulation as a congruence (2000)

by Wan Fokkink
Venue:Journal of Computer and System Sciences
Citations:15 - 6 self

Documents Related by Co-Citation

1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
43 Structural operational semantics for weak bisimulations – B Bloom - 1995
196 Bisimulation can’t be traced – B Bloom, S Istrail, A R Meyer - 1995
189 Structured Operational Semantics and Bisimulation as a Congruence, Information and Computation 100 – J F Groote, F Vaandrager - 1992
495 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
116 Transition system specifications with negative premises – J F Groote - 1993
3219 Communication and Concurrency – R Milner - 1990
38 The meaning of negative premises in transition system specifications II – R.J. van Glabbeek - 2004
73 Compositionality through an operational semantics of contexts – K G Larsen, X Liu - 1991
125 Structural Operational Semantics – Luca Aceto, Wan Fokkink, Chris Verhoef - 1999
54 Ntyft/ntyxt rules reduce to ntree rules – Wan Fokkink, Rob Van Glabbeek - 1996
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
63 Higher-level synchronising devices in Meije–SCCS. Theoretical Computer Science 37(3), pp. 245–267. A Modal Characterisation of η-Bisimulation We prove the first part of Thm. 2.5, which states that η is a modal characterisation of η-bisimulation equivalenc – Robert De Simone, Communicated M. Nivat - 1985
249 Branching Time and Abstraction in Bisimulation Semantics – Rob J. Van Glabbeek, W. Peter Weijland - 1996
290 The Linear Time-Branching Time Spectrum II - The semantics of sequential systems with silent moves – R.J. van Glabbeek - 1993
19 Equivalences on Observable Processes – Irek Ulidowski - 1992
74 The meaning of negative premises in transition system specifications – R N Bol, J F Groote - 1996
109 A Congruence Theorem for Structured Operational Semantics With Predicates – J.C.M. Baeten, C. Verhoef - 1993
364 Process algebra for synchronous communication – J. A. Bergstra, J. W. Klop - 1984