38 citations · 145 across the 24 of their papers we have counts for
7 papers · 1 filter
A Behavioral Theory for Distributed Systems with Weak Recovery
Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani
Distributed systems can be subject to various kinds of partial failures, therefore building fault-tolerance or failure mitigation mechanisms for distributed systems remains an impo…
An Axiomatic Theory for Reversible Computation
Ivan Lanese, Iain Phillips, Irek Ulidowski
Undoing computations of a concurrent system is beneficial in many situations, e.g., in reversible debugging of multi-threaded programs and in recovery from errors due to optimistic…
A Theory of Formal Choreographic Languages
Franco Barbanera, Ivan Lanese, Emilio Tuosto
We introduce a meta-model based on formal languages, dubbed formal choreographic languages, to study message-passing systems. Our framework allows us to generalise standard constru…
On Composing Communicating Systems
Franco Barbanera, Ivan Lanese, Emilio Tuosto
Communication is an essential element of modern software, yet programming and analysing communicating systems are difficult tasks. A reason for this difficulty is the lack of compo…
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…