Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!utgpu!utcsri!arvind From: arvind@utcsri.UUCP Newsgroups: ut.theory Subject: THEORY NET: the synthesis of communication protocols Message-ID: <5680@utcsri.UUCP> Date: Wed, 18-Nov-87 15:26:02 EST Article-I.D.: utcsri.5680 Posted: Wed Nov 18 15:26:02 1987 Date-Received: Fri, 20-Nov-87 22:30:19 EST Distribution: ut Organization: CSRI, University of Toronto Lines: 29 Date: 16 Nov 1987 10:17:32-EST (Monday) From: Oliver 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