Formal Specifications in CCS

Thread View: comp.specification

1 messages

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

1 total messages Started by David Sewry Wed, 12 Aug 1992 13:30

#78

Author: David Sewry
Date: Wed, 12 Aug 1992 13:30

14 lines
750 bytes

Hello

I am using Milner's CCS to specify the Linda programming model.
(This work forms part of a larger project which aims to construct
a parallel debugger.)

I am keen to learn of any efforts in the use of CCS as a specification
tool, or its use in the specification of such parallel paradigms.

(I have also posted this to comp.parallel.)

David Sewry
Internet: csds@alpha.ru.ac.za

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