Name
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. |
Year | DOI | Venue |
|---|---|---|
2011 | 10.1016/j.tcs.2011.01.024 | Theoretical Computer Science |
Keywords | DocType | Volume |
Structural Operational Semantics (SOS),Rule formats,Bisimilarity,Unit elements,Zero elements | Journal | 412 |
Issue | ISSN | Citations |
28 | 0304-3975 | 6 |
PageRank | References | Authors |
0.43 | 10 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Luca Aceto | 1 | 1125 | 101.87 |
| Matteo Cimini | 2 | 64 | 7.02 |
| Anna Ingolfsdottir | 3 | 39 | 4.89 |
| MohammadReza Mousavi | 4 | 107 | 10.08 |
| M.A. Reniers | 5 | 369 | 32.69 |