65 citations · 340 across the 42 of their papers we have counts for
1 paper · 2 filters
Francesco Tiezzi, Nobuko Yoshida
In this work, we incorporate reversibility into structured communication-based programming, to allow parties of a session to automatically undo, in a rollback fashion, the effect o…