Luca Aceto, Matteo Cimini, Anna Ingolfsdottir, MohammadReza Mousavi and Michel Reniers,, Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVI), Ottawa, Canada, Electronic Notes in Theoretical Computer Science, Elsevier, May 2010.
This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our design approach is also applied to reformulate an earlier rule format for unit elements developed by some of the authors. Examples of left and right zero, as well as unit, elements from the literature are shown to be checkable using the provided format
(Paper in .pdf format)
An extended version of this paper appeared as Technical Report CSR-10-03, Department of Computer Science, TU/Eindhoven, March 2010.
(Technical report in .pdf format)
@InProceedings{MousaviMFPS2010,
author = "Aceto, Luca and Cimini, Matteo and Ingolfsdottir, Anna and Mousavi, MohammadReza and Reniers, Michel A.",
title = "On Rule Formats for Zero and Unit Elements",
booktitle = "Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics ({MFPS XXVI})",
series = "Electronic Notes in Theoretical Computer Science",
address = "Ottawa, Canada",
publisher = "Elsevier B.V., The Netherlands",
year = "2010"
}