Towards a theory of mathematical operational semantics

John Power. Towards a theory of mathematical operational semantics. Electronic Notes in Theoretical Computer Science, 82(1):257-272, 2003. [doi]

Abstract

Abstract is missing.