On rule formats for zero and unit elements

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

On rule formats for zero and unit elements

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

Research output: Book/Report › Report › Academic

106 Downloads (Pure)

Abstract

This paper proposes rule formats 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.

Original language	English
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Number of pages	35
Publication status	Published - 2010

Publication series

Name	Computer science reports
Volume	1003
ISSN (Print)	0926-4515

Access to Document

674732Final published version, 268 KB

Cite this

@book{7010f6f36aad4010977c4c7e9d5c644f,

title = "On 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 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.",

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

year = "2010",

language = "English",

series = "Computer science reports",

publisher = "Technische Universiteit Eindhoven",

}

TY - BOOK

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 rule formats 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.

AB - This paper proposes rule formats 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.

M3 - Report

T3 - Computer science reports

BT - On rule formats for zero and unit elements

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -

On rule formats for zero and unit elements

Abstract

Publication series

Access to Document

Fingerprint

Cite this