44 citations · 217 across the 40 of their papers we have counts for
4 papers · 1 filter
Data-driven Workflows for Microservices
Larisa Safina, Manuel Mazzara, Fabrizio Montesi
Microservices is an architectural style inspired by service-oriented computing that has recently started gaining popularity. Jolie is a programming language based on the microservi…
Applied Choreographies
Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli
Choreographic Programming is a correct-by-construction paradigm where a compilation procedure synthesises deadlock-free, concurrent, and distributed communicating processes from gl…
A Core Model for Choreographic Programming
Luís Cruz-Filipe, Fabrizio Montesi
Choreographic Programming is a programming paradigm for building concurrent programs that are deadlock-free by construction, as a result of programming communications declaratively…
Kickstarting Choreographic Programming
Fabrizio Montesi
We present an overview of some recent efforts aimed at the development of Choreographic Programming, a programming paradigm for the production of concurrent software that is guaran…