| Abstract
|
<p>This paper proposes rule formats … <p>This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain constants act as left or right unit/zero elements for a set of binary operators. Examples of left and right zero, as well as unit, elements from the literature are shown to fit the rule formats offered in this study. © 2011 Elsevier B.V. All rights reserved.</p>sevier B.V. All rights reserved.</p>
|
| Author
|
Luca Aceto +
, Matteo Cimini +
, Anna Ingolfsdottir +
, Mohammad Reza Mousavi +
, Michel A. Reniers +
|
| DOI
|
http://dx.doi.org/10.1016/j.tcs.2011.01.024 +
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:583423
|
| EndPage
|
3071 +
|
| Issue
|
28 +
|
| Journal
|
Theoretical Computer Science +
|
| PublicationType
|
Journal Paper +
|
| Publisher
|
Elsevier +
|
| StartPage
|
3045 +
|
| Title
|
SOS Rule Formats for Zero and Unit Elements +
|
| Volume
|
412 +
|
| Year
|
2011 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:SOS Rule Formats for Zero and Unit Elements +
, Publications:SOS Rule Formats for Zero and Unit Elements +
, Publications:SOS Rule Formats for Zero and Unit Elements +
, Publications:SOS Rule Formats for Zero and Unit Elements +
, Publications:SOS Rule Formats for Zero and Unit Elements +
, Publications:SOS Rule Formats for Zero and Unit Elements +
, Publications:SOS Rule Formats for Zero and Unit Elements +
, Publications:SOS Rule Formats for Zero and Unit Elements +
, Publications:SOS Rule Formats for Zero and Unit Elements +
, Publications:SOS 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 +
|
