Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Semantic Universe for the study of Fairness VERY ROUGH AND INCOMPLETE DRAFT
 

Summary: A Semantic Universe for the study of Fairness
VERY ROUGH AND INCOMPLETE DRAFT
Peter Aczel (petera@cs.man.ac.uk)
Departments of Mathematics and Computer Science
Manchester University
Manchester M13 9PL, U.K.
October 1, 1996
1 Introduction
I give an application of the general final universe approach to semantics, of [FUP], to give
a new semantics for the study of fairness. My starting point is the approach to fairness
in SCCS initiated by Milner in [Miln], where he added to SCCS a finite delay operator.
Recently, in [Hart1], Milner's operational semantics for finite delay was developed into a
final universe semantics and this universe was used in [Hart2] to give the semantics of a
variant of SCCS in which the fixpoint operators are refined into two kinds of fixpoint
operators and in which the finite delay operator can be represented.
In this paper I propose a much richer final universe for the study of fairness than that
used in [Hart1] and [Hart2]. In my view the semantics to finite delay, initiated in [Miln],
is too course to make intuitively desirable distinctions, so that something like the present
proposal is needed. It should be noted that the idea behind my proposal may already be
seen in [Henn1].

  

Source: Aczel, Peter - Departments of Mathematics & Computer Science, University of Manchester

 

Collections: Mathematics