A congruence theorem for structured operational semantics (0)

by J Baeten, C Verhoef
Venue:In E. Best, ed, Concurrency Theory, LNCS 715: 477–492