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

Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

9 Citaten (Scopus)

1 Downloads (Pure)

Samenvatting

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.

Originele taal-2	Engels
Pagina's (van-tot)	3045-3071
Tijdschrift	Theoretical Computer Science
Volume	412
Nummer van het tijdschrift	28
DOI's	https://doi.org/10.1016/j.tcs.2011.01.024
Status	Gepubliceerd - 2011

Toegang tot document

10.1016/j.tcs.2011.01.024

Citeer dit

@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

Samenvatting

Toegang tot document

Vingerafdruk

Citeer dit