| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 434957 | Theoretical Computer Science | 2011 | 27 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
