Eun-hye Choi, Eun-hye Choi, Tatsuhiro Tsuchiya, Tohru Kikuno
Various principal fault-tolerant agreement protocols for asynchronous distributed systems, such as atomic commitment and view synchrony, can be constructed in a modular way which is based on...
Obtaining Optimal Coteries that Maximize Availability in General Topology Networks (2008)
We discuss availability optimization of quorum-based mutual exclusion mechanisms in unreliable networks. The availability of such a mechanism depends critically on the coterie (a set of node groups...
Using Bounded Model Checking to Verify Consensus Algorithms (2008)
Tsuchiya, Tatsuhiro, Schiper, André
This paper presents an approach to automatic verification of asynchronous round-based consensus algorithms. We use model checking, a widely practiced verification method; but its application to...
Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in General Topology Networks (2007)
Tatsuhiro Tsuchiya, Tohru Kikuno
The use of quorums is a well-known approach to achieving mutual exclusion in distributed environments. In this paper, we propose a new availability evaluation method for quorum-based mutual exclusion...
WONG, TheinLai, TSUCHIYA, Tatsuhiro, KIKUNO, Tohru
This letter proposes a broadcast scheme for use in ad hoc networks using variable-range transmission power. Preserving energy and ensuring a high delivery ratio of broadcast packets are crucial tasks...
Model Checking of Consensus Algorithms (2006)
Tsuchiya, Tatsuhiro, Schiper, André
We show for the first time that standard model checking allows one to completely verify asynchronous algorithms for solving consensus, a fundamental problem in fault-tolerant distributed computing....
Model Checking of Consensus Algorithms (2006)
Tatsuhiro Tsuchiya, André Schiper
We show for the first time that standard model checking allows one to completely verify asynchronous algorithms for solving consensus, a fundamental problem in faulttolerant distributed computing....
Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in General Topology Networks (1999)
Tsuchiya, Tatsuhiro, Kikuno, Tohru
The use of quorums is a well-known approach to achieving mutual exclusion in distributed environments. In this paper, we propose a new availability evaluation method for quorum-based mutual exclusion...