Re: Formal Specifications in CCS

Article View: fj.mail-lists.parallel

Article #364

Back to fj.mail-lists.parallel Previous Next

#364

From: Michael Sampels
Date: Thu, 13 Aug 1992 20:18

17 lines
895 bytes

Hello David,

you should read the article:

K. Jensen, The Semantics of Tuple Space and Correctness of an
Implementation, Yale University, Department of Computer Science,
1990.

Jensen uses Milner's CCS to specify the Linda syntax and to proove
the correctness.

Michael
----------------------------------------------------------------------
Michael Sampels           e-mail: sampels@i1.informatik.rwth-aachen.de
Koenigstr. 62
D-5100 Aachen
Germany

Technical Details

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

Path:

arc1-ca.pugleaf.net!sparky!uunet!sun-barr!sh.wide!wnoc-tyo-news!etl.go.jp!oskgate0.mei!icspub!wnoc-kyo!kuis!kudpc!nuis!tutgw!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!oskgate0.mei!icspub!wnoc-kyo!kuis!kudpc!nuis!tutgw!lab!nttlab!daemon
From: sampels@andrej.informatik.rwth-aachen.de (Michael Sampels)
Newsgroups: fj.mail-lists.parallel
Subject: Re: Formal Specifications in CCS
Message-ID: <313414@nttlab.ntt.JP>
Date: 13 Aug 92 20:18:53 GMT
Sender: daemon@nttlab.ntt.JP
Distribution: fj
Lines: 17
Approved: news@nttlab.ntt