Wiki
Clone wikigmc-synthesis / Home
From Communicating Machines to Graphical Choreographies ![aec-badge-popl_small.png](https://bitbucket.org/repo/n7yzjd/images/42833604-aec-badge-popl_small.png)
This tool implements the theory introduced in "From Communicating Machines to Graphical Choreographies" by Julien Lange, Emilio Tuosto, and Nobuko Yoshida.
The tool allows to:
-
Check that a set of CFSM is Generalised Multiparty Compatible (GMC), and
-
Synthesise a choreography (global graph) which is equivalent to the input CFSMs.
See here for more information and there for a sample of GMC and non-GMC protocol, some more details on some of them are in this pdf file.
Updated