|
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
 |
1
|
|
| |
2
|
H. Attiya, C. Dwork, N. Lynch, and L. Stockmeyer, #'Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty," Report TM-435, Laboratory fo# Computer Science, MIT. Also: IBM l#ese#rch l#eport 1#J7853.
|
| |
3
|
H. Attiya and N. Lynch, "Time Bounds for P#eal-Time Process Control in the Presence of Timing Uncertainty," Proc. l Oth {EEE Real- Time Systems Symposium, 1989, pp. 268- 284. Also: Technical Memo MIT/LCS/TM- 403, Laboratory for Computer Science, MIT, July 1989.
|
| |
4
|
H. Attiya and M. Mavronicolas, "Efficieacy of Asynchronous vs. Semi-Synchronous Networks," 28th Allerton Conf. on Communication, Control and Computing, October 1990. Also: Technical P#eport 21-90, Department of Computer Science, Harvard University, September 1990.
|
| |
5
|
F. Cfisti#n, H. Aghili, t#. Strong and D. Dolev, "Atomic Broadcast: From Simple Message Diffusion to Byzantine Agreement," Proc. i5th Int. Conf. on Fault Tolerant Computing, 1985, pp. 1-7. Also: IBM Research Report t#J5244, revised October 1989.
|
| |
6
|
B. A. Coan and C. Dwork, "Simultaneity is Harder th#n Agreement," Proc. 5th IEEE Symp. on Reliability in Distributed Software and Database Systems, 1986, pp. 141-150.
|
| |
7
|
B. A. Coan znd G. Thomas, "Agreeing on a Le#der in P#eal-Time," Proc. 11th IEEE Real- Time Systems Symposium, 1990.
|
 |
8
|
Richard A. DeMillo , Nancy A. Lynch , Michael J. Merritt, Cryptographic protocols, Proceedings of the fourteenth annual ACM symposium on Theory of computing, p.383-400, May 05-07, 1982, San Francisco, California, United States
[doi> 10.1145/800070.802214]
|
 |
9
|
|
 |
10
|
|
| |
11
|
D. Dolev #nd H. P#. Strong, "Authenticated Algorithms for Byzantine Agreement," SIAM J. on Computing, Vol. 12, No. 4 (November 1983), pp. 656-666.
|
 |
12
|
|
| |
13
|
|
| |
14
|
C. Dwork #nd L. Stockmeyer, "Bounds on the Time to l#each Agreement as # Function of Message Del#y," IBM Research t#eport, in preparation.
|
| |
15
|
M. Fischer and N. Lynch, "A Lower Bound for the Time to Assure Interactive Consistency," Information Processing Letters,- Vol. 14, No. 4 (june 1982), pp. 183-186.
|
 |
16
|
|
| |
17
|
|
 |
18
|
|
 |
19
|
|
| |
20
|
L. L#mport and M. Fischer, "Byzantine Generals and Transaction Commit Protocols," Tech. Report Op. 62, SRI International, Menlo Park, CA, 1982.
|
 |
21
|
|
| |
22
|
M. Merritt, "Notes on the Dolev-Strong Lower Bound for Byzantine Agreement," unpublished manuscript, 1985.
|
| |
23
|
Y. Moses and M. Turtle, "Programming Simultaneous Actions Using Common Knowledge," Algorithm#ca, Vol. 3 (1988), pp. 121- 169.
|
 |
24
|
|
| |
25
|
S. Ponzio, "KeM-time Analysis of Timingbased Distributed Algorithms," MS thesis, in progress, MIT Electrical Engineering #nd Computer Science, 1990.
|
| |
26
|
|
| |
27
|
P#. Strong, D. Dolev and F. Cristi#n, "New Latency Bounds for Atomic Bro#dc#t," Proc. I l th IEEE Real-Time Systems Symposium, 1990.
|
CITED BY 6
|
|
|
|
|
Rajeev Alur , Thomas A. Henzinger , Moshe Y. Vardi, Parametric real-time reasoning, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing, p.592-601, May 16-18, 1993, San Diego, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
Rajeev Alur , Hagit Attiya , Gadi Taubenfeld, Time-adaptive algorithms for synchronization, Proceedings of the twenty-sixth annual ACM symposium on Theory of computing, p.800-809, May 23-25, 1994, Montreal, Quebec, Canada
|
|