R.: Deriving bisimulation congruences for reactive systems (0)

by J Leifer, Milner
Venue:2000) and Sequential Independence for Borrowed Contexts 241