1

ADAMS, J., AND RAMARAO, K. 1989 Distributed dagnosm of Byzantine processors and links. In the 9th Internatmnal IEEE Conference on Dzstr~buted Corr~putzng Systems. IEEE, New York, 562 569.

2

AGRAWAI,, P 1985. RAFT: A recursive algorithm for fault tolerance. In the International Con/erence on Parallel Programming, 814-821.

3

AMMANN, E., AND DAL CIN, M. 1981. Efficient algorithms for comparison-based self-diagnos~s In Self-Dzagnoszs and Fault-Tolerance. Werkhefte der Universitat Tfibingen, 4 Attempto-Verlag, Tubingen, 1-18.

4

Chagit Attiya , Danny Dolev , Joseph Gil, Asynchronous Byzantine consensus, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.119-133, August 27-29, 1984, Vancouver, British Columbia, Canada  [doi>10.1145/800222.806740]

5

Özalp Babaoğlu, Stopping times of distributed consensus protocols: A probabilistic analysis, Information Processing Letters, v.25 n.3, p.163-169, May 29, 1987  [doi>10.1016/0020-0190(87)90127-X ]

6

Özalp Babaoğlu, On the reliability of consensus-based fault-tolerant distributed computing systems, ACM Transactions on Computer Systems (TOCS), v.5 n.4, p.394-416, Nov. 1987  [doi>10.1145/29868.31332]

7

BABAO~LU, 0., AND DRUMMOND, R. 1985. Streets of Byzantium: Network architectures for fast reliable broadcasts. IEEE Trans. Softw. Eng. SE-11 (June), 546 554.

8

BAGCHI, A. 1992. A distributed algorithm for system-level diagnosis in hypercubes. In the IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems (July). IEEE, New York, 106-113.

9

BAGCHI, A., AND HAKIMI, S. 1991. An optimal algorithm for distributed system level diagnosis. In the 21st International IEEE Symposium on Fault-Tolerant Computing. IEEE, New York, 214-221.

10

BARBORAK, M., AND MALEK, M. 1993. Partitioning for efficient consensus. In Proceedings of the 26th Hawaii International Conference on System Sctences (Maul, Jan. 5-8), 438-446.

11

BAR-NOY, A., AND DOLEV, 1991. Consensus algorithms with one-bit messages. Dtstrib. Comput. 4, 105-110.

12

Amotz Bar-Noy , Danny Dolev , Cynthia Dwork , H. Raymond Strong, Shifting gears: changing algorithms on the fly to expedite Byzantine agreement, Information and Computation, v.97 n.2, p.205-233, April 1992  [doi>10.1016/0890-5401(92)90035-E]

13

BARRETT, P., HILBORNE, A., BOND, P., SEATON, D., VERISSIMO, P., RODRIGUES, L., AND SPEIRS, N. 1990. The Delta-4 Extra Performance Architecture (XPA). In the 20th Internatwnal IEEE Symposium on Fault-Tolerant Computing'. IEEE, New York, 481-488.

14

BARSI, F., GRANDONI, F., AND MAESTRINI, P. 1976. A theory of diagnosability of digital systems. IEEE Trans. Comput. C-25, 6 (June), 585 593.

15

BARTLETT, J. 1978. A 'non-stop' operating system. In Proceedings of the Hawaii International Conference on System Sciences, 103 119,

16

Michael Ben-Or, Another advantage of free choice (Extended Abstract): Completely asynchronous agreement protocols, Proceedings of the second annual ACM symposium on Principles of distributed computing, p.27-30, August 17-19, 1983, Montreal, Quebec, Canada  [doi>10.1145/800221.806707]

17

BERMAN, P., AND PELC, A. 1990. Distributed probabilistic fault diagnosis for multiprocessor systems In the 20th Internattonal IEEE Symposium on Fault-Tolerant Computing. IEEE, New York. 340-346.

18

BERMAN, P., GARY, J, AND PERRY, K. 1989. Towards optimal distributed consensus. In the 30th IEEE Symposium on Foundattons of Computer Science. IEEE, New York, 410 415.

19

Dimitri Bertsekas , Robert Gallager, Data networks, Prentice-Hall, Inc., Upper Saddle River, NJ, 1987

20

B~CH~NI, R., AND BUS~NS, R. 1991. An adaptive distributed system-level diagnosis algorithm and its implementation. In the 21st International IEEE Symposium on Fault-Tolerant Computing. IEEE, New York, 222-229.

21

BIANCHINI, R., GOODWIN, K., AND NYDICK, D. 1990. Practical application and implementation of distributed system-level diagnosis theory. In the 20th International IEEE Symposium on Fault-Tolerant Computing. IEEE, New York, 332-339.

22

Kenneth P. Birman, Replication and fault-tolerance in the ISIS system, Proceedings of the tenth ACM symposium on Operating systems principles, p.79-86, December 1985, Orcas Island, Washington, United States

23

Kenneth P. Birman , Thomas A. Joseph, Reliable communication in the presence of failures, ACM Transactions on Computer Systems (TOCS), v.5 n.1, p.47-76, Feb. 1987  [doi>10.1145/7351.7478]

24

BLECHER, P. 1983. On a logical problem. Discr. Math. 43, 107-110.

25

