Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/podc/podc82.bht:"
@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} }
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.