Formal Specifications in CCS

Article View: fj.mail-lists.parallel

Article #349

Back to fj.mail-lists.parallel Previous Next

#349

From: David Sewry
Date: Wed, 12 Aug 1992 12:21

11 lines
705 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.

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

Technical Details

Message-ID: <313330@nttlab.ntt.JP>

Path: arc1-ca.pugleaf.net!sparky!uunet!sun-barr!sh.wide!wnoc-tyo-news!etl.go.jp!gama!lab!nttlab!daemon

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!sun-barr!sh.wide!wnoc-tyo-news!etl.go.jp!gama!lab!nttlab!daemon
From: csds@alpha.ru.ac.za (David Sewry)
Newsgroups: fj.mail-lists.parallel
Subject: Formal Specifications in CCS
Message-ID: <313330@nttlab.ntt.JP>
Date: 12 Aug 92 12:21:33 GMT
Sender: daemon@nttlab.ntt.JP
Distribution: fj
Lines: 11
Approved: news@nttlab.ntt