The paper “Proving the safety of highly-available distributed objects,” authored by Sreeja Nair, Gustavo Petri and Marc Shapiro, is accepted for publication at the 29th European Symposium on Programming (ESOP), in Dublin Ireland, April 2020.
The paper “Proving the safety of highly-available distributed objects,” authored by Sreeja Nair, Gustavo Petri and Marc Shapiro, is accepted for publication at the 29th European Symposium on Programming (ESOP), in Dublin Ireland, April 2020.
