Debugging Distributed Computations in a Nest Atomic Action System

Concurrent and distributed programs are hard to debug. In this thesis, we argue that structuring activities as nested atomic actions can make debugging such programs much like debugging traditional sequential programs. To support the argument, we present a method for debugging computations in the...

Full description

Bibliographic Details
Main Author: Chiu, Sheng Yang
Other Authors: Liskov, Barbara H.
Published: 2023
Online Access:https://hdl.handle.net/1721.1/149600