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

by L Aceto
Venue:Proceedings of the 5th International Conference on Concurrency Theory CONCUR’94, volume 836 of LNCS