Summary
This deliverable reports on the modeling notations devised for specifying CHOReVOLUTION choreographies to be taken as input by the CHOReVOLUTION synthesis processor.
More information & hyperlinks