“Proving the safety of highly-available distributed objects” at ESOP 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.