Compositional design of multitolerant repetitive byzantine agreement

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1346, Issue , 1997, Pages 169-183

  Kulkarni, Sandeep S ^a   Arora, Anish ^a  

^a OHIO STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING;

BYZANTINE AGREEMENT; BYZANTINE FAILURES; FAULT CLASS; STEPWISE METHODS;

DESIGN;

EID: 84860764035     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0058030     Document Type: Conference Paper

References (12)

1. A. Arora and S. S. Kulkarni. Component-based design of multitolerance. Technical Report OSU-CISRC TR37, Ohio State University, 1996.
2. Z. Liu and M. Joseph. Transformation of programs for fault-tolerance. Formal Aspects of Computing, 4(5):442-469, 1992.
3. K. P. Birman and R. van Renesse. Reliable distributed computing using the Isis Toolkit. IEEE Computer Society Press, 1994.
4. L. Lamport, R. Shostak, and M. Pease. The Byzantine generals problem. ACM Transactions on Programming Languages and Systems, 1982.
5. A. Arora and S. S. Kulkarni. Designing masking fault-tolerance via nonmasking fault-tolerance. IEEE Transactions on Software Engineering, 1997, to appear.
6. Y. Zhao and F. B. Bastani. A self-adjusting algorithm for Byzantine agreement. Distributed Computing, 5:219-226, 1992.
7. S. S. Kulkarni and A. Arora. Compositional design of multitolerant repetitive Byzantine agreement (preliminary version). Third Workshop on Self-Stabilizing Systems (WSS 97), University of California, Santa Barbara, 1997.
8. A. Arora and M. G. Gouda. Distributed reset. IEEE Transactions on Computers, 43(9): 1026-1038, 1994.
9. K. Apt, N. Francez, and W.-P. de Roever. A proof system for communicating sequential processes. ACM transactions on Programming Languages and Systems, pages 359-385, 1980.
10. H. Schepers. Fault Tolerance and Timing of Distributed Systems: Compositional specification and verification. PhD thesis, Eindhoven University, 1994.
11. S. Owicki and D. Gries. An axiomatic proof technique for parallel programs. Acta Informatica, 6:319-340, 1976.
12. J. Goldberg, I. Greenberg, and T. Lawrence. Adaptive fault-tolerance. Proceedings of the IEEE Workshop on Advances in Parallel and Distributed Systems, pages 127-138, 1993.