[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Conflicting Priorities in occam
I have updated
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.
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