44 citations · 217 across the 40 of their papers we have counts for
5 papers · 1 filter
A Promising Future: Omission Failures in Choreographic Programming
Eva Graversen, Fabrizio Montesi, Marco Peressotti
Choreographic programming promises a simple approach to the coding of concurrent and distributed systems: write the collective communication behaviour of a system of processes as a…
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…
Microservices: a Language-based Approach
Claudio Guidi, Ivan Lanese, Manuel Mazzara +1
Microservices is an emerging development paradigm where software is obtained by composing autonomous entities, called (micro)services. However, microservice systems are currently d…