Douglas M. Blough , Andrzej Pelc, Complexity of Fault Diagnosis in Comparison Models, IEEE Transactions on Computers, v.41 n.3, p.318-324, March 1992  [doi>10.1109/12.127443 ]

26

BLOUGH, D., AND PELC, A. 1990. Reliable diagnosis and repair in constant-degree multiprocessor systems. In the 20th International IEEE Symposium on Fault-Tolerant Computing. IEEE, New York, 316-323.

27

Douglas M. Blough , Gregory F. Sullivan , Gerald M. Masson, Intermittent Fault Diagnosis in Multiprocessor Systems, IEEE Transactions on Computers, v.41 n.11, p.1430-1441, November 1992  [doi>10.1109/12.177313 ]

28

Douglas M. Blough , Gregory F. Sullivan , Gerald M. Masson, Efficient Diagnosis of Multiprocessor Systems Under Probabilistic Models, IEEE Transactions on Computers, v.41 n.9, p.1126-1136, September 1992  [doi>10.1109/12.165394 ]

29

BLOUGH, D., SULLIVAN, G., AND MASSON, G. 1989 Fault diagnosis for sparsely interconnected multiprocessor systems. In the 19th International IEEE Symposium of Fault-Tolerant Computing. IEEE, New York, 62-69.

30

BLOUGH, D., SULLIVAN, G., AND MASSON, G. 1988. Almost certain diagnosis for intermittently faulty systems. In the 18th International IEEE Symposium of Fault-Tolerant Computing. IEEE, New York, 260 265.

31

BLOUNT, M. 1978. Modeling of diagnosis in failsoftly computer systems. In the 8th International IEEE symposium on Fault-Tolerant Computing. IEEE, New York, 53 58.

32

BLOUNT, M. 1977. Probabilistic treatment of diagnosis in digital systems. In the 7th Internatzonal IEEE Symposium of Fault-Tolerant Computing. IEEE, New York, 72-77.

33

Gabriel Bracha, Asynchronous byzantine agreement protocols, Information and Computation, v.75 n.2, p.130-143, November 1, 1987  [doi>10.1016/0890-5401(87)90054-X]

34

Gabriel Bracha, An O(log n) expected rounds randomized byzantine generals protocol, Journal of the ACM (JACM), v.34 n.4, p.910-920, Oct. 1987  [doi>10.1145/31846.42229]

35

Gabriel Bracha , Sam Toueg, Asynchronous consensus and broadcast protocols, Journal of the ACM (JACM), v.32 n.4, p.824-840, Oct. 1985  [doi>10.1145/4221.214134]

36

Gabriel Bracha , Sam Toueg, Resilient consensus protocols, Proceedings of the second annual ACM symposium on Principles of distributed computing, p.12-26, August 17-19, 1983, Montreal, Quebec, Canada  [doi>10.1145/800221.806706]

37

BURNS, J., AND LYNCH, N. 1987. The Byzantine firing squad problem. Adv. Comput. Res.: Para,Tl. Dtstrib. Comput. 4, 147 161.

38

CHAR. B., AND CoAN, B. 1985. A simple and efficmnt randomized Byzantine agreement algorithm. IEEE Trans. Softw. Eng. SE-11, 6 (June), 531-539.

39

Benny Chor , Michael Merritt , David B. Shmoys, Simple constant-time consensus protocols in realistic failure models, Journal of the ACM (JACM), v.36 n.3, p.591-614, July 1989  [doi>10.1145/65950.65956]

40

CHW^, K., AND HAKmI, S. 1981a. Schemes for fault-tolerant computing: A comparison of modularly redundant and t-diagnosable systems. Inf. Contr. 49, 212-238.

41

CHWA, K., AND HAt~IMI, S. 1981b. On fault identification in diagnosable systems. IEEE Trans. Comput. C~30, 6 (June), 414 422.

42

CIOMgI, P., GRANDONI, F., ANb SmONCINI, L. 1981. Distributed diagnosis in multiprocessor systems: The MuTeam approach. In the llth International IEEE Symposium on Fault-Tolerant Computing. IEEE, New York, 25-29.

43

CoAN, B. 1988. Efficient agreement using fault diagnosis. In Proceedings of the 26th Allerton Conference on Communication, Control and Computing. Univ. of Illinois, Urbana, Ill., 663-672.

44

Brian A. Coan , Jennifer L. Welch, Modular construction of a Byzantine agreement protocol with optimal message bit complexity, Information and Computation, v.97 n.1, p.61-85, March 1992  [doi>10.1016/0890-5401(92)90004-Y]

45

B A Coan , D Dolev , C Dwork , L Stockmeyer, The distributed firing squad problem, Proceedings of the seventeenth annual ACM symposium on Theory of computing, p.335-345, May 06-08, 1985, Providence, Rhode Island, United States  [doi>10.1145/22145.22182]

46

Flavin Cristian, Understanding fault-tolerant distributed systems, Communications of the ACM, v.34 n.2, p.56-78, Feb. 1991  [doi>10.1145/102792.102801]

47

CRISTIAN, F. 1991b. Reaching agreement on processor-group membership in synchronous distributed systems. Dzstrib. Comput. 4, 175 187.

48

CRISTIAN, F. 1990. Fault-tolerance in the advanced automation system. IBM Res. Rep, RJ '7424 (69595).

49

CRIS'r~AN, F. 1989. Synchronous atomic broadcast for redundant broadcast channels. IBM Res. Rep. RJ 7203.

