Description: An open-source choreography language for developing correct adaptive distributed systems from a global viewpoint.

Developed at: UNIBO

Contacts: Ivan Lanese

Available at: http://www.cs.unibo.it/projects/jolie/aiocj.html