Reversible Choreographies via Monitoring in Erlang.

Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto

Browse the full DAIS paper archive.