Publications:On rule formats for zero and unit elements

Jump to: navigation, search

Do not edit this section

Keep all hand-made modifications below

Title On rule formats for zero and unit elements
Author Luca Aceto and Matteo Cimini and Anna Ingólfsdóttir and Mohammad Reza Mousavi and Michael A. Reniers
Year 2010
PublicationType Report
Diva url
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 lef and right zero, as well as unit, elements from the literature are shown to be checkable using the provided formats.