Graphical Operational Semantics.

Andrea Corradini, Reiko Heckel, Ugo Montanari

Browse the full ICALP paper archive.