Formal Specifications in CCS

Article View: comp.specification

Article #78

Back to comp.specification Previous Next

#78

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

Technical Details

Message-ID: <csds.713626244@alpha.ru.ac.za>

Path: arc1-ca.pugleaf.net!sparky!uunet!psgrain!hippo!csds

Show Full Headers

Complete Article Headers

Newsgroups: comp.specification
Path: arc1-ca.pugleaf.net!sparky!uunet!psgrain!hippo!csds
From: csds@alpha.ru.ac.za (David Sewry)
Subject: Formal Specifications in CCS
Message-ID: <csds.713626244@alpha.ru.ac.za>
Keywords: CCS
Sender: news@hippo.ru.ac.za
Organization: Rhodes University, Grahamstown, South Africa
Date: Wed, 12 Aug 1992 13:30:44 GMT
Lines: 14