Description: Corinne is a tool working on choreography automata (FSA where transitions are labelled by interactions A -> B:m), performing visualization, product, synchronization and projection.

Developed at: UNIBO

Contacts: ivan.lanese@gmail.com

Available at: https://github.com/simoneorlando/Corinne