메뉴 건너뛰기




Volumn 13, Issue 3, 2000, Pages 155-186

Verification of the randomized consensus algorithm of Aspnes and Herlihy: A case study

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; COMPUTER SIMULATION; PROBABILISTIC LOGICS;

EID: 0034224327     PISSN: 01782770     EISSN: None     Source Type: Journal    
DOI: 10.1007/PL00008917     Document Type: Article
Times cited : (46)

References (32)
  • 4
    • 0000030395 scopus 로고
    • Time- and space-efficient randomized consensus
    • J. Aspnes: Time- and space-efficient randomized consensus. J Algorithms, 14(3): 414-431 (1993)
    • (1993) J Algorithms , vol.14 , Issue.3 , pp. 414-431
    • Aspnes, J.1
  • 5
    • 38249017639 scopus 로고
    • Fast randomized consensus using shared memory
    • J. Aspnes, M.P. Herlihy: Fast randomized consensus using shared memory. J Algorithms, 15(1): 441-460 (1990)
    • (1990) J Algorithms , vol.15 , Issue.1 , pp. 441-460
    • Aspnes, J.1    Herlihy, M.P.2
  • 6
    • 0001135481 scopus 로고    scopus 로고
    • 2 n) operations per processor
    • 2 n) operations per processor. SIAM J Comput, 25(5): 1024-1044 (1996)
    • (1996) SIAM J Comput , vol.25 , Issue.5 , pp. 1024-1044
    • Aspnes, J.1    Waarts, O.2
  • 9
    • 84947739092 scopus 로고    scopus 로고
    • Efficient asynchronous consensus with a value-oblivious adversary scheduler
    • th ICALP. Paderborn, Germany. Springer Berlin Heidelberg New York
    • th ICALP, Paderborn, Germany, Lecture Notes in Computer Science, Vol 1099, p 622-633. Springer Berlin Heidelberg New York, 1996
    • (1996) Lecture Notes in Computer Science , vol.1099 , pp. 622-633
    • Aumann, Y.1    Bender, M.2
  • 10
    • 21844505024 scopus 로고
    • Model checking of probabilistic and nondeterministic systems
    • Proceedings Conferenco on Foundations of Software Technology and Theoretical Computer Science, Springer Berlin Heidelberg New York
    • A. Bianco, L. de Alfaro: Model checking of probabilistic and nondeterministic systems. In: Proceedings Conferenco on Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science, Vol 1026, p 499-513, Springer Berlin Heidelberg New York, 1995
    • (1995) Lecture Notes in Computer Science , vol.1026 , pp. 499-513
    • Bianco, A.1    De Alfaro, L.2
  • 14
    • 0003390783 scopus 로고
    • Analyzing expected time by scheduler-luck games
    • S. Dolev, A. Israeli, S. Moran: Analyzing expected time by scheduler-luck games. IEEE Trans Software Eng, 21(5): 429-439 (1995)
    • (1995) IEEE Trans Software Eng , vol.21 , Issue.5 , pp. 429-439
    • Dolev, S.1    Israeli, A.2    Moran, S.3
  • 17
    • 0022045868 scopus 로고
    • Impossibility of distributed consensus with a family of faulty process
    • M. Fischer, N. Lynch, M. Paterson: Impossibility of distributed consensus with a family of faulty process. Journal of the ACM, 32(2): 374-382 (1985)
    • (1985) Journal of the ACM , vol.32 , Issue.2 , pp. 374-382
    • Fischer, M.1    Lynch, N.2    Paterson, M.3
  • 21
    • 0017555081 scopus 로고
    • Concurrent reading and writing
    • L. Lamport: Concurrent reading and writing. Communications of the ACM, 20(11): 806-811 (1977)
    • (1977) Communications of the ACM , vol.20 , Issue.11 , pp. 806-811
    • Lamport, L.1
  • 25
    • 85031892754 scopus 로고
    • Hierarchical correctness proofs for distributed algorithms
    • Vancouver, Canada, August A full version is available as MIT Technical Report MIT/LCS/TR-387
    • N.A. Lynch, M.R. Tuttle: Hierarchical correctness proofs for distributed algorithms. In: Proceedings of the 6th Annual ACM Symposium on Principles of Distributed Computing, p 137-151, Vancouver, Canada, August 1987. A full version is available as MIT Technical Report MIT/LCS/TR-387
    • (1987) Proceedings of the 6th Annual ACM Symposium on Principles of Distributed Computing , pp. 137-151
    • Lynch, N.A.1    Tuttle, M.R.2
  • 26
    • 0005336501 scopus 로고
    • Forward and backward simulations - Part I: Untimed systems
    • N.A. Lynch, F.W. Vaandrager: Forward and backward simulations - part I: Untimed systems. Inf Comput 121(2): 214-233 (1995)
    • (1995) Inf Comput , vol.121 , Issue.2 , pp. 214-233
    • Lynch, N.A.1    Vaandrager, F.W.2
  • 28
    • 0022562228 scopus 로고
    • Verification of multiprocess probabilistic protocols
    • A. Pnueli, L. Zuck: Verification of multiprocess probabilistic protocols. Distributed Computing, 1(1): 53-72 (1986)
    • (1986) Distributed Computing , vol.1 , Issue.1 , pp. 53-72
    • Pnueli, A.1    Zuck, L.2
  • 30
    • 50549176920 scopus 로고
    • Probabilistic automata
    • M.O. Rabin: Probabilistic automata. Inform Contr, 6: 230-245 (1963)
    • (1963) Inform Contr , vol.6 , pp. 230-245
    • Rabin, M.O.1
  • 31
    • 0004181981 scopus 로고
    • PhD thesis, MIT, Dept. of Electrical Engineering and Computer Science, Also appears as technical report MIT/LCS/TR-676
    • R. Segala: Modeling and Verification of Randomized Distributed Real-Time Systems. PhD thesis, MIT, Dept. of Electrical Engineering and Computer Science, 1995. Also appears as technical report MIT/LCS/TR-676
    • (1995) Modeling and Verification of Randomized Distributed Real-Time Systems
    • Segala, R.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.