Choreographies @ Nordic Workshop on Programming Theory

Oslo, Norway • Oct 28, 2018

On October 25th, Marco Peressotti gave a talk at the 30th Nordic Workshop on Programming Theory (NWPT’18) about “Choreographies and Communication Failures”.

In “Choreographies and Communication Failures”, Fabrizio Montesi, and Marco Peressotti propose the first choreography model that allows for communication failures and the programming of user-defined code to deal with such failures. They validate their model by implementing common strategies for handling communication failures in a robust way, which in turn can be used as a library by choreographies that assume reliable communication. They demonstrate the applicability of the model by defining a semantics-preserving compilation procedure towards a process calculus equipped with unreliable I/O actions.