Z and concurrent systems bit 2

Article View: comp.specification.z

Article #45

Back to comp.specification.z Previous Next

#45

From: "Julian Rose"
Date: Thu, 13 Aug 1992 12:00

8 lines
620 bytes

whoops, spotted a silly sentence in my previous email.
At the end I mean I'd do the Z bit first and then do the
CSP bit, not that I'd use Z to specify the patterns of
communication and CSP to specify the computational
aspects.

Julian

Technical Details

Message-ID: <12864.9208131200@gooch.comms-research.bristol.ac.uk>

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

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!ox-prg!Julian.Rose
From: Julian.Rose@bristol.ac.uk ("Julian Rose")
Newsgroups: comp.specification.z
Subject: Z and concurrent systems bit 2
Message-ID: <12864.9208131200@gooch.comms-research.bristol.ac.uk>
Date: 13 Aug 92 12:00:17 GMT
Sender: daemon@comlab.ox.ac.uk
Lines: 8
X-Mailer: ELM [version 2.3 PL8]
X-Mailer: mail-news 2.0.3