Structured operational semantics and bisimulation as a congruence (1992)

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