SOS rule formats for zero and unit elements

L. Aceto; M. Cimini; A. Ingólfsdóttir; M.R. Mousavi; M.A. Reniers

doi:10.1016/j.tcs.2011.01.024

SOS rule formats for zero and unit elements

L. Aceto, M. Cimini, A. Ingólfsdóttir, M.R. Mousavi, M.A. Reniers

Research output: Contribution to journal › Article › Academic › peer-review

9 Citations (Scopus)

1 Downloads (Pure)

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.

Original language	English
Pages (from-to)	3045-3071
Journal	Theoretical Computer Science
Volume	412
Issue number	28
DOIs	https://doi.org/10.1016/j.tcs.2011.01.024
Publication status	Published - 2011

Access to Document

10.1016/j.tcs.2011.01.024

Cite this

@article{c4941b11236d4537b0744e62c3e2ec19,

title = "SOS rule formats for zero and unit elements",

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.",

author = "L. Aceto and M. Cimini and A. Ing{\'o}lfsd{\'o}ttir and M.R. Mousavi and M.A. Reniers",

year = "2011",

doi = "10.1016/j.tcs.2011.01.024",

language = "English",

volume = "412",

pages = "3045--3071",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier B.V.",

number = "28",

}

TY - JOUR

T1 - SOS rule formats for zero and unit elements

AU - Aceto, L.

AU - Cimini, M.

AU - Ingólfsdóttir, A.

AU - Mousavi, M.R.

AU - Reniers, M.A.

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

U2 - 10.1016/j.tcs.2011.01.024

DO - 10.1016/j.tcs.2011.01.024

M3 - Article

SN - 0304-3975

VL - 412

SP - 3045

EP - 3071

JO - Theoretical Computer Science

JF - Theoretical Computer Science

IS - 28

ER -

SOS rule formats for zero and unit elements

Abstract

Access to Document

Fingerprint

Cite this