Branching time and abstraction in bisimulation semantics (extended abstract (1989)

by R J v Glabbeek, W P Weijland
Venue:Information Processing 89, NorthHolland