ACM Home Page
Please provide us with feedback. Feedback
Towards a formal framework for fault-tolerance
Full text PdfPdf (181 KB)
Source ACM SIGOPS European Workshop archive
Proceedings of the 4th workshop on ACM SIGOPS European workshop table of contents
Bologna, Italy
Pages: 1 - 4  
Year of Publication: 1990
Author
Henk Schepers  Eindhoven University of Technology
Sponsor
SIGOPS: ACM Special Interest Group on Operating Systems
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 2,   Downloads (12 Months): 11,   Citation Count: 0
Additional Information:

references   collaborative colleagues   peer to peer  

Tools and Actions: Review this Article  
Save this Article to a Binder    Display Formats: BibTex  EndNote ACM Ref   
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/504136.504187
What is a DOI?

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.

 
AL 81
 
CS 90
J. Coenen and H. Schepers, "Notes on Fault-Tolerant System Design I: Formal Specification of a Reliable Disk", Dept. of Math. and Comp. Science, Eindhoven University of Technology. To appear.
 
Cri 83
F. Cristian, "A Rigorous Approach to Fault-Tolerant System Development", Technical Report RJ 3754 (43320), IBM Research Laboratory, San Jose, 1983.
 
GA 87
H. Garcia-Molina and R.K. Abbott, "Reliable Distributed Database Management", Proceedings of the IEEE, Vol. 75, No. 5, p. 601-620, may 1987.
 
Lam 81
 
Lap 85
J.C. Laprie, "Dependable Computing and Fault Tolerance: Concepts and Terminology", Proe. 15th Int. Symp. on Fault Tolerant Computing Systems, June 1985, p.2-II.
SS 83
 
Sch 87
 
SM 83
R.L. Schwartz and P.M. Melliar-Smith, "Specifying and Verifying Ultra- Reliability and Fault-Tolerance Properties", IEEE CompCon Spring 1983, p. 71-76.
 
Web 87
D. Weber, "Specifications for Fault-Tolerance", Technical Report F30602- 86-C-0263, Odyssey Research Associates, Inc., New York, 1987.

Peer to Peer - Readers of this Article have also read: