Two ways of describing the behaviour of concurrent systems have widely been suggested:
arbitrary interleaving and partial orders. Sometimes the latter has been claimed superior …

Some basic concepts underlying the issue of fault-tolerant software design are investigated.
Relying on these concepts, a unified point of view on programmed exception handling and …

A framework for the provision of fault tolerance in asynchronous systems is introduced. The
proposal generalizes the form of simple recovery facilities supported by nested atomic …

Presents a scheme for coordinated error recovery between multiple interacting objects in a
concurrent object-oriented system. A conceptual framework for fault tolerance is established …

Constructing reliable programs for distributed processing systems is a very difficult task.
Actions (transactions), indivisible units of work, can simplify this process by providing …

The rst part of this paper provides rigorous de nitions for several basic concepts underlying
the design of dependable programs, such as speci cation, program semantics, exception …

Fault tolerance can allow processes executing in a computer system to survive failures
within the system. This thesis addresses the theory and practice of transparent fault …

A major issue in many applications is how to preserve the consistency of data in the
presence of concurrency and hardware failures. We suggest addressing this problem by …

The design of programs that are tolerant of hardware fault occurrences and processor
crashes is investigated. Using a stable storage management system as a running example …

In this paper we describe how a program constructed for a fault-free system can be
transformed into a fault-tolerant program for execution on a system which is susceptible to …