Publications:Rule formats for distributivity
From CERES
Title | Rule formats for distributivity |
---|---|
Author | Luca Aceto and Matteo Cimini and Anna Ingólfsdóttir and Mohammad Reza Mousavi and Michael A. Reniers |
Year | 2010 |
PublicationType | Report |
Journal | |
HostPublication | |
DOI | |
Conference | |
Diva url | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:584470 |
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. |