CREST: principled foundations for decentralized systems.

Michael Martin Gorlick, Kyle Strasser, Alegria Baquero, Richard N. Taylor

Browse the full OOPSLA paper archive.