Closure and Convergence: A Foundation of Fault-Tolerant Computing (1993)

Cached

Download Links

by Anish Arora , Mohamed Gouda
Venue:IEEE Transactions on Software Engineering
Citations:116 - 30 self

Active Bibliography

470 Basic concepts and taxonomy of dependable and secure computing – Algirdas Avizienis, Jean-claude Laprie, Brian R, Carl L, Senior Member - 2004
553 A Survey of Rollback-Recovery Protocols in Message-Passing Systems – E. N. ( Mootaz) Elnozahy, Lorenzo Alvisi, Yi-min Wang, David B. Johnson - 1996
522 The process group approach to reliable distributed computing – Kenneth P. Birman - 1993
633 The part-time parliament – Leslie Lamport - 1998
674 Crowds: Anonymity for Web Transactions – Michael K. Reiter, Aviel D. Rubin - 1997
507 Reliable Communication in the Presence of Failures – Kenneth P. Birman, Thomas A. Joseph - 1987
546 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
826 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002