Ordered SOS process languages for branching and eager bisimulations (2002)

by I Ulidowski, I C C Phillips
Venue:Information and Computation