[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Conflicting Priorities in occam

To: occam-com@xxxxxxxxx
Subject: Conflicting Priorities in occam
From: Adrian Lawrence <adrian.lawrence@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx>
Date: Tue, 9 Mar 1999 15:57:27 +0000 (GMT)
Cc: adrian.lawrence@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx (Adrian Lawrence)

I have updated
	ftp://ftp.ox.ac.uk/pub/adrian/csppw21r.ps.gz
This gives a cleaner definition of the revised version of hiding, and fixes
a misplaced quantifier in one of the health conditions. :-(

This is still the "undressed"  version, of course. 

Adrian
-- 
A E Lawrence, MA., DPhil.  	adrian.lawrence@xxxxxxxxxxxxxx
MicroProcessor Unit, 13, Banbury Road, Oxford. OX2 6NN. UK.                
Voice: (+44)-1865-273274,  Fax: (+44)-1865-273275

Prev by Date: RA and PhD student wanted
Next by Date: Re: Conflicting Priorities in occam
Previous by thread: Conflicting Priorities in occam
Next by thread: Re: Conflicting Priorities in occam
Index(es):
- Date
- Thread