CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
  Home  \  Seminars @ CITI  \  Seminar Page Login  
banner bottom
File Top
Deadlock-freedom-by-design: Multiparty Asynchronous Global Programming
{ Wed, 20 Mar 2013, 11h00 }

By: Fabrizio Montesi  [ show info ]

Chor is a new programming language for communicating systems, where both behavioural protocol specifications and implementations (choreographies) are given at a global level. Then, the code for each concrete endpoint entity of a system can be automatically generated, with the guarantees of soundness and completeness wrt the originating descriptions. Thanks to its global nature, Chor captures a new class of asynchronous deadlock-free systems that eludes standard type systems in concurrency theory.

In this talk, I will give an overview of the formal model behind Chor and I will demonstrate its prototype implementation, an IDE and compiler that allow for the first time to experiment with the global programming paradigm. The target implementation language of the Chor compiler is Jolie, enabling the generated code to interoperate with a variety of environments.

More information can be found at the following links.
Chor website:
Jolie website:
Fabrizio Montesi's website:

Hosted by: Software Systems

Location: DI seminars room

File Bottom