Invariant Safety for Distributed Applications.

Sreeja S. Nair, Gustavo Petri, Marc Shapiro

Browse the full EuroSys paper archive.