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

by L Ulidowski, L Phillips
Venue:Information and Computation