Towards a Unified Theory of Operational and Axiomatic Semantics.

Grigore Rosu, Andrei Stefanescu

Browse the full ICALP paper archive.