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 BibTeX
Manfred Broy: Semantics of Finite and Infinite Networks of Concurrent Communicating Agents. 13-31 BibTeX
Philip A. Bernstein, Nathan Goodman: A Proof Technique for Concurrency Control and Recovery Algorithms for Replicated Databases. 32-44 BibTeX
Divyakant Agrawal, Arthur J. Bernstein, Pankaj Gupta, Soumitra Sengupta: Distributed Optimistic Concurrency Control with Reduced Rollback. 45-59 BibTeX

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

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

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