Friiso Groote and Frits Vaandrager, Structured operational semantics and bisimulation as a congruence (0)

by Jan
Venue:Inform. and Comput