50

CRISTIAN, F., AGHILI, H., STRONG, R., AND DOLEV, D. 1986. Atomic broadcast: From simple message diffusion to Byzantine agreement. IBM Tech. Rep. RJ 5244 (54244).

51

DAHBURA, A. 1988. System-level diagnosis: A perspective for the third decade. AT& T Bell Laboratories Report. Concurrent Computations: Algorithms, Architecture, and Technology. Plenum Press, New York.

52

Anton T. Dahbura, An efficient algorithm for identifying the most likely fault set in a probabilistically diagnosable system, IEEE Transactions on Computers, v.35 n.4, p.354-356, April 1986  [doi>10.1109/TC.1986.1676769]

53

DAHBURA, A., AND MASSON, G. 1984a. An O(n25) fault identification algorithm for diagnosable systems. IEEE Trans. Comput. C-33, 6 (June), 486 492.

54

DAHBURA, A., AND MASSON, G. 1984b. A practical variation of the O(n2 s) fault diagnosis algorithm. In the 14th International IEEE Sympostum on Fault-Tolerant Computing. IEEE, New York, 428-433.

55

DAHBURA, A., ANn MASSON, G. 1983a. Greedy diagnosis of hybrid fault situations. IEEE Trans. Comput. C-32, 8 (Aug.), 777 782.

56

DAaBURA, A., AND MASSON, G. 1983b. Greedy diagnosis of an intermittent-fault/tranment-upset tolerant system design, IEEE Trans. Camput. C-32,10 (Oct.), 953-957.

57

DAHBURA, A., LAFERRERA, J., AND KING, L. 1985a. A performance study of system-level fault diagnosis algorithms (I). In the 4th Internattonal Conference on Computers and Communications, 469-473.

58

Anton T. Dahbura , Gerald M. Masson , Che-Liang Yang, Self-implicating structures for diagnosable systems, IEEE Transactions on Computers, v.34 n.8, p.718-723, Aug. 1985  [doi>10.1109/TC.1985.1676617]

59

A. T. Dahbura , K. K. Sabnani , W. J. Hery, Spare Capacity as a Means of Fault Detection and Diagnosis in Multiprocessor Systems, IEEE Transactions on Computers, v.38 n.6, p.881-891, June 1989  [doi>10.1109/12.24300 ]

60

Anton T. Dahbura , Krishan K. Sabnani , Linda L. King, The comparison approach to multiprocessor fault diagnosis, IEEE Transactions on Computers, v.36 n.3, p.373-378, March 1987  [doi>10.1109/TC.1987.1676912]

61

DAL CIN, M. 1984. Distributed diagnosis for computing networks. Microproeess, Microprogram. 14, 139 144.

62

DAL CIN, M. 1982. A diagnostic device for large multiprocessor systems. In the 12th Internatzonal IEEE Symposium on Fault-Tolerant Computing. IEEE, New York, 357-360.

63

DAL C~N, M. 1980. Self-testlng and self-diagnosing multicomponent systems. In the lOth International IEEE Symposium on Fault-Tolerant Computmg. IEEE, New York.

64

DAL CIN, M. 1978. Performance evaluation of self-diagnosing multiprocessing systems, In the 8th International IEEE Symposium on Fault- Tolerant Computing. IEEE, New York, 59-64.

65

DAL C~N, M., AND DmGER, E. 1981. On the diagnosability of self-testing multi-microprocessor systems. Microprocess. Microprogram. 7, 177-184.

66

DAL CIN, M., AND FLORIAN, F. 1985. Analysis of a fault-tolerant distributed diagnosis algorithm. In the 15th Internatzonal IEEE Symposium on Fault-Tolerant Computing-. IEEE, New York, 159-164.

67

DEGONIA, P., WITT, R., LAMPE, D., AND COLE, E. 1978. Micronet--A self-healing network for signal processing. In the Government Microcircuit Application Conference. (Nov.), 370-375.

68

DEC), N. 1974. Graph Theory with Applications to Engineering and Computer Sctence. Prentice-Hall, Englewood Cliffs, N.J.

69

DOLEV, D. 1982. The Byzantine generals strike again. J. Alg. 3, 14-30.

70

DOLEV, D. 1981. Unanimity in an unknown and unreliable environment. In the 22nd Symposium on the Foundations of Computer Science, 159-168.

71

Danny Dolev , Rüdiger Reischuk, Bounds on information exchange for Byzantine agreement, Journal of the ACM (JACM), v.32 n.1, p.191-204, Jan. 1985  [doi>10.1145/2455.214112]

72

DOLEV, D., ANO STRONG, H. 1982. Authenticated algorithms for Byzantine agreement. J. Alg. 3, 14-30.

73

Danny Dolev , Cynthia Dwork , Larry Stockmeyer, On the minimal synchronism needed for distributed consensus, Journal of the ACM (JACM), v.34 n.1, p.77-97, Jan. 1987  [doi>10.1145/7531.7533]

74

Danny Dolev , Nancy A. Lynch , Shlomit S. Pinter , Eugene W. Stark , William E. Weihl, Reaching approximate agreement in the presence of faults, Journal of the ACM (JACM), v.33 n.3, p.499-516, July 1986  [doi>10.1145/5925.5931]

75

