Rule formats for distributivity

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

doi:10.1016/j.tcs.2012.07.036

Rule formats for distributivity

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

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

5 Citaten (Scopus)

1 Downloads (Pure)

Samenvatting

This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats. Some conditions ensuring the invalidity of the left-distributivity law are also offered.

Originele taal-2	Engels
Pagina's (van-tot)	1-28
Tijdschrift	Theoretical Computer Science
Volume	458
DOI's	https://doi.org/10.1016/j.tcs.2012.07.036
Status	Gepubliceerd - 2012

Toegang tot document

10.1016/j.tcs.2012.07.036

Citeer dit

@article{e43a3c405f15466c9a4e7fd868e4d540,

title = "Rule formats for distributivity",

abstract = "This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats. Some conditions ensuring the invalidity of the left-distributivity law are also offered.",

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

year = "2012",

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

language = "English",

volume = "458",

pages = "1--28",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier B.V.",

}

TY - JOUR

T1 - Rule formats for distributivity

AU - Aceto, L.

AU - Cimini, M.

AU - Ingólfsdóttir, A.

AU - Mousavi, M.R.

AU - Reniers, M.A.

PY - 2012

Y1 - 2012

N2 - This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats. Some conditions ensuring the invalidity of the left-distributivity law are also offered.

AB - This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats. Some conditions ensuring the invalidity of the left-distributivity law are also offered.

U2 - 10.1016/j.tcs.2012.07.036

DO - 10.1016/j.tcs.2012.07.036

M3 - Article

SN - 0304-3975

VL - 458

SP - 1

EP - 28

JO - Theoretical Computer Science

JF - Theoretical Computer Science

ER -

Rule formats for distributivity

Samenvatting

Toegang tot document

Vingerafdruk

Citeer dit