| Abstract
|
<p>This paper proposes rule formats … <p>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.</p>stances of the provided formats.</p>
|
| Author
|
Luca Aceto +
, Matteo Cimini +
, Anna Ingólfsdóttir +
, Mohammad Reza Mousavi +
, Michael A. Reniers +
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:584470
|
| PublicationType
|
Report +
|
| Publisher
|
Technische Universiteit Eindhoven +
|
| Series
|
Computer science reports ; 10-16 +
|
| Title
|
Rule formats for distributivity +
|
| Year
|
2010 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:Rule formats for distributivity +
, Publications:Rule formats for distributivity +
, Publications:Rule formats for distributivity +
, Publications:Rule formats for distributivity +
, Publications:Rule formats for distributivity +
, Publications:Rule formats for distributivity +
, Publications:Rule formats for distributivity +
, Publications:Rule formats for distributivity +
, Publications:Rule formats for distributivity +
, Publications:Rule formats for distributivity +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:43:17 +
|