Cynthia Dwork , Nancy Lynch , Larry Stockmeyer, Consensus in the presence of partial synchrony, Journal of the ACM (JACM), v.35 n.2, p.288-323, April 1988  [doi>10.1145/42282.42283]

76

FEKETE, A. 1991. Asymptotically optimal algorithms for approximate agreement. Dtstrtb. Comput. 4, 9-29.

77

Paul Feldman , Silvio Micali, Optimal algorithms for Byzantine agreement, Proceedings of the twentieth annual ACM symposium on Theory of computing, p.148-161, May 02-04, 1988, Chicago, Illinois, United States  [doi>10.1145/62212.62225]

78

FISCHER, M., AND LYNCH, N. 1982. A lower bound for the time to assure interactive consistency. Inf Process. Lett. 14, 4 (June), 183 186.

79

Michael J. Fischer , Nancy A. Lynch , Michael Merritt, Easy impossibility proofs for distributed consensus problems, Distributed Computing, v.1 n.1, p.26-39, Jan. 1986  [doi>10.1007/BF01843568]

80

Michael J. Fischer , Nancy A. Lynch , Michael S. Paterson, Impossibility of distributed consensus with one faulty process, Journal of the ACM (JACM), v.32 n.2, p.374-382, April 1985  [doi>10.1145/3149.214121]

81

FRIEDMAN, A. 1975. A new measure of digital system diagnosis. In the 5th International IEEE Symposium on Fault-Tolerant Computing. IEEE, New York, 167 169.

82

FRmDMAN, A., AND SmONC~m, L. 1980. Systemlevel fault diagnosis. Computer (Mar.), 47-53.

83

FUJIWARA. H., AND KINOSHITA, K. 1978. On the computational complexity of system diagnosis. IEEE Trans. Comput. C-27, 10 (Oct.), 881-885.

84

FUJIWARA, $., AND OZAKI, $. 1979. On the diagnosability of systems with self testing units. In the 9th International IEEE Sympostum on Fault-Tolerant Computing'. IEEE, New York, 157-160

85

FUSSELL, E, AND RANGARAJAN, S. 1989. Probabilistic diagnosis of multiprocessor systems with arbitrary connectivity. In the 19th Internattonal IEEE Symposium on Fault-Tolerant Computing. IEEE, New York, 560 565.

86

GUPTA, R., AND RAMAKRISHNAN, I. 1987. Systemlevel fault diagnosis in malicious environments. In the 17th International IEEE Symposium on Fault-Tolerant Computing. IEEE, New York, 184-189.

87

HAKIMI, S., AND AMIN, A. 1974. Characterization of connection assignment of diagnosabte systems. IEEE Trans. Comput. C-23, i (Jan.), 86-88.

88

HAKIMI, S., AND NAKAJIMA, K. 1984. On adaptive system diagnosis. IEEE Trans. Comput. C~33, 3 (Mar.), 234 240.

89

HARARY, F. 1972. Graph Theory. Addison-Wesley, Reading, Mass.

90

HARPER, R., LALA, J., AND DEYST, J. 1988. Fault tolerant parallel processor architecture overview. In the 18th Internattonal IEEE Symposium on Fault-Tolerant Computtng. IEEE, New York, 252-257.

91

HOLT, C., AND SMITH, J. 1981. Diagnosis of systems with asymmetric invalidation. IEEE Trans. Comput. C-30, 9 (Sept.), 679 690.

92

HOSSEINr, S., KUHL, J., AND REDDY, S. 1985. On self fault-diagnosis of the distributed systems. In the 15th Internattonal IEEE Symposium on Fault-Tolerant Computing. IEEE, New York, 30-35.

93

HOSSEINI, S., KUHL, J., AND REDDY, S. 1984. A diagnosis algorithm for distributed computing systems with dynamic failure and repair. IEEE Trans. Comput. C-33, 3 (Mar.), 223-233.

94

HUANG, S., Xu, J., AND CHEN, T. 1989. Characterization and design of sequentially t-diagnosable systems. In the 19th Internattonal IEEE Symposium on Fault-Tolerant Computing. IEEE, New York, 554-559.

95

KAMEDA, T., TO1DA, S., AND ALLAN, F. 1975. A diagnosing algorithm for networks. Inf. Contr. 29, 141-148.

96

KARUNANITHI, S., AND FRIEDMAN, A. 1977. System diagnosis with t/s diagnosability. In the 7th International IEEE Symposium on Fault- Tolerant Computing. IEEE, New York, 65-71.

97

KAWANPOUR, A., AND FRmDMAN, A. 1978. Efficient design of easily diagnosable systems. In Proceedings of the 3rd USA-Japan Computer Conference, 251-257.

98

t~IM, K., AND YANC, S 1986. Fault tolerance mechanisms in real-time distributed operating systems: An overview. In the Paciftc Computer Communications '85. Elsevier Science Publishers, 239-248.

99

I~ME, C. 1970. An analysis model for digital system diagnosis IEEE Trans. Comput. C-19, 11 (Nov.), 1063 1073.

100

C. R. Kime, System diagnosis, Fault-tolerant computing: theory and techniques; Vol. 2, Prentice-Hall, Inc., Upper Saddle River, NJ, 1986

101

KOHDA, T., AND ABIRU, K. 1988. A recursive proeedure for optimally designing a hybrid fault diagnosable system. In the 18th Internattonal IEEE Sympostum on Fault-Tolerant Computing IEEE, New York, 272 277.

