Toward Bringing Distributed System Design upon Rigorous Footing.

Mohammed S. Al-Mahfoudh, Ganesh Gopalakrishnan, Ryan Stutsman

Browse the full IRI paper archive.