arvind@utcsri.UUCP (11/18/87)
Date: 16 Nov 1987 10:17:32-EST (Monday)
From: Oliver <MUNNARI!MIMIR!WACSVAX!RACHEL@uunet.uu.net>
Subject: the synthesis of communication protocols
I am looking for any information about an idea presented by
Foto Afrati, Christos Papadimitriou and George Papageorgiou on "The
Synthesis of Communication Protocols" at the 5th ACM Symposium on the
Principles of Distributed Computing, 1986.
The paper presents a model for the synthesis of communication protocols
from a specification using a directed graph of entities, some of which
are unreliable, connected by directed communication channels. Knowledge
assertions are used to give the initial and final states of the network.
The result of the synthesis algorithm is a set of communicating finite
automata, one for each entity. Is there a full paper which describes the
synthesis algorithm ? Are there other researchers working on this
problem ?
Please reply by mail. I will summarize replies if there is sufficient
interest.
Many thanks,
Rachel Cardell-Oliver rachel@wacsvax.oz
Department of Computer Science
The University of Western Australia
NEDLANDS 6009