Deriving complete inference systems for a class of GSOS languages generating regular behaviours (1994)

by L Aceto
Venue:Parrow (Eds.), Proceedings CONCUR 94