A theory of reversibility for Erlang

• Published in: Journal of logical and algebraic methods in programming Vol. 100; pp. 71 - 97
• Main Authors: Lanese, Ivan, Nishida, Naoki, Palacios, Adrián, Vidal, Germán
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.11.2018; Elsevier
• Subjects: Actor model; Computer Science; Concurrency; Formal Languages and Automata Theory; Programming Languages; Reversible computation; Rollback recovery; Rollback recovery; Reversible computation; Actor model; Concurrency; reversible computation; rollback recovery; actor model; concurrency

In a reversible language, any forward computation can be undone by a finite sequence of backward steps. Reversible computing has been studied in the context of different programming languages and formalisms, where it has been used for testing and verifica- tion, among others. In this paper, we consi...