. References and . Accetta, Mach: A new kernel foundation for Unix development, Proc. of Usenix 1986 Summer Conference, pp.93-112, 1986.

&. Ahamad, . Lin-89-]-m, &. L. Ahamad, and . Lin, Using checkpoints to localize the effects of faults in distributed systems, Proceedings of the Eighth Symposium on Reliable Distributed Systems, pp.2-11, 1989.
DOI : 10.1109/RELDIS.1989.72743

. Banâtre, The design and building of Ench??re, a distributed electronic marketing system, Communications of the ACM, vol.29, issue.1, pp.19-29, 1986.
DOI : 10.1145/5465.5467

. Banâtre, Ensuring data security and integrity with a fast stable storage, Proceedings. Fourth International Conference on Data Engineering, pp.285-293, 1988.
DOI : 10.1109/ICDE.1988.105471

. Banâtre, How to design reliable servers using fault tolerant micro-kernel mechanisms, USENIX Mach Symposium, pp.223-231, 1991.

. Banâtre, Design decisions for the FTM: a general purpose fault tolerant machine, [1991] Digest of Papers. Fault-Tolerant Computing: The Twenty-First International Symposium, pp.71-78, 1991.
DOI : 10.1109/FTCS.1991.146636

. Banâtre, An experience in the design of a reliable object based system, [1993] Proceedings of the Second International Conference on Parallel and Distributed Information Systems, 1993.
DOI : 10.1109/PDIS.1993.253054

&. Bhargava, . Lian-88-]-b, &. S. Bhargava, and . Lian, Independent checkpointing and concurrent rollback for recovery in distributed systems-an optimistic approach, Proceedings [1988] Seventh Symposium on Reliable Distributed Systems, pp.3-12, 1988.
DOI : 10.1109/RELDIS.1988.25775

. Borg, Fault tolerance under UNIX, ACM Transactions on Computer Systems, vol.7, issue.1, pp.1-24, 1989.
DOI : 10.1145/58564.58565

&. Chandy, . M. Lamport-85-]-k, &. L. Chandy, and . Lamport, Distributed snapshots: determining global states of distributed systems, ACM Transactions on Computer Systems, vol.3, issue.1, pp.63-75, 1985.
DOI : 10.1145/214451.214456

&. Cristian, . Jahanian-91-]-f, &. F. Cristian, and . Jahanian, A timestamp-based checkpointing protocol for long-lived distributed computations, [1991] Proceedings Tenth Symposium on Reliable Distributed Systems, pp.12-20, 1991.
DOI : 10.1109/RELDIS.1991.145399

&. Dixon, . N. Shrivastava-87-]-g, &. S. Dixon, and . Shrivastava, Exploiting type inheritance facilities to implement recoverability in object based systems, Proc. of the 6th Symposium on Reliability in Distributed Software and Database Systems, pp.107-114, 1987.

&. Elnozahy, . N. Zwaenepoel-92-]-e, &. W. Elnozahy, and . Zwaenepoel, Manetho: transparent roll back-recovery with low overhead, limited rollback, and fast output commit, IEEE Transactions on Computers, vol.41, issue.5, pp.526-531, 1992.
DOI : 10.1109/12.142678

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.9133

. Elnozahy, The performance of consistent checkpointing, [1992] Proceedings 11th Symposium on Reliable Distributed Systems, pp.39-47, 1992.
DOI : 10.1109/RELDIS.1992.235144

. Eppinger, Camelot and Avalon: A Distributed Transaction Facility, 1991.

B. J. Gleeson, Fault tolerance: Why should I pay for it?, Hardware and Software Architectures for Fault Tolerance: Experiences and Perspectives, pp.66-77, 1993.
DOI : 10.1007/BFb0020023

. Goldberg, Transparent recovery of mach applications, USENIX Mach Workshop, pp.169-183, 1990.

]. J. Gray, Notes on Database Operating Systems, Lecture Notes in Computer Science, vol.60, 1978.

. Hardell, Data cache and storage control units, IBM RISC System/6000 Technology, pp.44-51, 1990.

. Haskin, Recovery management in QuickSilver, ACM Transactions on Computer Systems, vol.6, issue.1, pp.82-108, 1988.
DOI : 10.1145/35037.35060

[. J. Fabre-94-]-b, J. C. Randell, Y. Fabre, and . Deswarte, Designing secure and reliable applications using fragmentation-redundancy-scattering: an object-oriented approachcattte, Dependable Computing -EDCC1, pp.21-38, 1994.

