Int. J. Critical Computer-Based Systems, Vol. x, No. x, xxxx Byzantine Consensus in Asynchronous Message-Passing Systems: a Survey Miguel Correia*, Giuliana Santos Veronese, Nuno Ferreira Neves and Paulo

First Page		Document Content
Date: 2011-07-05 05:43:32 Applied mathematics Mathematics Distributed algorithm Atomic broadcast Algorithm Distributed computing Byzantine fault tolerance State machine replication Chandra–Toueg consensus algorithm Fault-tolerant computer systems Computing Consensus		Int. J. Critical Computer-Based Systems, Vol. x, No. x, xxxx Byzantine Consensus in Asynchronous Message-Passing Systems: a Survey Miguel Correia*, Giuliana Santos Veronese, Nuno Ferreira Neves and Paulo Add to Reading List Source URL: www.gsd.inesc-id.pt Download Document from Source Website File Size: 246,57 KB Share Document on Facebook

	Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that DocID: 1xVqL - View Document
	Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that DocID: 1xUKn - View Document
	Cluster Fault-Tolerance: An Experimental Evaluation of Checkpointing and MapReduce through Simulation Thomas C. Bressoud #1 , Michael A. Kozuch ∗2 # DocID: 1rqZy - View Document
	Attested Append-Only Memory: Making Adversaries Stick to their Word Byung-Gon Chun† Petros Maniatis⋆ Scott Shenker†‡ † DocID: 1rqQM - View Document