Giovanni Fabbretti

According to our database, Giovanni Fabbretti authored at least 3 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Reversibility in Erlang: Imperative Constructs.

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

Proceedings of the Reversible Computation - 14th International Conference, 2022

Generation of a Reversible Semantics for Erlang in Maude.

Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani

Proceedings of the Formal Methods and Software Engineering, 2022

2021

Causal-Consistent Debugging of Distributed Erlang Programs.

Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani

Proceedings of the Reversible Computation - 13th International Conference, 2021