finite labelled transition systems, Theoretical Cornput (1994)

by GSOS
Venue:Sci