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