CauDEr: A Causal-Consistent Reversible Debugger for Erlang.

Ivan Lanese, Naoki Nishida, Adrin Palacios, Germn Vidal

Browse the full FLOPS paper archive.