Fabrizio Montesi
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Prog. Lang.×1
Frequent co-authors
Research Timeline
2026
Choreographic Programming: a Semantic Approach
The paper presents a new semantics for choreographies and a preorder relation to prove the Endpoint Projection Theorem in a modular and simpler way.
Highlighted terms show continued research focus across papers