Difference between revisions of "Publications:Rule formats for distributivity"
From CERES
(Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Mic...") |
(No difference)
|
Latest revision as of 04:43, 26 June 2014
| 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. |
