Reversibility in Erlang: Imperative Constructs.

Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti

Browse the full RC paper archive.