102

Wojciech E. Kozlowski , Henryk Krawczyk, A Comparison-Based Approach to Multicomputer System Diagnosis in Hybrid Fault Situations, IEEE Transactions on Computers, v.40 n.11, p.1283-1287, November 1991  [doi>10.1109/12.102834 ]

103

S. E. Kreutzer , S. L. Hakimi, Distributed Diagnosis and the System User, IEEE Transactions on Computers, v.37 n.1, p.71-78, January 1988  [doi>10.1109/12.75141 ]

104

S. E. Kreutzer , S. L. Hakimi, System-level fault diagnosis: A survey, Microprocessing and Microprogramming, v.20 n.4-5, p.323-330, May 1, 1987  [doi>10.1016/0165-6074(87)90221-3]

105

KREUTZ~'R, S., AND HAKIMI, S. 1983. Adaptive fault identification in two new diagnostic models. In Proceedings of the 21st Allerton Conference on Communwatlon, Control and Computing Umv. of Illinois, Urbana, Ill., 353 362.

106

Ki~OL, T. 1991 A generahzation of fault-tolerance based on masking. Ph.D. dissertation, Eindhoven Univ. of Technology, Eindhoven, The Netherlands.

107

KROL, T. 1982. The '(4,2)-Concept' fault tolerant computer In the 12th Internatzonal IEEE Symposium on Fault-Tolerant Computzng. IEEE, New York, 49-54.

108

KUHL, J., AND REDDY, S. 1981. Fault-dmgnosis in fully distributed systems. In the 11th Internatwnal IEEE Symposzum on Fault-Tolerant Computing. IEEE, New York, 100-105

109

J. G. Kuhl , S. M. Reddy, Distributed fault-tolerance for large multiprocessor systems, Proceedings of the 7th annual symposium on Computer Architecture, p.23-30, May 06-08, 1980, La Baule, United States  [doi>10.1145/800053.801905]

110

KUHL, J., AND REDDY, S. 1980b. Some extensions to the theory of system level fault dmgnosis. In the lOth Internattonal IEEE Symposzum on Fault Tolerant Computing. IEEE, New York, 291 296.

111

LALA, J. 1986 A Byzantine resilient fault tolerant computer fbr nuclear power plant applicatmns. In the lO'th Internattonat IEEE Sympostum on Faull-Tolerant Computing. IEEE, New York, 338-343.

112

LALA, J., ALGER, L., GAUTHIER, R., AND DZWONCZYK, M. 1986. A fault tolerant processor to meet rigorous fmlure reqmrements. In Proceedings of the 7th AIAA-IEEE Digital Avtonics Systems Conference. AIAA-IEEE, New York, 555 562

113

LAMPORT, L. 1989. The part-time parliament Digital Tech. Rep. 49 (Sept. 1).

114

L. Lamport, The Weak Byzantine Generals Problem, Journal of the ACM (JACM), v.30 n.3, p.668-676, July 1983  [doi>10.1145/2402.322398]

115

Leslie Lamport , P. M. Melliar-Smith, Byzantine clock synchronization, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.68-74, August 27-29, 1984, Vancouver, British Columbia, Canada  [doi>10.1145/800222.806737]

116

Leslie Lamport , Robert Shostak , Marshall Pease, The Byzantine Generals Problem, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.3, p.382-401, July 1982  [doi>10.1145/357172.357176]

117

LARANJEIRA, L., MALEK, M., AND JENEVEIN, R. 1991. On tolerating faults in naturally redundant algorithms. In the lOth Symposzum on Reliable Distrtbuted Systems (Pisa, Italy, Sept.). IEEE Computer Society, Los Alamitos, Calif., 18-127.

118

LEE, S., AND SHIN, K 1990. Optimal multiple syndrome probabilistic diagnosis. In the 20th International IEEE Sympostum on Fault- Tolerant Computing. IEEE, New York, 324 331.

119

LIAW, C., Su, S, AND MALAIY^, Y. 1982. Self-diagnosis of non-homogeneous distributed systems. In the 12th Internatzonal IEEE Sympostum on Fault-Tolerant Computing. IEEE, New York, 349-352.

120

LOMBARDI, F 1985. Diagnosable systems for fault tolerant computing In the 15th Internatzonal IEEE Symposium on Fault-Tolerant Computmg. IEEE, New York, 42 47.

121

MAEHLE, E., MORITZEN, K. AND WIRL, K. 1986. A graph model for diagnoms and reconfiguration and ~ts application to a fault4olerant multiprocessor system. In the 16th International IEEE Symposium on Fault-Tolerant Computing. (Vienna, Austria). IEEE, New York, 292-297.

122

MAENO, J., AND MALF~K, M 1981. A comparison connection assignment for self-diagnoms of multiprocessor systems. In the 11th Internatwnal IEEE Sympostum on Fault-Tolerant Cornputzng. IEEE, New York, 173-175.

123

Stephen R. Mahaney , Fred B. Schneider, Inexact agreement: accuracy, precision, and graceful degradation, Proceedings of the fourth annual ACM symposium on Principles of distributed computing, p.237-249, August 1985, Minaki, Ontario, Canada  [doi>10.1145/323596.323618]

124

