Structured Operational Semantics as a Specification Language

Bard Bloom. Structured Operational Semantics as a Specification Language. In POPL. pages 107-117, 1995.

Abstract

Abstract is missing.