Luca Aceto, Anna Ingolfsdottir, MohammadReza Mousavi and Michel Reniers,, Proceedings of the 36th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2010), Spindleruv Mlyn, Czech Republic, Lecture Notes in Computer Science, Springer, January 2010.
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.
Paper in .ps format in .pdf format
@InProceedings{MousaviSOFSEM10,
author = "Aceto, Luca and Ingolfsdottir, Anna and Mousavi, MohammadReza and Reniers, Michel A.",
title = "Rule Formats for Unit Elements",
booktitle = "Proceedings of the 36th International Conference on Current Trends in Theory and Practice of Computer Science ({SOFSEM 2010})",
series = "Lecture Notes in Computer Science",
volume = "5901",
address = "Spindleruv Mlyn, Czech Republic",
pages = "141-152",
publisher = "Springer-Verlag, Berlin, Germany",
year = "2010"
}