Generation of a Reversible Semantics for Erlang in Maude.

Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani

Browse the full ICFEM paper archive.