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

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

4 Citations (Scopus)

1 Downloads (Pure)

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.

Original language	English
Pages (from-to)	1-28
Journal	Theoretical Computer Science
Volume	458
DOIs	https://doi.org/10.1016/j.tcs.2012.07.036
Publication status	Published - 2012

Access to Document

10.1016/j.tcs.2012.07.036

Cite this

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

}

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

Abstract

Access to Document

Fingerprint

Cite this