default search action

combined dblp search
author search
venue search
publication search

ask others

Distributed Computing, Volume 13

> Home > Journals > Distributed Computing

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 13, Number 1, 2000

- view
  authority control:
- export record
  dblp key:
  - journals/dc/Herman00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/Herman00
Ted Herman:
Superstabilizing Mutual Exclusion. 1-17
- view
  authority control:
- export record
  dblp key:
  - journals/dc/MalkhiMR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/MalkhiMR00
Dahlia Malkhi, Michael Merritt, Ohad Rodeh:
Secure Reliable Multicast Protocols in a WAN. 19-28
- view
  authority control:
- export record
  dblp key:
  - journals/dc/HelaryMNR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/HelaryMNR00
Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer, Michel Raynal:
Communication-Based Prevention of Useless Checkpoints in Fistributed Computations. 29-43
- view
  authority control:
- export record
  dblp key:
  - journals/dc/Bazzi00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/Bazzi00
Rida A. Bazzi:
Synchronous Byzantine Quorum Systems. 45-52
- view
  authority control:
- export record
  dblp key:
  - journals/dc/FeigeK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/FeigeK00
Uriel Feige, Robert Krauthgamer:
Networks on Which Hot-Potato Routing Does Not Livelock. 53-58

Volume 13, Number 2, 2000

- view
  authority control:
- export record
  dblp key:
  - journals/dc/Havlicek00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/Havlicek00
John Havlicek:
Computable Obstructions to Wait-Free Computability. 59-83
- view
  authority control:
- export record
  dblp key:
  - journals/dc/Stoller00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/Stoller00
Scott D. Stoller:
Detecting Global Predicates in Distributed Systems with Clocks. 85-98
- view
  authority control:
- export record
  dblp key:
  - journals/dc/AguileraCT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/AguileraCT00
Marcos Kawazoe Aguilera, Wei Chen, Sam Toueg:
Failure Detection and Consensus in the Crash-Recovery Model. 99-125

Volume 13, Number 3, 2000

- view
  authority control:
- export record
  dblp key:
  - journals/dc/ManduchiM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/ManduchiM00
Gabriele Manduchi, Michele Moro:
Automatic verification for a class of distributed systems. 127-143
- view
  authority control:
- export record
  dblp key:
  - journals/dc/Halpern00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/Halpern00
Joseph Y. Halpern:
A note on knowledge-based programs and specifications. 145-153
- view
  authority control:
- export record
  dblp key:
  - journals/dc/PogosyantsSL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/PogosyantsSL00
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

- view
  authority control:
- export record
  dblp key:
  - journals/dc/X00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/X00
Editorial: Time for Change. 187
- view
  authority control:
- export record
  dblp key:
  - journals/dc/Joung00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/Joung00
Yuh-Jzer Joung:
Asynchronous group mutual exclusion. 189-206
- view
  authority control:
- export record
  dblp key:
  - journals/dc/DattaJPV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/DattaJPV00
Ajoy Kumar Datta, Colette Johnen, Franck Petit, Vincent Villain:
Self-stabilizing depth-first token circulation in arbitrary rooted networks. 207-218
- view
  authority control:
- export record
  dblp key:
  - journals/dc/LoH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/LoH00
Wai-Kau Lo, Vassos Hadzilacos:
On the power of shared object types to implement one-resilient Consensus. 219-238
- view
  authority control:
- export record
  dblp key:
  - journals/dc/Lamport00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/Lamport00
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.