Re: Problem with LOTOS specification

Article View: comp.specification

Article #448

Back to comp.specification Previous Next

#448

From: Brendan Mahony
Date: Wed, 12 Jun 1991 23:55

14 lines
1158 bytes

In <DLS.91Jun11202329@achilleus.austin.ibm.com> dls@achilleus.austin.ibm.com (David Skeen) writes:

>CSP (and CCS) only allow a pair of processes to pass values at a gate.

I have heard this from more than one person. Where does this bit of
misinformation come from? CSP has special conventions for setting up
1::1 channels between processes (P >> Q), but the basic synchronisation
mechanism (P || Q) is broadcast.

--
Brendan Mahony                   | brendan@batserver.cs.uq.oz       
Department of Computer Science   | heretic: someone who disgrees with you
University of Queensland         | about something neither of you knows
Australia                        | anything about.

Technical Details

Message-ID: <1918@uqcspe.cs.uq.oz.au>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!usc!wuarchive!uunet!munnari.oz.au!bunyip.cc.uq.oz.au!brolga!uqcspe!cs.uq.oz.au!brendan

References: <DLS.91Jun11202329@achilleus.austin.ibm.com>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!usc!wuarchive!uunet!munnari.oz.au!bunyip.cc.uq.oz.au!brolga!uqcspe!cs.uq.oz.au!brendan
From: brendan@cs.uq.oz.au (Brendan Mahony)
Newsgroups: comp.specification
Subject: Re: Problem with LOTOS specification
Message-ID: <1918@uqcspe.cs.uq.oz.au>
Date: 12 Jun 91 23:55:49 GMT
References: <DLS.91Jun11202329@achilleus.austin.ibm.com>
Sender: news@cs.uq.oz.au
Reply-To: brendan@cs.uq.oz.au
Lines: 14

Reply to Parent Message