Deriving Complete Inference Systems for a Class of GSOS Languages Generation Regular Behaviours (1994)

by Luca Aceto
Venue:In Jonsson & Parrow [15