Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  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
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

  

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

 

Collections: Mathematics; Computer Technologies and Information Sciences