Choreography Synthesis as Contract Agreement

Julien Lange, Alceste Scalas

We propose a formal model for distributed systems, where each participant advertises its requirements and obligations as behavioural contracts, and where multiparty sessions are st…