Ordered SOS rules and weak bisimulation (1996)

by I C C Phillips, I Ulidowski
Venue:in “Advances in Theory and Formal Methods of Computing