Search
Now showing items 1-10 of 60
Hybrid Atomicity for Nested Transactions
(1992-10)
This paper defines the notion of hybrid atomicity for nested transaction systems, and presents and verifies an algorithm providing this property. Hybrid atomicity is a modular property; it allows the correctness of a system ...
Forward and Backward Simulations Part I: Untimed Systems (Replaces TM-486)
(1993-03)
A unified, comprehensive presentation of simulation techniques for verification of concurrent systems is given, in terms of a simple untimed automaton model. In particular, (1) refinements, (2) forward and backward ...
Compositionality for Probabilistic Automata
We establish that on the dfomain of probabilistic automata, the trace distribution preorder coincides with the simulation preorder.
Consensus in the Presence of Partial Synchrony
(1985-10)
The concept of partial synchrony in a distributed system is introduced. Partial synchrony lies between the cases of a synchronous system and an asynchronous system. In a synchronous system, there is a known fixed upper ...
A Reliable Broadcast Scheme for Sensor Networks
(2003-08-11)
In this short technical report, we present a simple yet effective reliable broadcast protocol for sensor networks. This protocol disseminates packets throughout the sensor network by flooding and recovers from losses ...
Dynamic Input/Output Automata: A Formal Model for Dynamic Systems
(2003-07-26)
We present a mathematical state-machine model, the Dynamic I/O Automaton (DIOA) model, for defining and analyzing dynamic systems of interacting components. The systems we consider are dynamic in two senses: (1) components ...
Early-Delivery Dynamic Atomic Broadcast
(2002-04)
Relativization of the Theory of Computational Complexity
(1972-06)
Blum's machine-independent treatment of the complexity of partial recursive functions is extended to relative algorithms (as represented by Turing machines with oracles). We prove relativizations of several results of ...
GeoQuorums: Implementing Atomic Memory in Mobile Ad Hoc Networks
(2004-02-25)
We present a new approach, the GeoQuorums approach, for implementing atomic read/write shared memoryin mobile ad hoc networks. Our approach is based on associating abstract atomic objects with certain geographiclocations. ...