Jar examples for c:choreography-specification
Click the following links for the tutorial for c and choreography-specification.