38 citations · 145 across the 24 of their papers we have counts for
4 papers · 1 filter
Dynamic Choreographies: Theory And Implementation
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo +2
Programming distributed applications free from communication deadlocks and race conditions is complex. Preserving these properties when applications are updated at runtime is even…
Towards Microservices and Beyond: An incoming Paradigm Shift in Distributed Computing
Manuel Mazzara, Ruslan Mustafin, Larisa Safina +1
The microservice architecture is a style inspired by service-oriented computing that has recently started gaining popularity and that promises to change the way in which software i…
A Modular Formalization of Reversibility for Concurrent Models and Languages
Alexis Bernadet, Ivan Lanese
Causal-consistent reversibility is the reference notion of reversibility for concurrency. We introduce a modular framework for defining causal-consistent reversible extensions of c…
Retractable Contracts
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese +1
In calculi for modelling communication protocols, internal and external choices play dual roles. Two external choices can be viewed naturally as dual too, as they represent an agre…