zapp@daimi.UUCP (Michael Hoffmann Olsen) (03/12/88)
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