Paper

Branching time and abstraction in bisimulation semantics

R. J. vanGlabbeek, W. P. Weijland, "Branching time and abstraction in bisimulation semantics", J. ACM, vol. 43, no. 3, pp. 555-600, 1996.

1996

Created by ACM worker at 2019-04-09 16:00:53.0.
Last updated by ACM worker at 2019-04-10 10:34:34.0.
Simplified Graph of Associations
Word Cloud
Quid