11 citations · 69 across the 24 of their papers we have counts for
3 papers · 1 filter
Tuple spaces implementations and their efficiency
Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina
Among the paradigms for parallel and distributed computing, the one popularized with Linda, and based on tuple spaces, is one of the least used, despite the fact of being intuitive…
Reversible Sessions Using Monitors
Claudio A. Mezzina, Jorge A. Pérez
Much research has studied foundations for correct and reliable communication-centric systems. A salient approach to correctness uses session types to enforce structured communicati…
A Safety and Liveness Theory for Total Reversibility (Extended Abstract)
Claudio Antares Mezzina, Vasileios Koutavas
We study the theory of safety and liveness in a reversible calculus where reductions are totally ordered and rollbacks lead the systems to past states. Similar to previous work on…