Causally consistent reversible choreographies: a monitors-as-memories approach.

Claudio Antares Mezzina, Jorge A. Prez

Browse the full PPDP paper archive.