Clone wiki

gmc-synthesis / Home

From Communicating Machines to Graphical Choreographies 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.