98 citations · 385 across the 33 of their papers we have counts for
3 papers · 2 filters
On Asynchrony and Choreographies
Luís Cruz-Filipe, Fabrizio Montesi
Choreographic Programming is a paradigm for the development of concurrent software, where deadlocks are prevented syntactically. However, choreography languages are typically synch…
Communications in Choreographies, Revisited
Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti
Choreographic Programming is a paradigm for developing correct-by-construction concurrent programs, by writing high-level descriptions of the desired communications and then synthe…
That's Enough: Asynchrony with Standard Choreography Primitives
Luís Cruz-Filipe, Fabrizio Montesi
Choreographies are widely used for the specification of concurrent and distributed software architectures. Since asynchronous communications are ubiquitous in real-world systems, p…