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

by L Aceto
Venue:in Jonsson and Parrow [133