Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

On Rule Formats for Zero and Unit Elements Luca Aceto1

Summary: MFPS 2010
On Rule Formats for Zero and Unit Elements
Luca Aceto1
Matteo Cimini1
Anna Ingolfsdottir1
ICE-TCS, School of Computer Science
Reykjavik University
Menntavegur 1, IS 101 Reykjavik, Iceland
MohammadReza Mousavi Michel A. Reniers2
Department of Computer Science
Eindhoven University of Technology
P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands
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
Keywords: Structural Operational Semantics (SOS), GSOS format, bisimulation equivalence, zero
element, unit element


Source: Aceto, Luca - School of Computer Science, Reykjavík University


Collections: Mathematics; Computer Technologies and Information Sciences