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