Publications:SOS Rule Formats for Zero and Unit Elements
From CERES
| Title | SOS Rule Formats for Zero and Unit Elements |
|---|---|
| Author | Luca Aceto and Matteo Cimini and Anna Ingolfsdottir and Mohammad Reza Mousavi and Michel A. Reniers |
| Year | 2011 |
| PublicationType | Journal Paper |
| Journal | Theoretical Computer Science |
| HostPublication | |
| DOI | http://dx.doi.org/10.1016/j.tcs.2011.01.024 |
| Conference | |
| Diva url | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:583423 |
| Abstract | 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. © 2011 Elsevier B.V. All rights reserved. |
