Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Rule Format for Unit Elements Luca Aceto1
 

Summary: A Rule Format for Unit Elements
Luca Aceto1
, Anna Ingolfsdottir1
,
MohammadReza Mousavi2
, and Michel A. Reniers2
1
ICE-TCS, School of Computer Science, Reykjavik University,
Kringlan 1, IS-103 Reykjavik, Iceland
2
Department of Computer Science, Eindhoven University of Technology,
P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands
Abstract. This paper offers a meta-theorem for languages with a Struc-
tural Operational Semantics (SOS) in the style of Plotkin. Namely, it
proposes a generic rule format for SOS guaranteeing that certain con-
stants act as left- or right-unit elements for a set of binary operators.
We show the generality of our format by applying it to a wide range of
operators from the literature on process calculi.
1 Introduction
In many process algebras and specification languages, one encounters constructs

  

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

 

Collections: Mathematics; Computer Technologies and Information Sciences