finite labelled transition systems (1994)

by GSOS
Venue:Theoretical Comput. Sci