Z and concurrent systems

Thread View: comp.specification.z

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Maria Brielmann Tue, 11 Aug 1992 14:21

#19

Author: 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

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