Re: Z and concurrent systems

Article View: comp.specification.z

Article #20

Back to comp.specification.z Previous Next

#20

From: Stephen Hufnagel
Date: Tue, 11 Aug 1992 16:03

4 lines
507 bytes

A simple extention 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!

Technical Details

Message-ID: <9208111603.AA27215@cse.uta.edu>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!ox-prg!hufnagel

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!ox-prg!hufnagel
From: hufnagel@cse.uta.edu (Stephen Hufnagel)
Newsgroups: comp.specification.z
Subject: Re: Z and concurrent systems
Message-ID: <9208111603.AA27215@cse.uta.edu>
Date: 11 Aug 92 16:03:59 GMT
Sender: daemon@comlab.ox.ac.uk
Lines: 4
X-Mailer: mail-news 2.0.3