Path: 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: Sender: news@cs.uq.oz.au Reply-To: brendan@cs.uq.oz.au Lines: 14 In 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.