MAHESHWARI, S., AND HAKIML S 1976. On models for diagnosable systems and probabilistic fault diagnosis. IEEE Trans. Comput. C-25, 3 (Mar.), 228 236.

125

Miroslaw Malek, Responsive Systems: A Marriage Betwenn Real time and Fault Tolenrance, Proceedings of the 5th International GI/ITG/GMA Conference on Fault-Tolerant Computing Systems, Tests, Diagnosis, Fault Treatment, p.1-17, September 25-27, 1991

126

MALEK, M. 1990. Responsive systems: A challenge for the nineties. In Proceedzngs of Euromzcro '90, 16th Symposzum on Mzcroprocesszng and Mtcroprogramming. Microprocessmg and MicroprogTamming 30, North-Holland, Amsterdam, 9 16.

127

Miroslaw Malek, A comparison connection assignment for diagnosis of multiprocessor systems, Proceedings of the 7th annual symposium on Computer Architecture, p.31-36, May 06-08, 1980, La Baule, United States  [doi>10.1145/800053.801906]

128

MALEK, M., AND LID, K. 1980. Graph theory models in fault diagnosis and fault tolerance. In Design Automatto, and Fault-Tolerant Computing, vol. 3, 3, 4. Computer Science Press, 155-169.

129

MALLELA, S. 1980. On diagnosable systems with simple algorithms. In Proceedings of the 1980 Conference on Informatton Science and Systems. Princeton Univ., Princeton, N.J., 545 549.

130

MALLELA, S., AND MASSON, G. 1980. Diagnosis without repair for hybrid fault situations. IEEE Trans. Comput. C-29, 6 (June), 461-470.

131

MALLEL^, S., AND MASSON, G. 1978. Diagnosable systems for intermittent faults. IEEE Trans. Comput. C-27, 6 (June), 560 566.

132

N F Maxemchuk , A T Dahbura, Optimal diagnosable system design using full-difference triangles, IEEE Transactions on Computers, v.35 n.9, p.837-839, Sept. 1986  [doi>10.1109/TC.1986.1676844]

133

MENEZES, B., JOHNSON, A., MALEK, M., JENEVEIN, R., AND YAU, K. 1992. Fault impact and fault tolerance in multiprocessor interconnection networks. In Quality and Reliability Engineering International, vol. 8, 485 500.

134

MEYER, G. 1983. A diagnosis algorithm for the BGM system-level fault model. In Proceedings of the 21st Allerton Conference on Commumcatwn, Control and Computing. Univ. of Illinois, Urbana, Ill., 345-351.

135

MEYER, G., AND MASSON, G. 1978. An efficient fault diagnosis algorithm for symmetric multiple processor architectures. IEEE Trans. Comput. C-27, 11 (Nov.), 1059-1063.

136

Klaus Moritzen, System level fault-diagnosis in distributed systems, Fehlertolerierende Rechensysteme, 2. GI/NTG/GMR-Fachtagung, p.301-312, September 19-21, 1984

137

