Giovanni Fabbretti

According to our database, Giovanni Fabbretti authored at least 5 papers between 2021 and 2024.

Collaborative distances:

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

2024

A Behavioral Theory for Distributed Systems with Weak Recovery.

Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani

CoRR, 2024

Reversibility with Holes - (Work in Progress).

Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani

Proceedings of the Reversible Computation - 16th International Conference, 2024

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