1992
Structured operational semantics and bisimulation as a congruence
Publication
Publication
Information and Computation , Volume 100 - Issue 2 p. 201- 260
Additional Metadata | |
---|---|
Academic Press | |
Information and Computation | |
Groote, J. F., & Vaandrager, F. (1992). Structured operational semantics and bisimulation as a congruence. Information and Computation, 100(2), 201–260. |