Thread View: comp.specification.z
1 messages
1 total messages
Started by Peter J Knaggs
Sat, 03 Oct 1992 10:08
Re: Z and Concurrency
Author: Peter J Knaggs
Date: Sat, 03 Oct 1992 10:08
Date: Sat, 03 Oct 1992 10:08
34 lines
1656 bytes
1656 bytes
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.
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads