Jan Friso Groote, MohammadReza Mousavi, and Michel Reniers, Proceedings of the 2nd Workshop on Structural Operational Semantics (SOS'05), Lisbon, Portugal, Electronic Notes in Theoretical Computer Science, Elsevier Science B.V., 156(1):3-25, September 2005.
. In 1981 Structural Operational Semantics (SOS) was introduced as a systematic way to define operational semantics of programming languages by a set of rules of a certain shape \cite{Plotkin81}. Subsequently, the rule format became object of study. Using so-called Transition System Specifications (TSSs) several authors syntactically restricted the format of rules and showed several useful properties about the semantics induced by any TSS adhering to the format. This has resulted in a line of research proposing several syntactical rule formats and associated meta-theorems. Properties that are guaranteed by such rule formats range from well-definedness of the operational semantics and compositionality of behavioral equivalences to security- and probability-related issues. In this paper, we provide an initial hierarchy of SOS rules formats and meta-theorems formulated around them.
Paper in .ps format in .pdf format Presentation in .pdf format
@InProceedings{MousaviSOS05-01,
author = "Groote, Jan Friso and Mousavi, MohammadReza and Reniers, Michel A.",
title = "A Hierarchy of SOS Rule Formats",
booktitle = "Proceedings of the 2nd Workshop on Structural Operational Semantics (SOS'05)",
series = "Electronic Notes in Theoretical Computer Science",
address = "Lisboa, Portugal",
publisher = "Elsevier Science B.V.",
year = "2005"
}