The paper “Proving the safety of highly-available distributed objects” was accepted at ESOP 2020. The paper was written by our partners from UPMC and the conference will take place in Dublin, Ireland, between 25 and 30 April.
The paper “Proving the safety of highly-available distributed objects” was accepted at ESOP 2020. The paper was written by our partners from UPMC and the conference will take place in Dublin, Ireland, between 25 and 30 April.