&. Juang, . Venkatesan-91-]-t, &. S. Ty-juang, and . Venkatesan, Crash recovery with little overhead, [1991] Proceedings. 11th International Conference on Distributed Computing Systems, pp.454-461, 1991.
DOI : 10.1109/ICDCS.1991.148709

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.561.1247

&. Koo, . Toueg-86-]-r, &. S. Koo, and . Toueg, Checkpointing and Rollback-Recovery for Distributed Systems, Proc. of Fall Joint Computer Conference, pp.1150-1158, 1986.
DOI : 10.1109/TSE.1987.232562

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.1616

&. Lee, . A. Anderson-90-]-p, &. T. Lee, and . Anderson, Dependable computing and faulttolerant systems, Fault Tolerance : Principles and Practice, 1990.

&. Leu, . Bhargava-88-]-p, &. B. Leu, and . Bhargava, Concurrent robust checkpointing and recovery in distributed systems, Proceedings. Fourth International Conference on Data Engineering, pp.154-163, 1988.
DOI : 10.1109/ICDE.1988.105457

&. Leu, . Bhargava-89-]-p, &. B. Leu, and . Bhargava, A model for concurrent checkpointing and recovery using transactions, [1989] Proceedings. The 9th International Conference on Distributed Computing Systems, pp.423-430, 1989.
DOI : 10.1109/ICDCS.1989.37973

. Li, Checkpointing multicomputer applications, [1991] Proceedings Tenth Symposium on Reliable Distributed Systems, pp.1-10, 1991.
DOI : 10.1109/RELDIS.1991.145398

&. Lin, . Ahamad-90-]-l, &. M. Lin, and . Ahamad, Checkpointing and rollback-recovery in distributed object based systems, [1990] Digest of Papers. Fault-Tolerant Computing: 20th International Symposium, pp.97-104, 1990.
DOI : 10.1109/FTCS.1990.89340

. Liskov, Implementation of Argus, Proc. of 11th ACM Symposium on Operating Systems Principles, pp.111-122, 1987.

&. Merlin, . M. Randell-78-]-p, &. B. Merlin, and . Randell, State Restoration in Distributed Systems, Proc. of 8th International Symposium on Fault-Tolerant Computing Systems, pp.129-134, 1978.
DOI : 10.1007/978-3-642-82470-8_32

. Mullender, Van Staveren. A distributed operating system for the 1990s, IEEE Computer, pp.44-53, 1990.

. Muller, A stable transactional memory for building robust object oriented programs, EuroMicro 91, pp.359-364, 1991.
DOI : 10.1016/0165-6074(91)90371-Y

. Muller, Performance of consistent checkpointing in a modular operating system: Results of the FTM experiment
DOI : 10.1007/3-540-58426-9_154

]. B. Nelson, Remote Procedure Call, 1981.

M. Raynal and &. J. Helary, Synchronization and Control of Distributed Systems and Programs. Wiley series in parallel computing, 1990.

F. Abrossimov, I. Armand, M. Boule, M. Gien, F. Guillemont et al., The Chorus distributed operating system, Computing Systems, vol.1, issue.4, pp.305-370, 1988.

[. S. Chiba-93-]-t, S. Masuda, and . Chiba, Designing an extensible distributed language with meta-level architecture, Proceedings of the ECOOP '93, pp.483-502, 1993.

&. Schmuck, . Wyllie-91-]-f, &. J. Schmuck, and . Wyllie, Experience with transactions in quicksilver, ACM Proc. of 13th ACM Symposium on Operating Systems Principles, pp.239-253, 1991.

. Schumann, Recovery-management in the RelaX distributed transaction layer, Proceedings of the Eighth Symposium on Reliable Distributed Systems, pp.21-28, 1989.
DOI : 10.1109/RELDIS.1989.72745

&. Silva, . M. Silva-92-]-l, &. J. Silva, and . Silva, Global checkpointing for distributed programs, [1992] Proceedings 11th Symposium on Reliable Distributed Systems, pp.155-162, 1992.
DOI : 10.1109/RELDIS.1992.235131

. Singh, SPLASH, ACM SIGARCH Computer Architecture News, vol.20, issue.1, 1991.
DOI : 10.1145/130823.130824

&. Strom, . E. Yemini-85-]-r, &. S. Strom, and . Yemini, Optimistic recovery in distributed systems, ACM Transactions on Computer Systems, vol.3, issue.3, pp.204-226, 1985.
DOI : 10.1145/3959.3962

. Taylor, Redundancy in Data Structures: Improving Software Fault Tolerance, IEEE Transactions on Software Engineering, vol.6, issue.6, pp.6585-594, 1980.
DOI : 10.1109/TSE.1980.234507