Re: Z and concurrent systems

Article View: comp.specification.z

Article #21

Back to comp.specification.z Previous Next

#21

From: A Wooden Fish on Wheels
Date: Tue, 11 Aug 1992 16:43

15 lines
906 bytes

In article <...> hufnagel@cse.uta.edu (Stephen Hufnagel) writes:

   A simple extension is to use CSP to specify the concurrency and Z to 
   specify the processes. Another extention is to use path expressions
   to specify the concurrency and Z ...
     Good luck!

Good man!  More of these postings please!  Couldn't agree more! 

etc. etc.

Jim Davies (Oxford CSP Group)

--

Technical Details

Message-ID: <JIM.DAVIES.92Aug11174302@pierrot.prg.ox.ac.uk>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!ox-prg!culhua!Jim.Davies

References: <9208111603.AA27215@cse.uta.edu>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!ox-prg!culhua!Jim.Davies
From: Jim.Davies@prg.ox.ac.uk (A Wooden Fish on Wheels)
Newsgroups: comp.specification.z
Subject: Re: Z and concurrent systems
Message-ID: <JIM.DAVIES.92Aug11174302@pierrot.prg.ox.ac.uk>
Date: 11 Aug 92 16:43:02 GMT
References: <9208111603.AA27215@cse.uta.edu>
Sender: news@comlab.ox.ac.uk
Organization: Foundations for the Laboratory of Computer Science, Oxford
Lines: 15
In-reply-to: hufnagel@cse.uta.edu's message of 11 Aug 92 16:03:59 GMT

Reply to Parent Message