GMC Syn
Tool for synthesising a choreography from Genalised Multiparty Compatible CFSMs
The tool allows to
- Check that a set of CFSM is Generalised Multiparty Compatible (GMC)
- Synthesise a choreography (global graph) which is equivalent to the input CFSMs.
Related publications