| Abstract
|
<p>This paper proposes a rule format … <p>This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our design approach is also applied to reformulate an earlier rule format for unit elements developed by some of the authors. Examples of lef and right zero, as well as unit, elements from the literature are shown to be checkable using the provided formats.</p>able using 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:584481
|
| PublicationType
|
Report +
|
| Publisher
|
Technische Universiteit Eindhoven +
|
| Series
|
Computer science report ; 10-03 +
|
| Title
|
On rule formats for zero and unit elements +
|
| Year
|
2010 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:On rule formats for zero and unit elements +
, Publications:On rule formats for zero and unit elements +
, Publications:On rule formats for zero and unit elements +
, Publications:On rule formats for zero and unit elements +
, Publications:On rule formats for zero and unit elements +
, Publications:On rule formats for zero and unit elements +
, Publications:On rule formats for zero and unit elements +
, Publications:On rule formats for zero and unit elements +
, Publications:On rule formats for zero and unit elements +
, Publications:On rule formats for zero and unit elements +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:43:16 +
|
