Turning SOS Rules into Equations

Luca Aceto, Bard Bloom, Frits W. Vaandrager

Browse the full LICS paper archive.