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

CSPP - dressed semantics.

To: occam-com@xxxxxxxxx, adrian@xxxxxxxxxxxxxxx (Adrian Lawrence)
Subject: CSPP - dressed semantics.
From: Adrian Lawrence <adrian.lawrence@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx>
Date: Wed, 7 Apr 1999 19:51:52 +0100 (BST)

I have reworked CSPP using dressed semantics. A completely[1] revised version
of my WoTUG-22 paper presents this and can be collected from
	ftp://ftp.ox.ac.uk/pub/users/adrian/csppw22.ps.gz .
Not checked: please let me know if you find errors.

Adrian

[1] So I am not worrying about any copyright IOP might have in the original
    version, not that I signed any (C) away.
-- 
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: Yahoo
Next by Date: Re: CSPP - dressed semantics.
Previous by thread: Yahoo
Next by thread: Re: CSPP - dressed semantics.
Index(es):
- Date
- Thread