38 citations · 145 across the 24 of their papers we have counts for
Showing 2016 · cs.LOShow all
2 papers · 2 filters
cs.LO2016★ 7 cited
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…
cs.LO2016★ 17 cited
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…