On Asynchrony and Choreographies
Choreographic Programming is a paradigm for the development of concurrent software, where deadlocks are prevented syntactically.However, choreography languages are typically synchronous, whereas many real-world systems have asynchronous communications.Previous attempts at enriching choreographies with asynchrony rely on ad-hoc constructions, Crutch