On 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.entcs.2010.08.009

On rule formats for zero and unit elements

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

4 Citations (Scopus)

Abstract

This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our design approach is also applied to reformulate an earlier rule format for unit elements developed by some of the authors. Examples of left and right zero, as well as unit, elements from the literature are shown to be checkable using the provided formats. Keywords: Structural Operational Semantics (SOS); GSOS format; bisimulation equivalence; zero element; unit element.

Original language	English
Title of host publication	Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVI, Ottawa ON, Canada, May 6-10, 2010)
Editors	M. Mislove, P. Selinger
Pages	145-160
DOIs	https://doi.org/10.1016/j.entcs.2010.08.009
Publication status	Published - 2010

Publication series

Name	Electronic Notes in Theoretical Computer Science
Volume	265
ISSN (Print)	1571-0061

Access to Document

10.1016/j.entcs.2010.08.009

Cite this

Aceto, L., Cimini, M., Ingólfsdóttir, A., Mousavi, M. R., & Reniers, M. A. (2010). On rule formats for zero and unit elements. In M. Mislove, & P. Selinger (Eds.), Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVI, Ottawa ON, Canada, May 6-10, 2010) (pp. 145-160). (Electronic Notes in Theoretical Computer Science; Vol. 265). https://doi.org/10.1016/j.entcs.2010.08.009

@inproceedings{45a56fafbcc946e3b00ae60dc4bb3476,

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

abstract = "This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our design approach is also applied to reformulate an earlier rule format for unit elements developed by some of the authors. Examples of left and right zero, as well as unit, elements from the literature are shown to be checkable using the provided formats. Keywords: Structural Operational Semantics (SOS); GSOS format; bisimulation equivalence; zero element; unit element.",

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

year = "2010",

doi = "10.1016/j.entcs.2010.08.009",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

pages = "145--160",

editor = "M. Mislove and P. Selinger",

booktitle = "Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVI, Ottawa ON, Canada, May 6-10, 2010)",

}

Aceto, L, Cimini, M, Ingólfsdóttir, A, Mousavi, MR & Reniers, MA 2010, On rule formats for zero and unit elements. in M Mislove & P Selinger (eds), Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVI, Ottawa ON, Canada, May 6-10, 2010). Electronic Notes in Theoretical Computer Science, vol. 265, pp. 145-160. https://doi.org/10.1016/j.entcs.2010.08.009

On rule formats for zero and unit elements. / Aceto, L.; Cimini, M.; Ingólfsdóttir, A. et al.
Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVI, Ottawa ON, Canada, May 6-10, 2010). ed. / M. Mislove; P. Selinger. 2010. p. 145-160 (Electronic Notes in Theoretical Computer Science; Vol. 265).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - On 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 - 2010

Y1 - 2010

N2 - This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our design approach is also applied to reformulate an earlier rule format for unit elements developed by some of the authors. Examples of left and right zero, as well as unit, elements from the literature are shown to be checkable using the provided formats. Keywords: Structural Operational Semantics (SOS); GSOS format; bisimulation equivalence; zero element; unit element.

AB - This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our design approach is also applied to reformulate an earlier rule format for unit elements developed by some of the authors. Examples of left and right zero, as well as unit, elements from the literature are shown to be checkable using the provided formats. Keywords: Structural Operational Semantics (SOS); GSOS format; bisimulation equivalence; zero element; unit element.

U2 - 10.1016/j.entcs.2010.08.009

DO - 10.1016/j.entcs.2010.08.009

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 145

EP - 160

BT - Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVI, Ottawa ON, Canada, May 6-10, 2010)

A2 - Mislove, M.

A2 - Selinger, P.

ER -

Aceto L, Cimini M, Ingólfsdóttir A, Mousavi MR, Reniers MA. On rule formats for zero and unit elements. In Mislove M, Selinger P, editors, Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVI, Ottawa ON, Canada, May 6-10, 2010). 2010. p. 145-160. (Electronic Notes in Theoretical Computer Science). doi: 10.1016/j.entcs.2010.08.009

On rule formats for zero and unit elements

Abstract

Publication series

Access to Document

Fingerprint

Cite this