A choreography example


Example of a choreography description