I Do Declare: Consensus in a Logic Language∗ Peter Alvaro Tyson Condie Neil Conway Joseph M. Hellerstein Russell Sears

First Page		Document Content
Date: 2009-08-31 01:17:53 Information Transaction processing Data management Two-phase commit protocol Distributed algorithms Data synchronization Paxos Consensus Replication Fault-tolerant computer systems Computing Data		I Do Declare: Consensus in a Logic Language∗ Peter Alvaro Tyson Condie Neil Conway Joseph M. Hellerstein Russell Sears Add to Reading List Source URL: db.cs.berkeley.edu Download Document from Source Website File Size: 221,57 KB Share Document on Facebook

	Sinfonia: a new paradigm for building scalable distributed systems Marcos K. Aguilera∗ ∗ Arif Merchant∗ DocID: 1qZBY - View Document
	Spanner: Google’s Globally-Distributed Database James C. Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes, Christopher Frost, JJ Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild, Wilson DocID: 1qZsn - View Document
	Consensus Roger Wattenhofer Summer School May-June 2016 DocID: 1qZgw - View Document
	Recovery in JOTM Marek Procházka INRIA Rhône-Alpes June 10, 2002 DocID: 1qzEI - View Document
	A Flexible Framework for Adding Transactions to Components Marek Prochazka INRIA Rhône-Alpes 665, avenue de l’Europe, MontbonnotSaint Ismier Cedex, France DocID: 1qj3w - View Document