Design-by-Contract for Flexible Multiparty Session Protocols -- Extended Version

Lorenzo Gheri, Ivan Lanese, Neil Sayers +2

Choreographic models support a correctness-by-construction principle in distributed programming. Also, they enable the automatic generation of correct message-based communication p…