Specification and Implementation of Atomic Data Types

Abstract

Maintaining the consistency of long-lived, on-line data is a difficult task, particularly in a distributed system. This dissertation focuses on atomicity as a fundamental organizational concept for such systems. It explores an approach in which