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. © 2010 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Aceto, L., Ingolfsdottir, A., Mousavi, M., & Reniers, M. A. (2010). A rule format for unit elements. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5901 LNCS, pp. 141–152). https://doi.org/10.1007/978-3-642-11266-9_12
Mendeley helps you to discover research relevant for your work.