Reasoning with MAD Distributed Systems.

Lorenzo Alvisi, Edmund L. Wong

Browse the full CONCUR paper archive.