Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
暂无分享,去创建一个
[1] Maurice Herlihy,et al. Time-Lapse Snapshots , 1992, SIAM J. Comput..
[2] Shay Kutten,et al. Time Optimal Self-Stabilizing Spanning Tree Algorithms , 1993, FSTTCS.
[3] F. Vaandrager. Forward and Backward Simulations Part I : Untimed Systems , 1993 .
[4] Amos Israeli,et al. Analyzing Expected Time by Scheduler-Luck Games , 1995, IEEE Trans. Software Eng..
[5] Feller William,et al. An Introduction To Probability Theory And Its Applications , 1950 .
[6] Karl R. Abrahamson. On achieving consensus using a shared memory , 1988, PODC '88.
[7] Nancy A. Lynch,et al. Forward and backward simulations, part II: timing-based systems , 1993 .
[8] Hans A. Hansson. Time and probability in formal design of distributed systems , 1991, DoCS.
[9] Roberto Segala,et al. Modeling and verification of randomized distributed real-time systems , 1996 .
[10] Yonatan Aumann,et al. Efficient asynchronous consensus with the weak adversary scheduler , 1997, PODC '97.
[11] Nancy A. Lynch,et al. Proving time bounds for randomized distributed algorithms , 1994, PODC '94.
[12] Nancy A. Lynch,et al. Forward and Backward Simulations, II: Timing-Based Systems , 1991, Inf. Comput..
[13] Annabelle McIver,et al. Probabilistic predicate transformers , 1996, TOPL.
[14] Daniel Lehmann,et al. On the advantages of free choice: a symmetric and fully distributed solution to the dining philosophers problem , 1981, POPL '81.
[15] Nancy A. Lynch,et al. Impossibility of distributed consensus with one faulty process , 1985, JACM.
[16] Tushar Deepak Chandra. Polylog randomized wait-free consensus , 1996, PODC '96.
[17] Cyrus Derman,et al. Finite State Markovian Decision Processes , 1970 .
[18] Roberto Segala,et al. Formal verification of timed properties of randomized distributed algorithms , 1995, PODC '95.
[19] Moshe Y. Vardi. Automatic verification of probabilistic concurrent finite state programs , 1985, 26th Annual Symposium on Foundations of Computer Science (sfcs 1985).
[20] Maurice Herlihy,et al. Fast Randomized Consensus Using Shared Memory , 1990, J. Algorithms.
[21] Nancy A. Lynch,et al. Forward and Backward Simulations: I. Untimed Systems , 1995, Inf. Comput..
[22] Andrea Bianco,et al. Model Checking of Probabalistic and Nondeterministic Systems , 1995, FSTTCS.
[23] J. Aspnes. Time-and Space-eecient Randomized Consensus , 1992 .
[24] Micha Sharir,et al. Termination of Probabilistic Concurrent Program , 1983, TOPL.
[25] James Aspnes,et al. Randomized Consensus in Expected O(n log² n) Operations Per Processor , 1996, SIAM J. Comput..
[26] Nancy A. Lynch,et al. Hierarchical correctness proofs for distributed algorithms , 1987, PODC '87.
[27] James Aspnes. Time- and Space-Efficient Randomized Consensus , 1993, J. Algorithms.
[28] Nancy A. Lynch,et al. Liveness in Timed and Untimed Systems , 1994, Inf. Comput..
[29] Leslie Lamport,et al. Concurrent reading and writing , 1977, Commun. ACM.
[30] Nancy A. Lynch,et al. Distributed Algorithms , 1992, Lecture Notes in Computer Science.
[31] Ophir Rachman,et al. Randomized Consensus in Expected O(n²log n) Operations , 1991, WDAG.