A hierarchy of SOS rule formats

J.F. Groote, M.R. Mousavi, M.A. Reniers

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (Scopus)
1 Downloads (Pure)

Samenvatting

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 [G.D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, Aarhus, Denmark, September 1981. Also published in: Journal of Logic and Algebraic Programming 60–61 (2004) 17–140]. Subsequently, the format of SOS rules became the object of study. Using so-called Transition System Specifications (TSS's) 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. Keywords: Formal Semantics; Structural Operational Semantics; Rule Formats; Framework
Originele taal-2Engels
TitelProceedings of the 2nd Workshop on Structural Operational Semantics (SOS2005, Lisbon, Portugal, July 10, 2005; satellite to ICALP2005)
RedacteurenP.D. Mosses, I. Ulidowski
Pagina's3-25
DOI's
StatusGepubliceerd - 2006

Publicatie series

NaamElectronic Notes in Theoretical Computer Science
Volume156(1)
ISSN van geprinte versie1571-0061

Vingerafdruk Duik in de onderzoeksthema's van 'A hierarchy of SOS rule formats'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Groote, J. F., Mousavi, M. R., & Reniers, M. A. (2006). A hierarchy of SOS rule formats. In P. D. Mosses, & I. Ulidowski (editors), Proceedings of the 2nd Workshop on Structural Operational Semantics (SOS2005, Lisbon, Portugal, July 10, 2005; satellite to ICALP2005) (blz. 3-25). (Electronic Notes in Theoretical Computer Science; Vol. 156(1)). https://doi.org/10.1016/j.entcs.2005.11.077