Re: Problem with LOTOS specification

Article View: comp.specification

Article #450

Back to comp.specification Previous Next

#450

From: David Skeen
Date: Thu, 13 Jun 1991 14:50

16 lines
1476 bytes

In article <1918@uqcspe.cs.uq.oz.au> brendan@cs.uq.oz.au (Brendan Mahony) writes:
   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.

From Hoare's 1985 book:  "We shall observe the convention that
channels are used for communication in only one direction and between
only two processes" (p134).  I understand that (P || Q) means P in
parallel with Q, but I don't see (P >> Q).

Are we both talking about Communicating Sequential Processes?
--
Dave Skeen                     IBM Internal: dls@achilleus.austin.ibm.com
D61/803  Zip 2603              IBM VNET:     SKEEN at AUSTIN
Austin, TX 78758               Internet:     dls@dce.austin.ibm.com

Technical Details

Message-ID: <DLS.91Jun13105052@achilleus.austin.ibm.com>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!romp!auschs!awdprime!awdprime.austin.ibm.com!dls

References: <DLS.91Jun11202329@achilleus.austin.ibm.com> <1918@uqcspe.cs.uq.oz.au>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!romp!auschs!awdprime!awdprime.austin.ibm.com!dls
From: dls@achilleus.austin.ibm.com (David Skeen)
Newsgroups: comp.specification
Subject: Re: Problem with LOTOS specification
Message-ID: <DLS.91Jun13105052@achilleus.austin.ibm.com>
Date: 13 Jun 91 14:50:52 GMT
References: <DLS.91Jun11202329@achilleus.austin.ibm.com>
 <1918@uqcspe.cs.uq.oz.au>
Sender: news@awdprime.UUCP
Reply-To: David Skeen <dls@achilleus.austin.ibm.com>
Organization: IBM Austin (PSP)
Lines: 16
In-reply-to: brendan@cs.uq.oz.au's message of 12 Jun 91 23:55:49 GMT

Reply to Parent Message