3 citations · 6 across the 13 of their papers we have counts for
1 paper · 1 filter
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…