Automating the addition of fault-tolerance

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

Volumn 1926, Issue , 2000, Pages 82-93

  Kulkarni, Sandeep S ^a   Arora, Anish ^b  

^a Michigan State University   (United States)

^b OHIO STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

POLYNOMIAL APPROXIMATION; REAL TIME SYSTEMS;

ADDITION OF FAULT-TOLERANCE; ATOMIC STEP; EXPONENTIAL COMPLEXITY; EXPONENTIAL TIME; FAULT TOLERANCE PROPERTY; FAULT-TOLERANT; POLYNOMIAL-TIME; WRITE ALLS;

FAULT TOLERANCE;

EID: 84974670923     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45352-0_9     Document Type: Conference Paper

References (11)

1. A. Arora and S. S. Kulkarni. Detectors and correctors: A theory of fault-tolerance components. International Conference on Distributed Computing Systems, pages 436-443, May 1998.
2. S. S. Kulkarni. Component-based design of fault-tolerance. PhD thesis, Ohio State University, 1999.
3. Sandeep S. Kulkarni and Anish Arora. Automating the addition of fault-tolerance. Technical Report MSU-CSE-00-13, Computer Science and Engineering, Michigan State University, East Lansing, Michigan, June 2000.
4. B. Alpern and F. B. Schneider. Defining liveness. Information Processing Letters, 21:181-185, 1985.
5. E. A. Emerson and E. M. Clarke. Using branching time temporal logic to synchronize synchronization skeletons. Science of Computer Programming, 2:241-266, 1982.
6. Z. Manna and P. Wolper. Synthesis of communicating processes from temporal logic specifications. ACM Transactions on Programming Languages and Systems, 6:68-93, 1984.
7. A. Pnueli and R. Rosner. On the synthesis of a reactive module. ACM Symposium on Principles of Programming Languages, pages 179-190, 1989.
8. A. Anuchitanukul and Z. Manna. Reliability and synthesis of reactive modules. International Conference on Computer-Aided Verification, pages 156-169, 1994.
9. A. Arora, P. C. Attie, and E. A. Emerson. Synthesis of fault-tolerant concurrent programs. Proceedings of the 17th ACM Symposium on Principles of Distributed Computing (PODC), 1998.
10. O. Kupferman and M. Vardi. Synthesis with incomplete information. ICTL, 1997.
11. D. Dill and H. Wong-Toi. Synthesizing processes and schedulers from temporal specifications. International Conference on Computer-Aided Verification, 1990.