ON ASYNCHRONY AND CHOREOGRAPHIES

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

read more