Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/podc/Aleliunas82,
  author       = {Romas Aleliunas},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {Randomized Parallel Communication (Preliminary Version)},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {60--72},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806683},
  doi          = {10.1145/800220.806683},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/Aleliunas82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/AndrewsDD82,
  author       = {Gregory R. Andrews and
                  David P. Dobkin and
                  Peter J. Downey},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {Distributed Allocation with Pools of Servers},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {73--83},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806684},
  doi          = {10.1145/800220.806684},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/AndrewsDD82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/AndrewsL82,
  author       = {Gregory R. Andrews and
                  Gary Levin},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {On-the-fly Deadlock Prevention},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {165--172},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806694},
  doi          = {10.1145/800220.806694},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/AndrewsL82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BackM82,
  author       = {Ralph{-}Johan Back and
                  Heikki Mannila},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {A Refinement of Kahn's Semantic to Handle Non-Determinism and Communication
                  (Extended Abstract)},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {111--120},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806688},
  doi          = {10.1145/800220.806688},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/BackM82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BalterBD82,
  author       = {R. Balter and
                  P. Berard and
                  Paul Decitre},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {Why Control of the Concurrency Level in Distributed Systems is More
                  Fundamental Than Deadlock Management},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {183--193},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806696},
  doi          = {10.1145/800220.806696},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/BalterBD82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BernsteinG82,
  author       = {Philip A. Bernstein and
                  Nathan Goodman},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {Concurrency Control Algorithms for Multiversion Database Systems},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {209--215},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806699},
  doi          = {10.1145/800220.806699},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/BernsteinG82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BreitwieserL82,
  author       = {Helmut Breitwieser and
                  M. Leszak},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {A Distributed Transaction Processing Protocol Based on Majority Consensus},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {224--237},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806701},
  doi          = {10.1145/800220.806701},
  timestamp    = {Wed, 04 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/BreitwieserL82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/CarvalhoR82,
  author       = {Osvaldo Carvalho and
                  G{\'{e}}rard Roucairol},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {On the Distribution of an Assertion},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {121--131},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806689},
  doi          = {10.1145/800220.806689},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/CarvalhoR82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/ChandyM82,
  author       = {K. Mani Chandy and
                  Jayadev Misra},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {A Distributed Algorithm for Detecting Resource Deadlocks in Distributed
                  Systems},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {157--164},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806693},
  doi          = {10.1145/800220.806693},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/ChandyM82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/CohenL82,
  author       = {Shimon Cohen and
                  Daniel Lehmann},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {Dynamic Systems and Their Distributed Termination},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {29--33},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806678},
  doi          = {10.1145/800220.806678},
  timestamp    = {Fri, 09 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/podc/CohenL82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/CulikP82,
  author       = {Karel Cul{\'{\i}}k II and
                  Jan K. Pachl},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {Folding and Unrolling Systolic Arrays (Preliminary Version)},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {254--261},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806704},
  doi          = {10.1145/800220.806704},
  timestamp    = {Wed, 24 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/CulikP82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/DolevMP82,
  author       = {Danny Dolev and
                  Jos{\'{e}} Meseguer and
                  Marshall C. Pease},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {Finding Safe Paths in a Faulty Environment},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {95--103},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806686},
  doi          = {10.1145/800220.806686},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/podc/DolevMP82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/DolevR82,
  author       = {Danny Dolev and
                  R{\"{u}}diger Reischuk},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {Bounds on Information Exchange for Byzantine Agreement},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {132--140},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806690},
  doi          = {10.1145/800220.806690},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/DolevR82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/EllisFH82,
  author       = {Carla Schlatter Ellis and
                  Jerome A. Feldman and
                  James E. Heliotis},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {Language Constructs and Support Systems for Distributed Computing},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {1--9},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806675},
  doi          = {10.1145/800220.806675},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/EllisFH82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/FleR82,
  author       = {Marie{-}Paule Fl{\'{e}} and
                  G{\'{e}}rard Roucairol},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {On Serializability of Iterated Transactions},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {194--200},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806697},
  doi          = {10.1145/800220.806697},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/FleR82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/GelernterB82,
  author       = {David Gelernter and
                  Arthur J. Bernstein},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {Distributed Communication via Global Buffer},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {10--18},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806676},
  doi          = {10.1145/800220.806676},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/GelernterB82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Jaffe82,
  author       = {Jeffrey M. Jaffe},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {Distributed Multi-Destination Routing: The Constraints of Local Information},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {49--54},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806681},
  doi          = {10.1145/800220.806681},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/Jaffe82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Korth82,
  author       = {Henry F. Korth},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {Edge Locks and Deadlock Avoidance in Distributed Systems},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {173--182},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806695},
  doi          = {10.1145/800220.806695},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/Korth82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/LeachSHL82,
  author       = {Paul J. Leach and
                  Bernard L. Stumpf and
                  James A. Hamilton and
                  Paul H. Levine},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {{UIDS} as Internal Names in a Distributed File System},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {34--41},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806679},
  doi          = {10.1145/800220.806679},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/LeachSHL82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/MehrotraP82,
  author       = {Piyush Mehrotra and
                  Terrence W. Pratt},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {Language Concepts for Distributed Processing of Large Arrays},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {19--28},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806677},
  doi          = {10.1145/800220.806677},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/MehrotraP82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Milner82,
  author       = {Robin Milner},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {Four Combinators for Concurrency},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {104--110},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806687},
  doi          = {10.1145/800220.806687},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/Milner82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/MisraCS82,
  author       = {Jayadev Misra and
                  K. Mani Chandy and
                  Todd Smith},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {Proving Safety and Liveness of Communicating Processes with Examples},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {201--208},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806698},
  doi          = {10.1145/800220.806698},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/MisraCS82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/ReifS82,
  author       = {John H. Reif and
                  Paul G. Spirakis},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {Real Time Resource Allocation in Distributed Systems},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {84--94},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806685},
  doi          = {10.1145/800220.806685},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/ReifS82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/SchlichtingS82,
  author       = {Richard D. Schlichting and
                  Fred B. Schneider},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {Understanding and Using Asynchronous Message Passing (Preliminary
                  Version)},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {141--147},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806691},
  doi          = {10.1145/800220.806691},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/SchlichtingS82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/ShamirU82,
  author       = {Eli Shamir and
                  Eli Upfal},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {N-Processors Graph Distributively Achieve Perfect Matchings in O(log\({}^{\mbox{2}}\)N)
                  Beats},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {238--241},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806702},
  doi          = {10.1145/800220.806702},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/podc/ShamirU82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Silberschatz82,
  author       = {Abraham Silberschatz},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {A Multi-Version Concurrency Scheme With No Rollbacks},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {216--223},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806700},
  doi          = {10.1145/800220.806700},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/Silberschatz82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/SistlaCFG82,
  author       = {A. Prasad Sistla and
                  Edmund M. Clarke and
                  Nissim Francez and
                  Yuri Gurevich},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {Can Message Buffers be Characterized in Linear Temporal Logic?},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {148--156},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806692},
  doi          = {10.1145/800220.806692},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/SistlaCFG82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Snir82,
  author       = {Marc Snir},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {On Parallel Searching (Extended Abstract)},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {242--253},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806703},
  doi          = {10.1145/800220.806703},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/Snir82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Upfal82,
  author       = {Eli Upfal},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {Efficient Schemes for Parallel Communication},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {55--59},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806682},
  doi          = {10.1145/800220.806682},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/podc/Upfal82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Zave82,
  author       = {Pamela Zave},
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {Testing Incomplete Specifications of Distributed Systems},
  booktitle    = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  pages        = {42--48},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800220.806680},
  doi          = {10.1145/800220.806680},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/Zave82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/podc/1982,
  editor       = {Robert L. Probert and
                  Michael J. Fischer and
                  Nicola Santoro},
  title        = {{ACM} {SIGACT-SIGOPS} Symposium on Principles of Distributed Computing,
                  Ottawa, CanadaAugust 18-20, 1982},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {http://dl.acm.org/citation.cfm?id=800220},
  isbn         = {0-89791-081-8},
  timestamp    = {Wed, 23 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/podc/1982.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics