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
Main Author: | Weihl, William Edward |
---|---|
Other Authors: | Liskov, Barbara H. |
Published: |
2023
|
Online Access: | https://hdl.handle.net/1721.1/149588 |
Similar Items
-
Atomic Data Abstractions in a Distributed Collaborative Editing System (Extended Abstract)
by: Greif, Irene, et al.
Published: (2023) -
Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables, and Label Variables
by: Weihl, William Edward
Published: (2023) -
Hybrid Atomicity for Nested Transactions
by: Fekete, Alan, et al.
Published: (2023) -
Automatic Synthesis of Implementations for Abstract Data Types from Algebraic Specifications
by: Srivas, Mandayam K.
Published: (2023) -
Implementing Atomic Data through Indirect Learning in Dynamic Network
by: Konwar, K., et al.
Published: (2006)