Publications:SOS Rule Formats for Zero and Unit Elements

Jump to: navigation, search

Do not edit this section

Keep all hand-made modifications below

Title SOS Rule Formats for Zero and Unit Elements
Author Luca Aceto and Matteo Cimini and Anna Ingolfsdottir and Mohammad Reza Mousavi and Michel A. Reniers
Year 2011
PublicationType Journal Paper
Journal Theoretical Computer Science
Diva url
Abstract This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain constants act as left or right unit/zero elements for a set of binary operators. Examples of left and right zero, as well as unit, elements from the literature are shown to fit the rule formats offered in this study. © 2011 Elsevier B.V. All rights reserved.