A Characterisation of Weak Bisimulation Congruence

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

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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)MATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Bergstra, J.A., Klop, J.W.: Algebra of communicating processes with abstraction. Theoretical Computer Science 37(1), 77–121 (1985)MATHCrossRefMathSciNetGoogle 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)CrossRefMathSciNetMATHGoogle Scholar
  6. 6.
    Hennessy, M., Milner, R.: Algebraic laws for nondeterminism and concurrency. Journal of the ACM 32(1), 137–161 (1985)MATHCrossRefMathSciNetGoogle 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