98 citations · 385 across the 33 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
cs.PL2017★ 5 cited
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…
cs.PL2017
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…
cs.PL2017★ 1 cited
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…