-
2
-
-
0017981697
-
Synchronization and Matching in Redundant Systems
-
Davies, D. and Wakerly, J. F. “Synchronization and Matching in Redundant Systems.” IEEE Trans. on Computers C-27, 6 (June 1978), 531–539.
-
(1978)
IEEE Trans. On Computers
, vol.C-27
, Issue.6
, pp. 531-539
-
-
Davies, D.1
Wakerly, J.F.2
-
3
-
-
84976671974
-
Cryptographic Protocols
-
DeMillo, R. A., Lynch, N. A., and Merritt, M. J. “Cryptographic Protocols.” Proc. 14th ACM Symposium on Theory of Computing, 1982, pp. 383–400.
-
(1982)
Proc. 14Th ACM Symposium on Theory of Computing
, pp. 383-400
-
-
Demillo, R.A.1
Lynch, N.A.2
Merritt, M.J.3
-
6
-
-
0009768331
-
The Byzantine Generals Strike Again
-
Dolev, D. “The Byzantine Generals Strike Again.” J. Algorithms 3, 1 (1982), 14–30.
-
(1982)
J. Algorithms
, vol.3
, Issue.1
, pp. 14-30
-
-
Dolev, D.1
-
8
-
-
84914832046
-
An Efficient Byzantine Agreement Without Authentication
-
See also IBM Research Report RJ3428
-
Dolev, D., Fischer, M. J., Fower, R., Lynch, N. A., and Strong, H. R. “An Efficient Byzantine Agreement Without Authentication.” Information and Control (to appear). See also IBM Research Report RJ3428 (1982).
-
(1982)
Information and Control (To Appear)
-
-
Dolev, D.1
Fischer, M.J.2
Fower, R.3
Lynch, N.A.4
Strong, H.R.5
-
11
-
-
0020289693
-
Eventual’ is Earlier Than ‘Immediate
-
Dolev, D., Reischuk, R., and Strong, H. R. “Eventual’ is Earlier Than ‘Immediate’.” 23rd IEEE Symposium on Foundations of Computer Science, 1982, pp. 196–203.
-
(1982)
23Rd IEEE Symposium on Foundations of Computer Science
, pp. 196-203
-
-
Dolev, D.1
Reischuk, R.2
Strong, H.R.3
-
15
-
-
0001683636
-
Authenticated Algorithms for Byzantine Agreement
-
See also IBM Research Report RJ3416
-
Dolev, D., and Strong, H. R. “Authenticated Algorithms for Byzantine Agreement.” SIAM J. Comput. (to appear). See also IBM Research Report RJ3416 (1982).
-
(1982)
SIAM J. Comput. (To Appear)
-
-
Dolev, D.1
Strong, H.R.2
-
16
-
-
0020227045
-
A Simple and Efficient Byzantine Generals Algorithm
-
Pittsburgh
-
Fischer, M. J., Fowler, R. J., and Lynch, N. A. “A Simple and Efficient Byzantine Generals Algorithm.” Proc Second IEEE Symposium on Reliability in Distributed Software and Database Systems, Pittsburgh, 1982, pp. 46–52.
-
(1982)
Proc Second IEEE Symposium on Reliability in Distributed Software and Database Systems
, pp. 46-52
-
-
Fischer, M.J.1
Fowler, R.J.2
Lynch, N.A.3
-
17
-
-
0000613943
-
A Lower Bound for the Time to Assure Interactive Consistency
-
Fischer, M. J., and Lynch, N. A. “A Lower Bound for the Time to Assure Interactive Consistency.” Inf. Proc. Lett. 14, 4 (1982), 183–186.
-
(1982)
Inf. Proc. Lett
, vol.14
, Issue.4
, pp. 183-186
-
-
Fischer, M.J.1
Lynch, N.A.2
-
18
-
-
0020975983
-
Impossibility of Distributed Consensus with One Faulty Process
-
March
-
Fischer, M. J., Lynch, N. A., and Paterson, M. S. “Impossibility of Distributed Consensus with One Faulty Process.” Proc. Second ACM Symposium on Principles of Database Systems, March, 1983.
-
(1983)
Proc. Second ACM Symposium on Principles of Database Systems
-
-
Fischer, M.J.1
Lynch, N.A.2
Paterson, M.S.3
-
19
-
-
0344166303
-
-
Tech. Rept. CSL-79-14, XEROX Palo Alto Research Center, Sept
-
Gifford, D. K. Weighted Voting for Replicated Data. Tech. Rept. CSL-79-14, XEROX Palo Alto Research Center, Sept., 1979.
-
(1979)
Weighted Voting for Replicated Data
-
-
Gifford, D.K.1
-
21
-
-
85034269860
-
Using Time Instead of Timeout for Fault-Tolerant Distributed Systems
-
See also technical report, Computer Science Laboratory, SRI International (Jun
-
Lamport, L. “Using Time Instead of Timeout for Fault-Tolerant Distributed Systems.” ACM Trans. on Programming Lang. and Systems (to appear). See also technical report, Computer Science Laboratory, SRI International (June 1981).
-
(1981)
ACM Trans. On Programming Lang. And Systems (To Appear)
-
-
Lamport, L.1
-
22
-
-
0020780905
-
The Weak Byzantine Generals Problem
-
To appear
-
Lamport, L. “The Weak Byzantine Generals Problem.” J. ACM 30, 3 (July 1983). To appear.
-
(1983)
J. ACM
, vol.30
, Issue.3
-
-
Lamport, L.1
-
25
-
-
84976699318
-
The Byzantine Generals Problem
-
on Programming Lang. and Systems
-
Lamport, L., Shostak, R., and Pease, M. “The Byzantine Generals Problem.” ACM Trans. on Programming Lang. and Systems 4, 3 (July 1982), 382–401.
-
(1982)
ACM Trans
, vol.4
, Issue.3
, pp. 382-401
-
-
Lamport, L.1
Shostak, R.2
Pease, M.3
-
27
-
-
0004256761
-
-
Tech. Rept. GIT-ICS-83/06, School of Inf. & Comp. Sci., Georgia Institute of Technology, Feb
-
Merritt, M. J. Cryptographic Protocols. Tech. Rept. GIT-ICS-83/06, School of Inf. & Comp. Sci., Georgia Institute of Technology, Feb., 1983.
-
(1983)
Cryptographic Protocols
-
-
Merritt, M.J.1
-
28
-
-
84976835337
-
-
Research Report RJ3882, IBM
-
Mohan, C., Strong, H. R., and Finkelstein, S. Method for Distributed Transaction Commit and Recovery Using Byzantine Agreement within Clusters of Processors. Research Report RJ3882, IBM, 1983.
-
(1983)
Method for Distributed Transaction Commit and Recovery Using Byzantine Agreement within Clusters of Processors
-
-
Mohan, C.1
Strong, H.R.2
Finkelstein, S.3
-
29
-
-
84976810569
-
Reaching Agreement in the Presence of Faults
-
Pease, M., Shostak, R., and Lamport, L. “Reaching Agreement in the Presence of Faults.” J. ACM 27, 2 (1980), 228–234.
-
(1980)
J. ACM
, vol.27
, Issue.2
, pp. 228-234
-
-
Pease, M.1
Shostak, R.2
Lamport, L.3
-
30
-
-
85034985897
-
LOCUS: A Network Transparent, High Reliability Distributed System
-
Dec
-
Popek, G., et al. “LOCUS: A Network Transparent, High Reliability Distributed System.” Proc. 8th ACM Symposium on Operating Systems Principles, Dec., 1981, pp. 169–177.
-
(1981)
Proc. 8Th ACM Symposium on Operating Systems Principles
, pp. 169-177
-
-
Popek, G.1
-
33
-
-
0017930809
-
A Method for Obtaining Digital Signatures and Public-Key Cryptosystems
-
Rivest, R., Shamir, A., and Adleman, L. “A Method for Obtaining Digital Signatures and Public-Key Cryptosystems.” Comm. ACM 21, 2 (Feb. 1978), 120–126.
-
(1978)
Comm. ACM
, vol.21
, Issue.2
, pp. 120-126
-
-
Rivest, R.1
Shamir, A.2
Adleman, L.3
-
34
-
-
84976831317
-
-
Computer Science Technical Report TR 82-519, Cornell University, Sept
-
Schneider, F. B., Gries, D., and Schlichting, R. D. Fast Reliable Broadcasts. Computer Science Technical Report TR 82-519, Cornell University, Sept., 1982.
-
(1982)
Fast Reliable Broadcasts
-
-
Schneider, F.B.1
Gries, D.2
Schlichting, R.D.3
-
35
-
-
0018028210
-
SIFT: Design and Analysis of a Fault-Tolerant Computer for Aircraft Control
-
Wensley, J. H., et al. “SIFT: Design and Analysis of a Fault-Tolerant Computer for Aircraft Control.” Proc. IEEE 66, 10 (Oct. 1978), 1240–1255.
-
(1978)
Proc. IEEE
, vol.66
, Issue.10
, pp. 1240-1255
-
-
Wensley, J.H.1
|