Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract).

Jan Friso Groote, Frits W. Vaandrager

Browse the full ICALP paper archive.