Towards a theory of mathematical operational semantics


Power, J., 2003. Towards a theory of mathematical operational semantics. Electronic Notes in Theoretical Computer Science, 82 (1), pp. 257-272.

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.


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.


Item Type Articles
CreatorsPower, J.
DepartmentsFaculty of Science > Computer Science
ID Code26501


Actions (login required)

View Item