Towards a Mathematical Operational Semantics.

Daniele Turi, Gordon D. Plotkin

Browse the full LICS paper archive.