Reversibility in Erlang: Imperative Constructs. - Pietro Lami; Ivan Lanese; Jean-Bernard Stefani; Claudio Sacerdoti Coen; Giovanni Fabbretti (RC, 2022)

A Small-Step Semantics for Janus. - Pietro Lami; Ivan Lanese; Jean-Bernard Stefani (RC, 2024)

Reversible debugging of concurrent Erlang programs: Supporting imperative primitives. - Pietro Lami; Ivan Lanese; Jean-Bernard Stefani; Claudio Sacerdoti Coen; Giovanni Fabbretti (J. Log. Algebraic Methods Program., 2024)