protocol for dist. processes

Article View: comp.protocols.misc

Article #778

Back to comp.protocols.misc Previous Next

#778

From: Michael Hoffmann Olsen
Date: Sat, 12 Mar 1988 13:45

18 lines
1063 bytes

   I'm currently working on Action semantics for CCS. As most people
know the '+' operator is quite troublesome because of the
nondeterministic behaviour, especially combined with the '|'
operator. 
   What I need is a distributed protocol that give two processes,
a sender and a receiver (among an arbitrary amount of processes)
the opportunity to agree upon one specifik channel which they both
want to communicate on.
   I'm not sure this is the right place to ask for this, so any
comment will be received with great enthusiasm.

Michael Hoffmann Olsen
Computer Science Department
Aarhus University
Ny Munkegade 116 - DK 8000 Aarhus C - Denmark

E-mail: zapp@daimi.dk

Technical Details

Message-ID: <1372@daimi.UUCP>

Path: arc1-ca.pugleaf.net!utzoo!mnetor!uunet!mcvax!diku!daimi!zapp

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!mnetor!uunet!mcvax!diku!daimi!zapp
From: zapp@daimi.UUCP (Michael Hoffmann Olsen)
Newsgroups: comp.protocols.misc
Subject: protocol for dist. processes
Message-ID: <1372@daimi.UUCP>
Date: 12 Mar 88 13:45:46 GMT
Reply-To: zapp@daimi.UUCP (Michael Hoffmann Olsen)
Organization: DAIMI: Computer Science Department, Aarhus University, Denmark
Lines: 18