W. Peter Weijland
Rob J. van Glabbeek and W. Peter Weijland.
Branching time and abstraction in bisimulation semantics.
Journal of the ACM
, 43(3):555-600, May 1996.
Abstract, References, Citations, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database