2015/02/09 by Fabrizio Montesi, Montesi, Fabrizio · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL)
paper · pdf · doi:10.48550/arxiv.1502.02519
openalex publication_date 2015/02/09 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We present an overview of some recent efforts aimed at the development of Choreographic Programming, a programming paradigm for the production of concurrent software that is guaranteed to be correct by construction from global descriptions of communication behaviour.