Structural operational specifications and trace automata (1992)

by E Badouel, P Darondeau
Venue:In Proceedings CONCUR 92, number 630 in LNCS