Publications:Rule Formats for Distributivity
From CERES
Title | Rule Formats for Distributivity |
---|---|
Author | Luca Aceto and Matteo Cimini and Anna Ingolfsdottir and Mohammad Reza Mousavi and Michel A. Reniers |
Year | 2012 |
PublicationType | Journal Paper |
Journal | Theoretical Computer Science |
HostPublication | |
DOI | http://dx.doi.org/10.1016/j.tcs.2012.07.036 |
Conference | |
Diva url | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:583413 |
Abstract | This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats. Some conditions ensuring the invalidity of the left-distributivity law are also offered. © 2012 Elsevier B.V. All rights reserved. |