Deriving Complete Inference Systems for a Class of GSOS Languages Generation Regular Behaviours.

Luca Aceto

Browse the full CONCUR paper archive.