-
3
-
-
84995628748
-
Time optimal self stabilizing spanning tree algorithms
-
R.K. Shyamasundar (ed), Bombay, India., December Springer Berlin Heidelberg New York
-
S. Aggarwal, S. Kutten: Time optimal self stabilizing spanning tree algorithms. In: R.K. Shyamasundar (ed) 13th International Conference on Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science, Vol 761, p 400-410, Bombay, India., December 1993. Springer Berlin Heidelberg New York
-
(1993)
13th International Conference on Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science
, vol.761
, pp. 400-410
-
-
Aggarwal, S.1
Kutten, S.2
-
4
-
-
0000030395
-
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
-
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
-
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
-
7
-
-
0024933357
-
Bounded polynomial randomised consensus
-
P. Rudnicki (ed), Edmonton, AB, Canada, August ACM Press
-
H. Attiya, D. Dolev, N. Shavit: Bounded polynomial randomised consensus. In: P. Rudnicki (ed) Proceedings of the 8th Annual Symposium on Principles of Distributed Computing, p 281-294, Edmonton, AB, Canada, August 1989. ACM Press
-
(1989)
Proceedings of the 8th Annual Symposium on Principles of Distributed Computing
, pp. 281-294
-
-
Attiya, H.1
Dolev, D.2
Shavit, N.3
-
9
-
-
84947739092
-
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
-
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
-
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
-
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
-
18
-
-
0342890577
-
-
Technical Report MIT/LCS/TR-587, MIT Laboratory for Computer Science, November
-
R. Gawlick, R. Segala, J.F. Søgaard-Andersen, N.A. Lynch: Liveness in timed and untimed systems. Technical Report MIT/LCS/TR-587, MIT Laboratory for Computer Science, November 1993
-
(1993)
Liveness in Timed and Untimed Systems
-
-
Gawlick, R.1
Segala, R.2
Søgaard-Andersen, J.F.3
Lynch, N.A.4
-
21
-
-
0017555081
-
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
-
24
-
-
85011825628
-
Proving time bounds for randomized distributed algorithms
-
Los Angeles, CA
-
N.A. Lynch, I. Saias, R. Segala: Proving time bounds for randomized distributed algorithms. In: Proceedings of the 13th Annual ACM Symposium on Principles of Distributed Computing, Los Angeles, CA, p 314-323, 1994
-
(1994)
Proceedings of the 13th Annual ACM Symposium on Principles of Distributed Computing
, pp. 314-323
-
-
Lynch, N.A.1
Saias, I.2
Segala, R.3
-
25
-
-
85031892754
-
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
-
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
-
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
-
29
-
-
0029181641
-
Formal verification of timed properties of randomized distributed algorithms
-
Ottawa, Ontario, Canada, August
-
A. Pogosyants, R. Segala: Formal verification of timed properties of randomized distributed algorithms. In: Proceedings of the 14th Annual ACM Symposium on Principles of Distributed Computing, Ottawa, Ontario, Canada, p 174-183, August 1995
-
(1995)
Proceedings of the 14th Annual ACM Symposium on Principles of Distributed Computing
, pp. 174-183
-
-
Pogosyants, A.1
Segala, R.2
-
30
-
-
50549176920
-
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
-
-
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
|