Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms? Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, and Josef Widder Vienna University of Technology (TU Wien) Abstract. Fault-tolerant distrib

First Page		Document Content
Date: 2013-05-15 09:27:00 Distributed computing Fault tolerance Cryptography Failure Theory of computation Consensus Byzantine fault tolerance Promela Distributed algorithm Fault-tolerant computer systems Concurrent computing Computing		Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms? Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, and Josef Widder Vienna University of Technology (TU Wien) Abstract. Fault-tolerant distrib Add to Reading List Source URL: forsyte.at Download Document from Source Website File Size: 411,78 KB Share Document on Facebook

	Distributed Computing Prof. R. Wattenhofer BA/MA/SA: A Hybrid Blockchain System DocID: 1xVNV - View Document
	Distributed Computing Prof. R. Wattenhofer SA/MA: Byzantine Reinforcement Learning DocID: 1xVKs - View Document
	Distributed Computing Prof. R. Wattenhofer Activity Recognition and Adversarial Learning with Smartwatches DocID: 1xVFo - View Document
	Distributed Computing Prof. R. Wattenhofer BA/SA/Group/Lab: Dynamic Directories DocID: 1xVCB - View Document
	Distributed Computing Prof. R. Wattenhofer Advanced Topics in Deep Learning - Disentangled Representations DocID: 1xVwm - View Document