Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  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
ICE-TCS, School of Computer Science, Reykjavik University,
Kringlan 1, IS-103 Reykjavik, Iceland
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