Search dblp for Publications

export results for "toc:db/conf/podc/podc86.bht:"

 download as .bib file

@inproceedings{DBLP:conf/podc/AbrahamsonAHK86,
  author       = {Karl R. Abrahamson and
                  Andrew Adler and
                  Lisa Higham and
                  David G. Kirkpatrick},
  editor       = {Joseph Y. Halpern},
  title        = {Probabilistic Solitude Verification on a Ring},
  booktitle    = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed
                  Computing, Calgary, Alberta, Canada, August 11-13, 1986},
  pages        = {161--173},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/10590.10604},
  doi          = {10.1145/10590.10604},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/AbrahamsonAHK86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/AfratiPP86,
  author       = {Foto N. Afrati and
                  Christos H. Papadimitriou and
                  George Papageorgiou},
  editor       = {Joseph Y. Halpern},
  title        = {The Synthesis of Communication Protocols},
  booktitle    = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed
                  Computing, Calgary, Alberta, Canada, August 11-13, 1986},
  pages        = {263--271},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/10590.10613},
  doi          = {10.1145/10590.10613},
  timestamp    = {Wed, 20 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/AfratiPP86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/BarbaraGS86,
  author       = {Daniel Barbar{\'{a}} and
                  Hector Garcia{-}Molina and
                  Annemarie Spauster},
  editor       = {Joseph Y. Halpern},
  title        = {Protocols for Dynamic Vote Reassignment},
  booktitle    = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed
                  Computing, Calgary, Alberta, Canada, August 11-13, 1986},
  pages        = {195--205},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/10590.10607},
  doi          = {10.1145/10590.10607},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/BarbaraGS86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/BenalohY86,
  author       = {Josh Cohen Benaloh and
                  Moti Yung},
  editor       = {Joseph Y. Halpern},
  title        = {Distributing the Power of a Government to Enhance the Privacy of Voters
                  (Extended Abstract)},
  booktitle    = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed
                  Computing, Calgary, Alberta, Canada, August 11-13, 1986},
  pages        = {52--62},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/10590.10595},
  doi          = {10.1145/10590.10595},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/BenalohY86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/ChangS86,
  author       = {Yukon Chang and
                  Janos Simon},
  editor       = {Joseph Y. Halpern},
  title        = {Continous Routing and Batch Routing on the Hypercube},
  booktitle    = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed
                  Computing, Calgary, Alberta, Canada, August 11-13, 1986},
  pages        = {272--281},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/10590.10614},
  doi          = {10.1145/10590.10614},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/ChangS86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/ClarkeGB86,
  author       = {Edmund M. Clarke and
                  Orna Grumberg and
                  Michael C. Browne},
  editor       = {Joseph Y. Halpern},
  title        = {Reasoning About Networks With Many Identical Finite-State Processes},
  booktitle    = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed
                  Computing, Calgary, Alberta, Canada, August 11-13, 1986},
  pages        = {240--248},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/10590.10611},
  doi          = {10.1145/10590.10611},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/ClarkeGB86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/Coan86,
  author       = {Brian A. Coan},
  editor       = {Joseph Y. Halpern},
  title        = {A Communication-Efficient Canonical Form for Fault-Tolerant Distributed
                  Protocols},
  booktitle    = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed
                  Computing, Calgary, Alberta, Canada, August 11-13, 1986},
  pages        = {63--72},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/10590.10596},
  doi          = {10.1145/10590.10596},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/Coan86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/CoanL86,
  author       = {Brian A. Coan and
                  Jennifer Lundelius},
  editor       = {Joseph Y. Halpern},
  title        = {Transaction Commit in a Realistic Fault Model},
  booktitle    = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed
                  Computing, Calgary, Alberta, Canada, August 11-13, 1986},
  pages        = {40--51},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/10590.10594},
  doi          = {10.1145/10590.10594},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/CoanL86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/CoanOK86,
  author       = {Brian A. Coan and
                  Brian M. Oki and
                  Elliot K. Kolodner},
  editor       = {Joseph Y. Halpern},
  title        = {Limitations on Database Availability when Networks Partition},
  booktitle    = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed
                  Computing, Calgary, Alberta, Canada, August 11-13, 1986},
  pages        = {187--194},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/10590.10606},
  doi          = {10.1145/10590.10606},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/CoanOK86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/Fekete86,
  author       = {Alan David Fekete},
  editor       = {Joseph Y. Halpern},
  title        = {Asymptotically Optimal Algorithms For Approximale Agreement},
  booktitle    = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed
                  Computing, Calgary, Alberta, Canada, August 11-13, 1986},
  pages        = {73--87},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/10590.10597},
  doi          = {10.1145/10590.10597},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/Fekete86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/Fowler86,
  author       = {Robert J. Fowler},
  editor       = {Joseph Y. Halpern},
  title        = {The Complexity of Using Forwarding Addresses for Decentralized Object
                  Finding},
  booktitle    = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed
                  Computing, Calgary, Alberta, Canada, August 11-13, 1986},
  pages        = {108--120},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/10590.10600},
  doi          = {10.1145/10590.10600},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/Fowler86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/FredericksonJ86,
  author       = {Greg N. Frederickson and
                  Ravi Janardan},
  editor       = {Joseph Y. Halpern},
  title        = {Optimal Message Routing without Complete Routing Tables (preliminary
                  version)},
  booktitle    = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed
                  Computing, Calgary, Alberta, Canada, August 11-13, 1986},
  pages        = {88--97},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/10590.10598},
  doi          = {10.1145/10590.10598},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/FredericksonJ86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/GoldreichS86,
  author       = {Oded Goldreich and
                  Liuba Shrira},
  editor       = {Joseph Y. Halpern},
  title        = {The Effect of Link Failures on Computations in Asynchronous Rings},
  booktitle    = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed
                  Computing, Calgary, Alberta, Canada, August 11-13, 1986},
  pages        = {174--185},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/10590.10605},
  doi          = {10.1145/10590.10605},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/GoldreichS86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/Herlihy86,
  author       = {Maurice Herlihy},
  editor       = {Joseph Y. Halpern},
  title        = {Optimistic Concurrency Control for Abstract Data Types},
  booktitle    = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed
                  Computing, Calgary, Alberta, Canada, August 11-13, 1986},
  pages        = {206--217},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/10590.10608},
  doi          = {10.1145/10590.10608},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/Herlihy86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/KaplanK86,
  author       = {Simon M. Kaplan and
                  Gail E. Kaiser},
  editor       = {Joseph Y. Halpern},
  title        = {Incremental Attribute Evaluation in Distributed Language-Based Environments},
  booktitle    = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed
                  Computing, Calgary, Alberta, Canada, August 11-13, 1986},
  pages        = {121--130},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/10590.10601},
  doi          = {10.1145/10590.10601},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/KaplanK86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/KatzT86,
  author       = {Shmuel Katz and
                  Gadi Taubenfeld},
  editor       = {Joseph Y. Halpern},
  title        = {What Processes Know: Definitions and Proof Methods (Preliminary Version)},
  booktitle    = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed
                  Computing, Calgary, Alberta, Canada, August 11-13, 1986},
  pages        = {249--262},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/10590.10612},
  doi          = {10.1145/10590.10612},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/KatzT86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/KruskalRS86,
  author       = {Clyde P. Kruskal and
                  Larry Rudolph and
                  Marc Snir},
  editor       = {Joseph Y. Halpern},
  title        = {Efficient Synchronization on Multiprocessors with Shared Memory},
  booktitle    = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed
                  Computing, Calgary, Alberta, Canada, August 11-13, 1986},
  pages        = {218--228},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/10590.10609},
  doi          = {10.1145/10590.10609},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/KruskalRS86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/Lampson86,
  author       = {Butler W. Lampson},
  editor       = {Joseph Y. Halpern},
  title        = {Designing a Global Name Service},
  booktitle    = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed
                  Computing, Calgary, Alberta, Canada, August 11-13, 1986},
  pages        = {1--10},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/10590.10591},
  doi          = {10.1145/10590.10591},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/Lampson86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/LiH86,
  author       = {Kai Li and
                  Paul Hudak},
  editor       = {Joseph Y. Halpern},
  title        = {Memory Coherence in Shared Virtual Memory Systems},
  booktitle    = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed
                  Computing, Calgary, Alberta, Canada, August 11-13, 1986},
  pages        = {229--239},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/10590.10610},
  doi          = {10.1145/10590.10610},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/LiH86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/LiskovL86,
  author       = {Barbara Liskov and
                  Rivka Ladin},
  editor       = {Joseph Y. Halpern},
  title        = {Highly-Available Distributed Services and Fault-Tolerant Distributed
                  Garbage Collection},
  booktitle    = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed
                  Computing, Calgary, Alberta, Canada, August 11-13, 1986},
  pages        = {29--39},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/10590.10593},
  doi          = {10.1145/10590.10593},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/podc/LiskovL86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/LynchBS86,
  author       = {Nancy A. Lynch and
                  Barbara T. Blaustein and
                  Michael D. Siegel},
  editor       = {Joseph Y. Halpern},
  title        = {Correctness Conditions for Highly Available Replicated Databases},
  booktitle    = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed
                  Computing, Calgary, Alberta, Canada, August 11-13, 1986},
  pages        = {11--28},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/10590.10592},
  doi          = {10.1145/10590.10592},
  timestamp    = {Thu, 11 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/podc/LynchBS86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/MansourZ86,
  author       = {Yishay Mansour and
                  Shmuel Zaks},
  editor       = {Joseph Y. Halpern},
  title        = {On the Bit Complexity of Distributed Computations in a Ring with a
                  Leader},
  booktitle    = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed
                  Computing, Calgary, Alberta, Canada, August 11-13, 1986},
  pages        = {151--160},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/10590.10603},
  doi          = {10.1145/10590.10603},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/MansourZ86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/MoranW86,
  author       = {Shlomo Moran and
                  Manfred K. Warmuth},
  editor       = {Joseph Y. Halpern},
  title        = {Gap Theorems for Distributed Computation},
  booktitle    = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed
                  Computing, Calgary, Alberta, Canada, August 11-13, 1986},
  pages        = {131--140},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/10590.10602},
  doi          = {10.1145/10590.10602},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/MoranW86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/PelegS86,
  author       = {David Peleg and
                  Barbara Simons},
  editor       = {Joseph Y. Halpern},
  title        = {On Fault Tolerant Routings in General Networks},
  booktitle    = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed
                  Computing, Calgary, Alberta, Canada, August 11-13, 1986},
  pages        = {98--107},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/10590.10599},
  doi          = {10.1145/10590.10599},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/PelegS86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/SchieberM86,
  author       = {Baruch Schieber and
                  Shlomo Moran},
  editor       = {Joseph Y. Halpern},
  title        = {Slowing Sequential Algorithms for Obtaining Fast Distributed and Parallel
                  Algorithms: Maximum Matchings},
  booktitle    = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed
                  Computing, Calgary, Alberta, Canada, August 11-13, 1986},
  pages        = {282--292},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/10590.10615},
  doi          = {10.1145/10590.10615},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/SchieberM86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/podc/1986,
  editor       = {Joseph Y. Halpern},
  title        = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed
                  Computing, Calgary, Alberta, Canada, August 11-13, 1986},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {http://dl.acm.org/citation.cfm?id=10590},
  isbn         = {0-89791-198-9},
  timestamp    = {Wed, 23 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/podc/1986.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.