🚀 go-pugleaf

With regard to the discussion on `Z and Concurrency' the other month, I
would like to bring your attention to the following:

@inproceedings{Z:Stod92,
	title=		"The Event Calculus (Formal Specification of Real
			 Time Systems by means of Diagrams and Z Schemas)", 

	author=		"Bill Stoddart and Peter Knaggs",

	booktitle=	"$5^{th}$ International Conference on Putting
			 into practice methods and tools for information
			 system design",

	address=	"University of Nantes, Institut Universitaire
			 de Technologie, 3 Rue du Mar\'echal Joffre,
			 44041 NANTES Cedex 01, France",

	month=		sep,

	year=		1992}

I do have a copy of this paper in LaTeX format, although we do intend
re-write parts of it as a result of comments received during the
conference.

--
Peter J. Knaggs.       School of Computing and Maths, University of Teesside,
pjk @ scm.tees.ac.uk   Middlesbrough, Cleveland, England.    +44 (642) 342673
-----------------------------------------------------------------------------
        C makes you think that C is the world's greatest language.
    Forth makes you think that you're the world's greatest programmer.
-----------------------------------------------------------------------------
Ps: Having just completed my PhD Thesis, I am on the lookout for any good
    jobs.  Please contact me if you know of any.