Towards a theory of mathematical operational semantics

John Power

Research output: Contribution to journalArticlepeer-review

5 Citations (SciVal)


Turi and Plotkin gave a precise mathematical formulation of a notion of structural operational semantics in their paper “Towards a mathematical operational semantics.” Starting from that definition and at the level of generality of that definition, we give a mathematical formulation of some of the basic constructions one makes with structural operational semantics. In particular, given a single-step operational semantics, as is the spirit of their work, one composes transitions and considers streams of transitions in order to study the dynamics induced by the operational semantics. In all their leading examples, it is obvious that one can do that and it is obvious how to do it. But if their definition is to be taken seriously, one needs to be able to make such constructions at the level of generality of their definition rather than case-by-case. So this paper does so for several of the basic constructions associated with structural operational semantics, in particular those required in order to speak of a stream of transitions and hence of dynamics.
Original languageEnglish
Pages (from-to)257-272
Number of pages16
JournalElectronic Notes in Theoretical Computer Science
Issue number1
Publication statusPublished - Jul 2003


Dive into the research topics of 'Towards a theory of mathematical operational semantics'. Together they form a unique fingerprint.

Cite this