Causal-consistent debugging of distributed Erlang programs G Fabbretti, I Lanese, JB Stefani International Conference on Reversible Computation, 79-95, 2021 | 9 | 2021 |
Reversibility in erlang: imperative constructs P Lami, I Lanese, JB Stefani, C Sacerdoti Coen, G Fabbretti International Conference on Reversible Computation, 187-203, 2022 | 5 | 2022 |
A behavioral theory for crash failures and erlang-style recoveries in distributed systems G Fabbretti, I Lanese, JB Stefani Inria, 2023 | 2 | 2023 |
Generation of a reversible semantics for Erlang in Maude G Fabbretti, I Lanese, JB Stefani International Conference on Formal Engineering Methods, 106-122, 2022 | 2 | 2022 |
Reversible debugging of concurrent Erlang programs: Supporting imperative primitives P Lami, I Lanese, JB Stefani, CS Coen, G Fabbretti Journal of Logical and Algebraic Methods in Programming 138, 100944, 2024 | | 2024 |
Reversibility in Erlang: Imperative Constructs-Technical Report P Lami, I Lanese, JB Stefani, CS Coen, G Fabbretti Inria-Research Centre Grenoble–Rhône-Alpes, 2022 | | 2022 |
Causal-Consistent Debugging of Distributed Erlang Programs-Technical Report G Fabbretti, I Lanese, JB Stefani Inria-Research Centre Grenoble–Rhône-Alpes, 2021 | | 2021 |
Causal-Consistent Debugging of Distributed Erlang I Lanese, G Fabbretti | | |