Structured operational semantics and bisimulation as a congruence. (1992)

by J F Groote, F W Vaandrager
Venue:Information and Computation