Luca Aceto, Matteo Cimini, Anna Ingolfsdottir, MohammadReza Mousavi and Michel Reniers,, Theoretical Computer Science, 412:3045–3071, Elsevier, June 2011.
This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain constants act as left or right unit/zero elements for a set of binary operators. Examples of left and right zero, as well as unit, elements from the literature are shown to fit the rule formats offered in this study.
(Paper from ScienceDirect in .pdf format)
@article{MousaviTCS2011,
author = "Aceto, Luca and Cimini, Matteo and Ingolfsdottir, Anna and Mousavi, MohammadReza and Reniers, Michel A.",
title = "{SOS} Rule Formats for Zero and Unit Elements",
journal = "Theoretical Computer Science",
volume = "412",
pages = "3045–-3071",
publisher = "Elsevier B.V., The Netherlands",
year = "2010"
}