Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd PODC 1984: Vancouver, B. C., Canada
- Tiko Kameda, Jayadev Misra, Joseph G. Peters, Nicola Santoro:
Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, Vancouver, B. C., Canada, August 27-29, 1984. ACM 1984, ISBN 0-89791-143-1 - Leslie Lamport:
Solved Problems, Unsolved Problems and Non-Problems in Concurrency (Invited Address). 1-11 - Amir Pnueli, Lenore D. Zuck:
Verification of Multiprocess Probabilistic Protocols. 12-27 - Shlomit S. Pinter, Pierre Wolper:
A Temporal Logic for Reasoning about Partially Ordered Computations (Extended Abstract). 28-37 - Mohamed G. Gouda, Chung-Kuo Chang:
A Technique for Proving Liveness of Communicating Finite State Machines with Examples. 38-49 - Joseph Y. Halpern, Yoram Moses:
Knowledge and Common Knowledge in a Distributed Environment. 50-61 - Daniel Lehmann:
Knowledge, Common Knowledge and related puzzles (Extended Summary). 62-67 - Leslie Lamport, P. M. Melliar-Smith:
Byzantine Clock Synchronization. 68-74 - Jennifer Lundelius, Nancy A. Lynch:
A New Fault-Tolerant Algorithm for Clock Synchronization. 75-88 - Joseph Y. Halpern, Barbara Simons, H. Raymond Strong, Danny Dolev:
Fault-Tolerant Clock Synchronization. 89-102 - Cynthia Dwork, Nancy A. Lynch, Larry J. Stockmeyer:
Consensus in the Presence of Partial Synchrony (Preliminary Version). 103-118 - Chagit Attiya, Danny Dolev, Joseph Gil:
Asynchronous Byzantine Consensus. 119-133 - Michael Merritt:
Elections in the Presence of Faults. 134-142 - Cynthia Dwork, Dale Skeen:
Patterns of Communication in Consensus Protocols. 143-153 - Gabriel Bracha:
An Asynchronou [(n-1)/3]-Resilient Consensus Protocol. 154-162 - Sam Toueg:
Randomized Byzantine Agreements. 163-178 - Faith E. Fich, Prabhakar Ragde, Avi Wigderson:
Relations Between Concurrent-Write Models of Parallel Computation. 179-189 - Eli Gafni, Yehuda Afek:
Election and Traversal in Unidirectional Networks. 190-198 - Ephraim Korach, Shlomo Moran, Shmuel Zaks:
Tight Lower and Upper Bounds for Some Distributed Algorithms for a Complete Network of Processors. 199-207 - Jonathan Kepecs, Marvin H. Solomon:
SODA: A Simplified Operating System for Distributed Applications. 208-219 - Eric C. Cooper:
Replicated Procedure Call. 220-232 - Gene T. J. Wuu, Arthur J. Bernstein:
Efficient Solutions to the Replicated Log and Dictionart Problems. 233-242 - David Jefferson, Andrew Witkowski:
An Approach to Performance Analysis of Timestamp-driven Synchronization Mechanisms. 243-253 - Orna Grumberg, Nissim Francez, Shmuel Katz:
Fail Termination of Communicating Processe. 254-265 - A. Prasad Sistla:
Distributed Algorithms for Ensuring Fair Interprocess Communications. 266-277 - Baruch Awerbuch, Shimon Even:
Efficient and Reliable Broadcast is Achievable in an Eventually Connected Network. 278-281 - Don P. Mitchell, Michael Merritt:
A Distributed Algorithm for Deadlock Detection and Resolution. 282-284 - Gabriel Bracha, Sam Toueg:
A Distributed Algorithm for Generalized Deadlock Detection. 285-301
a service of 
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-04-22 20:01 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:
