Specification and Implementation of Atomic Data Types

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

Bibliographic Details
Main Author: Weihl, William Edward
Other Authors: Liskov, Barbara H.
Published: 2023
Online Access:https://hdl.handle.net/1721.1/149588