Z and concurrent systems

Article View: comp.specification.z

Article #19

Back to comp.specification.z Previous Next

#19

From: Maria Brielmann
Date: Tue, 11 Aug 1992 14:21

13 lines
741 bytes

Hi folks,

I'm looking for some information about Z and specification of concurrent
systems. I heard some rumours about a special Z dialect for this task. Does
anybody of you know more details?

Cheers,

Maria Brielmann
Cadlab, Paderborn
Germany

E-mail: maria@cadlab.de         Tel:++49/5251/284137

Technical Details

Message-ID: <1992Aug11.142123.11290@uni-paderborn.de>

Path: arc1-ca.pugleaf.net!sparky!uunet!dtix!darwin.sura.net!Sirius.dfn.de!math.fu-berlin.de!pbinfo2!dain!maria

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!dtix!darwin.sura.net!Sirius.dfn.de!math.fu-berlin.de!pbinfo2!dain!maria
From: maria@dain (Maria Brielmann)
Newsgroups: comp.specification.z
Subject: Z and concurrent systems
Message-ID: <1992Aug11.142123.11290@uni-paderborn.de>
Date: 11 Aug 92 14:21:23 GMT
Sender: news@uni-paderborn.de (News Uni-Paderborn)
Organization: Uni-GH Paderborn
Lines: 13
Nntp-Posting-Host: dain.cadlab.uni-paderborn.de