Transparent object replication: a formal model

Abstract

Presents a formal object model in which the replication of components and recovery from crash failures are transparent. The model is based on concurrently executing objects that interact through a shared data space. We formally define the model by a denotational semantics in which the possible behaviours of an object are defined by a corresponding set of state transition traces. Using the semantics, we derive some fundamental algebraic properties of the model that reflect transparent replication and crash recovery.