Z and concurrent systems bit 2

Thread View: comp.specification.z

1 messages

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

1 total messages Started by "Julian Rose" Thu, 13 Aug 1992 12:00

#45

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

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