default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDistributed Computing, Volume 13
Volume 13, Number 1, 2000
- Ted Herman:
Superstabilizing Mutual Exclusion. 1-17 - Dahlia Malkhi, Michael Merritt, Ohad Rodeh:
Secure Reliable Multicast Protocols in a WAN. 19-28 - Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer, Michel Raynal:
Communication-Based Prevention of Useless Checkpoints in Fistributed Computations. 29-43 - Rida A. Bazzi:
Synchronous Byzantine Quorum Systems. 45-52 - Uriel Feige, Robert Krauthgamer:
Networks on Which Hot-Potato Routing Does Not Livelock. 53-58
Volume 13, Number 2, 2000
- John Havlicek:
Computable Obstructions to Wait-Free Computability. 59-83 - Scott D. Stoller:
Detecting Global Predicates in Distributed Systems with Clocks. 85-98 - Marcos Kawazoe Aguilera, Wei Chen
, Sam Toueg:
Failure Detection and Consensus in the Crash-Recovery Model. 99-125
Volume 13, Number 3, 2000
- Gabriele Manduchi, Michele Moro:
Automatic verification for a class of distributed systems. 127-143 - Joseph Y. Halpern:
A note on knowledge-based programs and specifications. 145-153 - Anna Pogosyants, Roberto Segala, Nancy A. Lynch:
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study. 155-186
Volume 13, Number 4, 2000
- Editorial: Time for Change. 187
- Yuh-Jzer Joung:
Asynchronous group mutual exclusion. 189-206 - Ajoy Kumar Datta, Colette Johnen, Franck Petit, Vincent Villain:
Self-stabilizing depth-first token circulation in arbitrary rooted networks. 207-218 - Wai-Kau Lo, Vassos Hadzilacos:
On the power of shared object types to implement one-resilient Consensus. 219-238 - Leslie Lamport:
Fairness and hyperfairness. 239-245
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-11-06 20:35 CET 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:
