default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDistributed 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
Volume 2, Number 2, 1987
- 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
Volume 2, Number 3, 1987
- 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
Volume 2, Number 4, 1988
- Ö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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-13 17:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
