Abstract
This paper offers a meta-theorem for languages with a Structural Operational Semantics (SOS) in the style of Plotkin. Namely, it proposes a generic rule format for SOS guaranteeing that certain constants act as left- or right-unit elements for a set of binary
operators. We show the generality of our format by applying it to a wide range of operators
from the literature on process calculi.
| Original language | English |
|---|---|
| Place of Publication | Eindhoven |
| Publisher | Technische Universiteit Eindhoven |
| Number of pages | 13 |
| Publication status | Published - 2009 |
Publication series
| Name | Computer science reports |
|---|---|
| Volume | 0913 |
| ISSN (Print) | 0926-4515 |