Ordered SOS Rules and Weak Bisimulation (1996)

by Iain Phillips , Irek Ulidowski
Venue:Theory and Formal Methods
Citations:4 - 3 self