Elaine L. Sonderegger

Learn More
This paper presents Persistent Turing Machines (PTMs), a new way of interpreting Turing-machine computation, based on dynamic stream semantics. A PTM is a Turing machine that performs an in nite sequence of \normal" Turing machine computations, where each such computation starts when the PTM reads an input from its input tape and ends when the PTM produces(More)
Replication is a fundamental technique for increasing throughput and achieving fault tolerance in distributed data services. However, its implementation may induce significant communication costs to maintain consistency between the replicas. Eventually-Serializable Data Service (ESDS) has been proposed to reduce these costs and enable fast operations on(More)
Rambo is the Reconfigurable Atomic Memory for Basic Objects, a formally specified algorithm that implements atomic read/write shared memory in dynamic networks, where the participating hosts may join, leave, or fail. Rambo is particularly suited for volatile environments such as mobile networks. To maintain availability and consistency in such dynamic(More)
Abstract models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are often negated by the ad hoc process of mapping the semantics of an abstract specification to algorithms designed to be executed on target distributed platforms. The(More)
Abstract models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are offset by the challenging process of mapping the functionality of an abstract specification to the low-level executable code for target distributed platforms. Formal(More)
Mobile automaton (MA) systems are presented as a formal model for emergent behavior in multi-agent systems. A MA system is a group of finite-state transducers moving about, reading, and writing to a shared grid environment. The MAs in a system may be either homogeneous or heterogeneous, and their concurrent system computations may be either synchronous or(More)
  • 1