Branching Time and Abstraction in Bisimulation Semantics (1996)

Cached

Download Links

by Rob J. Van Glabbeek , W. Peter Weijland
Venue:Journal of the ACM
Citations:249 - 14 self