Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.BERKELEY.EDU
Path: utzoo!watmath!clyde!burl!ulysses!ucbvax!apollo.UUCP!wyant
From: wyant@apollo.UUCP (Geoffrey Wyant)
Newsgroups: net.lang.mod2
Subject: sematics of SEND & WAIT
Message-ID: <8604240040.AA13947@uw-beaver.arpa>
Date: Tue, 22-Apr-86 08:30:06 EST
Article-I.D.: uw-beave.8604240040.AA13947
Posted: Tue Apr 22 08:30:06 1986
Date-Received: Sat, 26-Apr-86 04:25:41 EST
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 10


Does anyone out there know what the formal semantics 
of WAIT and SEND from the Processes module are ? Do
calls to them (and their associated SIGNAL) have to
be done within a monitor ?  Either way I can see 
problems.


                            Geoff Wyant
-------