Path: 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: Date: 13 Jun 91 14:50:52 GMT References: <1918@uqcspe.cs.uq.oz.au> Sender: news@awdprime.UUCP Reply-To: David Skeen Organization: IBM Austin (PSP) Lines: 16 In-reply-to: brendan@cs.uq.oz.au's message of 12 Jun 91 23:55:49 GMT 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