van Glabbeek, Rob J.; Weijland, W. Peter Branching time and abstraction in bisimulation semantics. (English) Zbl 0882.68085 J. ACM 43, No. 3, 555-600 (1996). Cited in 8 ReviewsCited in 176 Documents MSC: 68Q55 Semantics in the theory of computing 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) Keywords:comparative concurrency semantics PDFBibTeX XMLCite \textit{R. J. van Glabbeek} and \textit{W. P. Weijland}, J. ACM 43, No. 3, 555--600 (1996; Zbl 0882.68085) Full Text: DOI Link Link