MOSES, Y., AND WAZmTS, O. 1988. (t + D-round Byzantine agreement in polynomial time. In the 29th Symposium on Foundations of Computer Science, 246-255.

138

N^m, R. 1978. Diagnosis, self-diagnosis and roving diagnosis. Dept. of Computer Science Rep. R-823, University of Illinois, Urbana, Ill.

139

NAKAJIMA, K. 1981. A new approach to system diagnosis. In Proceedings of the 19th Allerton Conference on Commumcatwm Control and Computing. Univ. of Illinois, Urbana, Ill., 697-706.

140

M. Pease , R. Shostak , L. Lamport, Reaching Agreement in the Presence of Faults, Journal of the ACM (JACM), v.27 n.2, p.228-234, April 1980  [doi>10.1145/322186.322188]

141

Andrzej Pelc, Optimal Fault Diagnosis in Comparison Models, IEEE Transactions on Computers, v.41 n.6, p.779-786, June 1992  [doi>10.1109/12.144631 ]

142

Andrzej Pelc, Undirected Graph Models for System-Level Fault Diagnosis, IEEE Transactions on Computers, v.40 n.11, p.1271-1276, November 1991  [doi>10.1109/12.102832 ]

143

POWELL, D. 1992. Fault mode assumptions and assumption coverage. In the 22nd IEEE International Symposium on Fault-Tolerant Computing. IEEE, New York, 386-395.

144

PRADHAN, D., AND REDD~, S. 1982. A faulttolerant communication architecture for distributed systems. IEEE Trans. Comput. C-31, 9 (Sept.), 863 870.

145

PREPAr~TA, F., METZE, G., AN~ CmEN, R. 1967. On the connection assignment problem of diagnosable systems. IEEE Tra,s. Elect. Corrzput. EC-16, 6 (Dec.), 848 854.

146

RABIN, M. 1983. Randomized Byzantine generals. In Proceedings of the 24th Symposzum on Foundations of Computer Science, 403 409.

147

Vijay Raghavan , Anand R. Tripathi, Improved Diagnosability Algorithms, IEEE Transactions on Computers, v.40 n.2, p.143-153, February 1991  [doi>10.1109/12.73585 ]

148

Vijay Raghavan , Anand Tripathi, Sequential Diagnosability is Co-NP Complete, IEEE Transactions on Computers, v.40 n.5, p.584-595, May 1991  [doi>10.1109/12.88482 ]

149

RANGARAJAN, S., AND FUSSELL, D 1991. Probabilistic diagnosis algorithms tailored to system topology. In the 21st International IEEE Symposium on Fault-Tolerant Computing. IEEE, New York, 230-237.

150

RANGARAJAN, S. AND FUSSELL, D. 1988. A probabilistic method for fault diagnosm of nmltiprocessor systems. In the 18th International IEEE Symposium on Fault-Tolerant Computtng. IEEE, New York, 278-283.

151

Sampath Rangarajan , Donald Fussell , Miroslaw Malek, Built-In Testing of Integrated Circuit Wafers, IEEE Transactions on Computers, v.39 n.2, p.195-205, February 1990  [doi>10.1109/12.45205 ]

152

Michel Raynal, Distributed algorithms and protocols, John Wiley & Sons, Inc., New York, NY, 1988

153

RUSSELL, J., AND KIME, C. 1975a. System fault diagnosis: Masking, exposure, and diagnosability without repair. IEEE Trans. Comput. C-24, 12 (Dec.), 1115-1161.

154

RUSSELL, J., AND KiME, C. 1975b. System fault diagnosis: Closure and diagnosability with repair. IEEE Trans. Comput. C-24, 11 (Nov.), 1078-1088.

155

SAHEBAN, F., SIMONCINI, L., AND FRIEDMAN, A. 1979. Concurrent computation and diagnosis in multiprocessor systems. In the 9th International IEEE Symposium on Fault-Tolerant Computing. IEEE, New York, 149 156.

156

Edward R. Scheinerman, Almost sure fault tolerance in random graphs, SIAM Journal on Computing, v.16 n.6, p.1124-1134, December 1, 1987  [doi>10.1137/0216071]

157

Richard D. Schlichting , Fred B. Schneider, Fail-stop processors: an approach to designing fault-tolerant computing systems, ACM Transactions on Computer Systems (TOCS), v.1 n.3, p.222-238, August 1983  [doi>10.1145/357369.357371]

158

BCHMEICHEL, E., HAKIMI, S., OTSUKA, M., AND SULLI- VAN, G. 1988. On minimizing testing rounds for fault identification. In the 18th Internatwnal IEEE Symposium on Fault-Tolerant Computing. IEEE, New York, 266 271.

159

Fred B. Schneider, Implementing fault-tolerant services using the state machine approach: a tutorial, ACM Computing Surveys (CSUR), v.22 n.4, p.299-319, Dec. 1990  [doi>10.1145/98163.98167]

160

Fred B. Schneider, Byzantine generals in action: implementing fail-stop processors, ACM Transactions on Computer Systems (TOCS), v.2 n.2, p.145-154, May 1984  [doi>10.1145/190.357399]

161

SENGUPTA, A., AND DAHBURA, A. 1989 On self-dlagnosable mukiprocessor systems. Diagnosis by the comparison approach. In the 19th International IEEE Symposium on Fault-Tolerant Computing. IEEE, New York, 54-61.

162

Adi Shamir, How to share a secret, Communications of the ACM, v.22 n.11, p.612-613, Nov. 1979  [doi>10.1145/359168.359176]

163

SHIN, K., AND RAM~'4^THAN, P 1987. Diagnosis of processors with Byzantine faults. In the 17th International IEEE Syrnpostum on Fault- Tolerant Computing. IEEE, New York, 55 60

164

B. Simons , A. Spector, Fault-tolerant distributed computing, Springer-Verlag, London, 1990

165

SMITH, J. 1979. Universal system diagnosis algorithms. IEEE Trans. Comput. C-28, 5 (May), 374-378.

166

Arun K. Somani , Vinod K. Agarwal, Distributed Diagnosis Algorithms for Regular Interconnected Structures, IEEE Transactions on Computers, v.41 n.7, p.899-906, July 1992  [doi>10.1109/12.256447 ]

167

A. K. Somani , V. K. Agarwal , D. Avis, A generalized theory for system level diagnosis, IEEE Transactions on Computers, v.36 n.5, p.538-546, May 1987  [doi>10.1109/TC.1987.1676938]

168

STAHL, M., BUSKENS, R., AND BIANCHINI, R. 1992. On-line dmgnosis in general topology/networks. In the IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems. IEEE, New York, 114-121.

169

Gregory F. Sullivan, A O(t³+ |E| ) Fault Identification Algorithm for Diagnosable Systems, IEEE Transactions on Computers, v.37 n.4, p.388-397, April 1988  [doi>10.1109/12.2182 ]

170

SULLIVAN, G 1987. System-level fault dlagnosability m probabfiistic and weighted models. In the 17th International IEEE Symposium of Fault-Tolerant Computing. IEEE, New York, 190-195.

171

SULLIV~, G. 1984. A polynomial time algorithm for fault diagnosability. In the 25th Symposium on the Foundatio~ts of Computer Science, 148-156.

172

Sam Toueg , Kenneth J. Perry , T. K. Srikanth, Fast distributed agreement, SIAM Journal on Computing, v.16 n.3, p.445-457, June 1987  [doi>10.1137/0216031]

173

John Turek , Dennis Shasha, The Many Faces of Consensus in Distributed Systems, Computer, v.25 n.6, p.8-17, June 1992  [doi>10.1109/2.153253 ]

174

TURPIN, R., AND COAN, B. 1984. Extending binary Byzantine agreement to multivalued Byzantine agreement. Inf. Process. Lett. 18 (Feb.), 73-76.

175

VAIDYA, N., AND PRADHAN, D. 1991. System level diagnosis: Combining detection and location In the 21st International IEEE Symposzum on Fault-Tolerant Computing, IEEE, New York, 488-495.

176

WALTER, C. 1990. Identifying the cause of detected errors. In the 20th International IEEE Symposium on Fault-Tolerant Computing. IEEE, New York, 48-55.

177

WENSLEY, J, LAMPORT, L., GOLDBERG, J., GREEN, M, LEVITT, K., MELLIAR-SMITH, P., SHOSTAK, R, AND WE{NSTOCK, C. 1978. SIFT: Design and analysis of a faull-tolerant computer for mrcraft control. Proe IEEE, 66, 10 (Oct.), 1240-1255.

178

Xu, J. 1991. The t/(n - 1)-dmgnosablhty and its applications to fault tolerance. In the 21st In~ ternattonal IEEE Symposzum on Fault-Tolerant Computing. IEEE, New York, 496-503.

179

C. -L. Yang , G. M. Masson, Hybrid Fault Diagnosability with Unreliable Communication Links, IEEE Transactions on Computers, v.37 n.2, p.175-181, February 1988  [doi>10.1109/12.2146 ]

180

C.-L. Yang , G. M. Masson, A Distributed Algorithm for Fault Diagnosis in Systems with Soft Failures, IEEE Transactions on Computers, v.37 n.11, p.1476-1480, November 1988  [doi>10.1109/12.8723 ]

181

Che-Liang Yang , Gerald M. Masson, A new measure for hybrid fault diagnosability, IEEE Transactions on Computers, v.36 n.3, p.378-383, March 1987  [doi>10.1109/TC.1987.1676913]

182

YANG, C., AND MASSOX;. G 1986. An ef~ment algorithm for multiprocessor fault dmgnosls usmg the comparison approach. In the 16th International IEEE Symposzum on Fault-Tolerant Computing (Vmnna, Austria). IEEE, New York, 238-243.

183

YANG, C., AND MASSON, G. 1985a. A fault identification algorithm for t,-diagnosable systems. In the 15th Internatwnal IEEE Symposium on Fault-Tolerant Computing. IEEE, New York, 78 83.

184

YAN6, C., AND MASSON, G. 1985b. A generahzation of hybrid faulty dmgnosabfiy. In the 15th International IEEE Symposium on Fault Tolerant Computing. IEEE, New York, 36 41.

185

Che-Liang Yang , Gerald M. Masson , Richard A. Leonetti, On fault isolation and identification in t:OI1:OE/t:OI1:OE-diagnosable systems, IEEE Transactions on Computers, v.35 n.7, p.639-642, July 1986  [doi>10.1109/TC.1986.1676805]

Chris J. Walter , Patrick Lincoln , Neeraj Suri, Formally Verified On-Line Diagnosis, IEEE Transactions on Software Engineering, v.23 n.11, p.684-721, November 1997

S. C. Wang , M. L. Chiang , K. Q. Yan , K. F. Jea, Streets of consensus under unknown unreliable network, ACM SIGOPS Operating Systems Review, v.39 n.4, p.80-96, October 2005

S. C. Wang , K. Q. Yan, Dual link fault diagnosis agreement, Journal of Systems and Software, v.71 n.1-2, p.117-125, April 2004

Vijay Raghavan, Weighted Diagnosis with Asymmetric Invalidation, IEEE Transactions on Computers, v.45 n.12, p.1435-1438, December 1996

Thomas Clouqueur , Kewal K. Saluja , Parameswaran Ramanathan, Fault Tolerance in Collaborative Sensor Networks for Target Detection, IEEE Transactions on Computers, v.53 n.3, p.320-333, March 2004

Felix C. Freiling , Hagen Völzer, Illustrating the impossibility of crash-tolerant consensus in asynchronous systems, ACM SIGOPS Operating Systems Review, v.40 n.2, p.105-109, April 2006

Thi Quynh Bui , Oum-El-Kheir Aktouf, Diagnosis service for embedded software component based systems, Proceedings of the 2007 workshop on Engineering fault tolerant systems, p.3-es, September 04-04, 2007, Dubrovnik, Croatia

Mark A. Breland , Steven A. Rogers , Guillaume P. Brat , Kenneth L. Nelson, Transparent fault tolerance for distributed Ada applications, Proceedings of the conference on TRI-Ada '94, p.446-457, November 06-11, 1994, Baltimore, Maryland, United States

S. C. Wang , K. Q. Yan , C. F. Cheng, Asynchronous consensus protocol for the unreliable un-fully connected network, ACM SIGOPS Operating Systems Review, v.37 n.3, p.43-54, July 2003

Steven Cheung , Karl N. Levitt, Protecting routing infrastructures from denial of service using cooperative intrusion detection, Proceedings of the 1997 workshop on New security paradigms, p.94-106, September 23-26, 1997, Langdale, Cumbria, United Kingdom

Mark L. McKelvin, Jr. , Gabriel Eirea , Claudio Pinello , Sri Kanajan , Alberto L. Sangiovanni-Vincentelli, A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems, Proceedings of the 5th ACM international conference on Embedded software, September 18-22, 2005, Jersey City, NJ, USA