Modular Verification of State-Based CRDTs in Separation Logic.

Abel Nieto, Arnaud Daby-Seesaram, Lon Gondelman, Amin Timany, Lars Birkedal

Browse the full ECOOP paper archive.