Distributed Computing, Volume 2

Volume 2, Number 1, 1987

Jifeng He, C. A. R. Hoare: Algebraic Specification and Proof of a Distributed Recovery Algorithm. 1-12
Manfred Broy: Semantics of Finite and Infinite Networks of Concurrent Communicating Agents. 13-31
Philip A. Bernstein, Nathan Goodman: A Proof Technique for Concurrency Control and Recovery Algorithms for Replicated Databases. 32-44
Divyakant Agrawal, Arthur J. Bernstein, Pankaj Gupta, Soumitra Sengupta: Distributed Optimistic Concurrency Control with Reduced Rollback. 45-59

A. Udaya Shankar, Simon S. Lam: Time-Dependent Distributed Systems: Proving Safety, Liveness and Real-Time Properties. 61-79
T. K. Srikanth, Sam Toueg: Simulating Authenticated Broadcasts to Derive Simple Fault-Tolerant Algorithms. 80-94
Vassos Hadzilacos: Connectivity Requirements for Byzantine Agreement under Restricted Types of Failures. 95-103
Raymond E. Miller: The Construction of Self-Synchronizing Finite State Protocols. 104-112
Jan L. A. van de Snepscheut: Fair Mutual Exclusion on a Graph of Processes. 113-115

Bowen Alpern, Fred B. Schneider: Recognizing Safety and Liveness. 117-126
Gabriel Bracha, Sam Toueg: Distributed Deadlock Detection. 127-138
Yaron I. Gold, Shlomo Moran: Distributed Algorithms for Constructing a Minimum-Weight Spaning Tree in a Broadcast Network. 139-148
Jan van Leeuwen, Richard B. Tan: An Improved Upperbound for Distributed Election in Bidirectional Rings of Processors. 149-160
Friedemann Mattern: Algorithms for Distributed Termination Detection. 161-175

Özalp Babaoglu, Pat Stephenson, Rogério Drummond: Reliable Broadcasts and Communication Models: Tradeoffs and Lower Bounds. 177-189
Stein Gjessing: Semantics and Verification of Monitors and Systems of Monitors and Processes. 190-200
Paolo Ancilotti, Antonia Bertolino, Mario Fusani: An Approach to Efficient Distributed Transactions. 201-212
Ana R. Cavalli, Etienne Paul: Exhaustive Analysis and Simulation for Distributed Systems, both Sides of the Same Coin. 213-225
Krzysztof R. Apt, Nissim Francez, Shmuel Katz: Appraising Fairness in Languages for Distributed Programming. 226-241