A Characterisation of Weak Bisimulation Congruence

  • Rob J. van Glabbeek
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3838)


This paper shows that weak bisimulation congruence can be characterised as rooted weak bisimulation equivalence, even without making assumptions on the cardinality of the sets of states or actions of the processes under consideration.


Equivalence Relation Isomorphism Class Semantic Context Yield Root Proof Sketch 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Baeten, J.C.M., Bergstra, J.A., Klop, J.W.: On the consistency of Koomen’s fair abstraction rule. Theoretical Computer Science 51(1/2), 129–176 (1987)zbMATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Bergstra, J.A., Klop, J.W.: Algebra of communicating processes with abstraction. Theoretical Computer Science 37(1), 77–121 (1985)zbMATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Bergstra, J.A., Klop, J.W.: Algebra of communicating processes. In: de Bakker, J.W., Hazewinkel, M., Lenstra, J.K. (eds.) Mathematics and Computer Science. CWI Monograph 1, pp. 89–138. North-Holland, Amsterdam (1986)Google Scholar
  4. 4.
    van Glabbeek, R.J.: The linear time – branching time spectrum II; the semantics of sequential systems with silent moves (extended abstract). In: Best, E. (ed.) CONCUR 1993. LNCS, vol. 715, pp. 66–81. Springer, Heidelberg (1993)Google Scholar
  5. 5.
    van Glabbeek, R.J., Weijland, W.P.: Branching time and abstraction in bisimulation semantic. Journal of the ACM 43(3), 555–600 (1996)CrossRefMathSciNetzbMATHGoogle Scholar
  6. 6.
    Hennessy, M., Milner, R.: Algebraic laws for nondeterminism and concurrency. Journal of the ACM 32(1), 137–161 (1985)zbMATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Milner, R.: Operational and algebraic semantics of concurrent processes. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol. 19, pp. 1201–1242. Elsevier Science Publishers B.V (North-Holland), Amsterdam (1990)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Rob J. van Glabbeek
    • 1
  1. 1.National ICT Australia and School of Computer Science and EngineeringThe University of New South Wales 

Personalised recommendations