Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
SOS Rule Formats for Zero and Unit Elements$ Luca Acetoa,
 

Summary: SOS Rule Formats for Zero and Unit Elements$
Luca Acetoa,
, Matteo Ciminia
, Anna Ingolfsdottira
, MohammadReza
Mousavib
, Michel A. Reniersb,c
aICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101
Reykjavik, Iceland
bDepartment of Computer Science, Eindhoven University of Technology, P.O. Box 513,
NL-5600 MB Eindhoven, The Netherlands
cDepartment of Mechanical Engineering, Eindhoven University of Technology,
P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands
Abstract
This paper proposes rule formats for Structural Operational Semantics guaran-
teeing 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.
Keywords: Structural operational semantics (SOS), rule formats, bisimilarity,
unit elements, zero elements

  

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

 

Collections: Mathematics; Computer Technologies and Information Sciences