DMCA

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:331 - 17 self