From the 1 of 2 linked papers with an AI index.
2 papers
cs.PL2026
Choreographic Programming: a Semantic Approach
Matteo Acclavio, Giulia Manara, Fabrizio Montesi +1
The Endpoint Projection (EPP) theorem is a cornerstone of choreographic programming. It states that every choreography can be projected to a network of processes that correctly imp…
cs.PL2026
Mech: Mechanised Choreographic Programming
Xueying Qin, Marco Peressotti, Fabrizio Montesi
The paper introduces Mech, a Lean 4 mechanisation of choreographic programming that supports general branching, recursion, and nondeterministic choice, and proves soundness and com…