BibTeX records: H. Raymond Strong

download as .bib file

@article{DBLP:journals/ibmsj/BlasgenACGKLLMPPSSSSTWY99,
  author    = {Mike W. Blasgen and
               Morton M. Astrahan and
               Donald D. Chamberlin and
               Jim Gray and
               W. Frank King III and
               Bruce G. Lindsay and
               Raymond A. Lorie and
               James W. Mehl and
               Thomas G. Price and
               Gianfranco R. Putzolu and
               Mario Schkolnick and
               Patricia G. Selinger and
               Donald R. Slutz and
               H. Raymond Strong and
               Irving L. Traiger and
               Bradford W. Wade and
               Robert A. Yost},
  title     = {System {R:} An Architectural Overview},
  journal   = {{IBM} Systems Journal},
  volume    = {38},
  number    = {2/3},
  pages     = {375--396},
  year      = {1999},
  url       = {https://doi.org/10.1147/sj.382.0375},
  doi       = {10.1147/sj.382.0375},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ibmsj/BlasgenACGKLLMPPSSSSTWY99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/BruckDHRS97,
  author    = {Jehoshua Bruck and
               Danny Dolev and
               Ching{-}Tien Ho and
               Marcel{-}Catalin Rosu and
               H. Raymond Strong},
  title     = {Efficient Message Passing Interface {(MPI)} for Parallel Computing
               on Clusters of Workstations},
  journal   = {J. Parallel Distrib. Comput.},
  volume    = {40},
  number    = {1},
  pages     = {19--34},
  year      = {1997},
  url       = {https://doi.org/10.1006/jpdc.1996.1267},
  doi       = {10.1006/jpdc.1996.1267},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jpdc/BruckDHRS97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/DolevRSS97,
  author    = {Danny Dolev and
               R{\"{u}}diger Reischuk and
               Fred B. Schneider and
               H. Raymond Strong},
  title     = {Report Dagstuhl Seminar on Time Services, Schlo{\ss} Dagstuhl, March
               11-15, 1996},
  journal   = {Real-Time Systems},
  volume    = {12},
  number    = {3},
  pages     = {329--345},
  year      = {1997},
  url       = {https://doi.org/10.1023/A:1007957331469},
  doi       = {10.1023/A:1007957331469},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/rts/DolevRSS97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/DworkHS96,
  author    = {Cynthia Dwork and
               Ching{-}Tien Ho and
               H. Raymond Strong},
  title     = {Collective Consistency (Work in Progress, Abstract)},
  booktitle = {Proceedings of the Fifteenth Annual {ACM} Symposium on Principles
               of Distributed Computing, Philadelphia, Pennsylvania, USA, May 23-26,
               1996},
  pages     = {341},
  year      = {1996},
  crossref  = {DBLP:conf/podc/1996},
  url       = {http://doi.acm.org/10.1145/248052.248122},
  doi       = {10.1145/248052.248122},
  timestamp = {Wed, 23 May 2012 14:26:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/podc/DworkHS96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/DolevMS96,
  author    = {Danny Dolev and
               Dalia Malki and
               H. Raymond Strong},
  title     = {A Framework for Partitionable Membership Service (Abstract)},
  booktitle = {Proceedings of the Fifteenth Annual {ACM} Symposium on Principles
               of Distributed Computing, Philadelphia, Pennsylvania, USA, May 23-26,
               1996},
  pages     = {343},
  year      = {1996},
  crossref  = {DBLP:conf/podc/1996},
  url       = {http://doi.acm.org/10.1145/248052.248124},
  doi       = {10.1145/248052.248124},
  timestamp = {Wed, 23 May 2012 14:26:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/podc/DolevMS96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/DworkHS96,
  author    = {Cynthia Dwork and
               Ching{-}Tien Ho and
               H. Raymond Strong},
  title     = {Collective Consistency},
  booktitle = {Distributed Algorithms, 10th International Workshop, {WDAG} '96, Bologna,
               Italy, October 9-11, 1996, Proceedings},
  pages     = {234--250},
  year      = {1996},
  crossref  = {DBLP:conf/wdag/1996},
  url       = {https://doi.org/10.1007/3-540-61769-8\_16},
  doi       = {10.1007/3-540-61769-8\_16},
  timestamp = {Mon, 22 May 2017 16:14:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wdag/DworkHS96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CristianASD95,
  author    = {Flaviu Cristian and
               Houtan Aghili and
               H. Raymond Strong and
               Danny Dolev},
  title     = {Atomic Broadcast: From Simple Message Diffusion to Byzantine Agreement},
  journal   = {Inf. Comput.},
  volume    = {118},
  number    = {1},
  pages     = {158--179},
  year      = {1995},
  url       = {https://doi.org/10.1006/inco.1995.1060},
  doi       = {10.1006/inco.1995.1060},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/CristianASD95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/DolevHSS95,
  author    = {Danny Dolev and
               Joseph Y. Halpern and
               Barbara Simons and
               H. Raymond Strong},
  title     = {Dynamic Fault-Tolerant Clock Synchronization},
  journal   = {J. {ACM}},
  volume    = {42},
  number    = {1},
  pages     = {143--185},
  year      = {1995},
  url       = {http://doi.acm.org/10.1145/200836.200870},
  doi       = {10.1145/200836.200870},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jacm/DolevHSS95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/BruckDHOS95,
  author    = {Jehoshua Bruck and
               Danny Dolev and
               Ching{-}Tien Ho and
               Rimon Orni and
               H. Raymond Strong},
  title     = {{PCODE:} an efficient and reliable collective communication protocol
               for unreliable broadcast domain},
  booktitle = {Proceedings of {IPPS} '95, The 9th International Parallel Processing
               Symposium, April 25-28, 1995, Santa Barbara, California, {USA}},
  pages     = {130--139},
  year      = {1995},
  crossref  = {DBLP:conf/ipps/1995},
  url       = {https://doi.org/10.1109/IPPS.1995.395924},
  doi       = {10.1109/IPPS.1995.395924},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipps/BruckDHOS95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/AbayanSW95,
  author    = {M. Abayan and
               H. Raymond Strong and
               Edward L. Wimmers},
  title     = {The {RAPID} {C++} Environment (Abstract)},
  booktitle = {Proceedings of the Fourteenth Annual {ACM} Symposium on Principles
               of Distributed Computing, Ottawa, Ontario, Canada, August 20-23, 1995},
  pages     = {258},
  year      = {1995},
  crossref  = {DBLP:conf/podc/1995},
  url       = {http://doi.acm.org/10.1145/224964.224996},
  doi       = {10.1145/224964.224996},
  timestamp = {Wed, 23 May 2012 14:26:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/podc/AbayanSW95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/BruckDHRS95,
  author    = {Jehoshua Bruck and
               Danny Dolev and
               Ching{-}Tien Ho and
               Marcel{-}Catalin Rosu and
               H. Raymond Strong},
  title     = {Efficient Message Passing Interface {(MPI)} for Parallel Computing
               on Clusters of Workstations},
  booktitle = {{SPAA}},
  pages     = {64--73},
  year      = {1995},
  url       = {http://doi.acm.org/10.1145/215399.215421},
  doi       = {10.1145/215399.215421},
  timestamp = {Mon, 09 Dec 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/spaa/BruckDHRS95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/DolevRS94,
  author    = {Danny Dolev and
               R{\"{u}}diger Reischuk and
               H. Raymond Strong},
  title     = {Observable Clock Synchronization (Extended Abstract)},
  booktitle = {Proceedings of the Thirteenth Annual {ACM} Symposium on Principles
               of Distributed Computing, Los Angeles, California, USA, August 14-17,
               1994},
  pages     = {284--293},
  year      = {1994},
  crossref  = {DBLP:conf/podc/1994},
  url       = {http://doi.acm.org/10.1145/197917.198110},
  doi       = {10.1145/197917.198110},
  timestamp = {Wed, 23 May 2012 14:26:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/podc/DolevRS94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BruckDHOS94,
  author    = {Jehoshua Bruck and
               Danny Dolev and
               Ching{-}Tien Ho and
               Rimon Orni and
               H. Raymond Strong},
  title     = {{PCODE:} Efficient Parallel Computing over Distributed Environments},
  booktitle = {Proceedings of the Thirteenth Annual {ACM} Symposium on Principles
               of Distributed Computing, Los Angeles, California, USA, August 14-17,
               1994},
  pages     = {400},
  year      = {1994},
  crossref  = {DBLP:conf/podc/1994},
  url       = {http://doi.acm.org/10.1145/197917.198183},
  doi       = {10.1145/197917.198183},
  timestamp = {Wed, 23 May 2012 14:26:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/podc/BruckDHOS94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Bar-NoyDDS92,
  author    = {Amotz Bar{-}Noy and
               Danny Dolev and
               Cynthia Dwork and
               H. Raymond Strong},
  title     = {Shifting Gears: Changing Algorithms on the Fly to Expedite Byzantine
               Agreement},
  journal   = {Inf. Comput.},
  volume    = {97},
  number    = {2},
  pages     = {205--233},
  year      = {1992},
  url       = {https://doi.org/10.1016/0890-5401(92)90035-E},
  doi       = {10.1016/0890-5401(92)90035-E},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/Bar-NoyDDS92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/PonzioS92,
  author    = {Stephen Ponzio and
               H. Raymond Strong},
  title     = {Semisynchrony and Real-Time (Extended Abstract)},
  booktitle = {Distributed Algorithms, 6th International Workshop, {WDAG} '92, Haifa,
               Israel, November 2-4, 1992, Proceedings},
  pages     = {120--135},
  year      = {1992},
  crossref  = {DBLP:conf/wdag/1992},
  url       = {https://doi.org/10.1007/3-540-56188-9\_9},
  doi       = {10.1007/3-540-56188-9\_9},
  timestamp = {Sat, 20 May 2017 15:32:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wdag/PonzioS92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/DolevRS90,
  author    = {Danny Dolev and
               R{\"{u}}diger Reischuk and
               H. Raymond Strong},
  title     = {Early Stopping in Byzantine Agreement},
  journal   = {J. {ACM}},
  volume    = {37},
  number    = {4},
  pages     = {720--741},
  year      = {1990},
  url       = {http://doi.acm.org/10.1145/96559.96565},
  doi       = {10.1145/96559.96565},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jacm/DolevRS90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/GopalSTC90,
  author    = {Ajei S. Gopal and
               H. Raymond Strong and
               Sam Toueg and
               Flaviu Cristian},
  title     = {Early-Delivery Atomic Broadcast},
  booktitle = {Proceedings of the Ninth Annual {ACM} Symposium on Principles of Distributed
               Computing, Quebec City, Quebec, Canada, August 22-24, 1990},
  pages     = {297--309},
  year      = {1990},
  crossref  = {DBLP:conf/podc/1990},
  url       = {http://doi.acm.org/10.1145/93385.93430},
  doi       = {10.1145/93385.93430},
  timestamp = {Wed, 23 May 2012 14:26:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/podc/GopalSTC90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/StrongDC90,
  author    = {H. Raymond Strong and
               Danny Dolev and
               Flaviu Cristian},
  title     = {New Latency Bounds for Atomic Broadcast},
  booktitle = {Proceedings of the Real-Time Systems Symposium - 1990, Lake Buena
               Vista, Florida, USA, December 1990},
  pages     = {156--165},
  year      = {1990},
  crossref  = {DBLP:conf/rtss/1990},
  url       = {https://doi.org/10.1109/REAL.1990.128742},
  doi       = {10.1109/REAL.1990.128742},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rtss/StrongDC90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DolevS88,
  author    = {Danny Dolev and
               H. Raymond Strong},
  title     = {On Safety and Timeliness in Distributed Data Management},
  booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
               FRG, October 18-19, 1988, Proceedings},
  pages     = {64--72},
  year      = {1988},
  crossref  = {DBLP:conf/concur/1988},
  url       = {https://doi.org/10.1007/3-540-50403-6\_32},
  doi       = {10.1007/3-540-50403-6\_32},
  timestamp = {Fri, 19 May 2017 13:10:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/DolevS88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/GrieferS88,
  author    = {Allan D. Griefer and
               H. Raymond Strong},
  title     = {Fault Tolerant Distributed Services},
  booktitle = {Proceedings of the Seventh Annual {ACM} Symposium on Principles of
               Distributed Computing, Toronto, Ontario, Canada, August 15-17, 1988},
  pages     = {18--27},
  year      = {1988},
  crossref  = {DBLP:conf/podc/1988},
  url       = {http://doi.acm.org/10.1145/62546.62550},
  doi       = {10.1145/62546.62550},
  timestamp = {Wed, 23 May 2012 14:26:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/podc/GrieferS88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DolevHSS87,
  author    = {Danny Dolev and
               Joseph Y. Halpern and
               Barbara Simons and
               H. Raymond Strong},
  title     = {A New Look at Fault-Tolerant Network Routing},
  journal   = {Inf. Comput.},
  volume    = {72},
  number    = {3},
  pages     = {180--196},
  year      = {1987},
  url       = {https://doi.org/10.1016/0890-5401(87)90031-9},
  doi       = {10.1016/0890-5401(87)90031-9},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/DolevHSS87},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/StrongSCA87,
  author    = {H. Raymond Strong and
               Dale Skeen and
               Flaviu Cristian and
               Houtan Aghili},
  title     = {Handshake Protocols},
  booktitle = {Proceedings of the 7th International Conference on Distributed Computing
               Systems, Berlin, Germany, September 1987},
  pages     = {521--529},
  year      = {1987},
  crossref  = {DBLP:conf/icdcs/1987},
  timestamp = {Wed, 27 Nov 2013 16:54:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icdcs/StrongSCA87},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Bar-NoyDDS87,
  author    = {Amotz Bar{-}Noy and
               Danny Dolev and
               Cynthia Dwork and
               H. Raymond Strong},
  title     = {Shifting Gears: Changing Algorithms on the Fly To Expedite Byzantine
               Agreement},
  booktitle = {Proceedings of the Sixth Annual {ACM} Symposium on Principles of Distributed
               Computing, Vancouver, British Columbia, Canada, August 10-12, 1987},
  pages     = {42--51},
  year      = {1987},
  crossref  = {DBLP:conf/podc/1987},
  url       = {http://doi.acm.org/10.1145/41840.41844},
  doi       = {10.1145/41840.41844},
  timestamp = {Tue, 19 Nov 2013 18:10:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/podc/Bar-NoyDDS87},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DolevHS86,
  author    = {Danny Dolev and
               Joseph Y. Halpern and
               H. Raymond Strong},
  title     = {On the Possibility and Impossibility of Achieving Clock Synchronization},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {32},
  number    = {2},
  pages     = {230--250},
  year      = {1986},
  url       = {https://doi.org/10.1016/0022-0000(86)90028-0},
  doi       = {10.1016/0022-0000(86)90028-0},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jcss/DolevHS86},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftdc/DolevS86,
  author    = {Danny Dolev and
               H. Raymond Strong},
  title     = {A Simple Model for Agreement in Distributed Systems},
  booktitle = {Fault-Tolerant Distributed Computing [Asilomar Workshop 1986]},
  pages     = {42--50},
  year      = {1986},
  crossref  = {DBLP:conf/ftdc/1986},
  url       = {https://doi.org/10.1007/BFb0042324},
  doi       = {10.1007/BFb0042324},
  timestamp = {Fri, 19 May 2017 13:10:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftdc/DolevS86},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftdc/CristianDSA86,
  author    = {Flaviu Cristian and
               Danny Dolev and
               H. Raymond Strong and
               Houtan Aghili},
  title     = {Atomic Broadcast in a Real-Time Environment},
  booktitle = {Fault-Tolerant Distributed Computing [Asilomar Workshop 1986]},
  pages     = {51--71},
  year      = {1986},
  crossref  = {DBLP:conf/ftdc/1986},
  url       = {https://doi.org/10.1007/BFb0042325},
  doi       = {10.1007/BFb0042325},
  timestamp = {Fri, 19 May 2017 13:10:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftdc/CristianDSA86},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/GrieferAKS86,
  author    = {Allan D. Griefer and
               Houtan Aghili and
               Ruth Kistler and
               H. Raymond Strong},
  title     = {Highly Available Communication},
  booktitle = {{IEEE} International Conference on Communications: Integrating the
               World Through Communications, {ICC} 1986, Toronto, Canada, June 22-25,
               1986, Proceedings},
  pages     = {1439--1443},
  year      = {1986},
  crossref  = {DBLP:conf/icc/1986},
  timestamp = {Tue, 31 Jul 2018 11:36:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icc/GrieferAKS86},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/Strong86,
  author    = {H. Raymond Strong},
  title     = {Problems in Maintaining Agreement},
  booktitle = {Fifth Symposium on Reliability in Distributed Software and Database
               Systems, {SRDS} 1986, Los Angeles, California, USA, January 13-15,
               1986, Proceedings},
  pages     = {20--27},
  year      = {1986},
  crossref  = {DBLP:conf/srds/1986},
  timestamp = {Fri, 09 Jan 2015 14:54:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/srds/Strong86},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/MohanSF85,
  author    = {C. Mohan and
               H. Raymond Strong and
               Sheldon J. Finkelstein},
  title     = {Method for Distributed Transaction Commit and Recovery Using Byzantine
               Agreement Within Clusters of Processors},
  journal   = {Operating Systems Review},
  volume    = {19},
  number    = {3},
  pages     = {29--43},
  year      = {1985},
  url       = {http://doi.acm.org/10.1145/850776.850779},
  doi       = {10.1145/850776.850779},
  timestamp = {Wed, 14 Dec 2016 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigops/MohanSF85},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/podc/1985,
  editor    = {Michael A. Malcolm and
               H. Raymond Strong},
  title     = {Proceedings of the Fourth Annual {ACM} Symposium on Principles of
               Distributed Computing, Minaki, Ontario, Canada, August 5-7, 1985},
  publisher = {{ACM}},
  year      = {1985},
  url       = {http://dl.acm.org/citation.cfm?id=323596},
  isbn      = {0-89791-167-9},
  timestamp = {Wed, 23 May 2012 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/podc/1985},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/HalpernSSD84,
  author    = {Joseph Y. Halpern and
               Barbara Simons and
               H. Raymond Strong and
               Danny Dolev},
  title     = {Fault-Tolerant Clock Synchronization},
  booktitle = {Proceedings of the Third Annual {ACM} Symposium on Principles of Distributed
               Computing, Vancouver, B. C., Canada, August 27-29, 1984},
  pages     = {89--102},
  year      = {1984},
  crossref  = {DBLP:conf/podc/1984},
  url       = {http://doi.acm.org/10.1145/800222.806739},
  doi       = {10.1145/800222.806739},
  timestamp = {Fri, 10 Aug 2012 19:01:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/podc/HalpernSSD84},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/DolevHS84,
  author    = {Danny Dolev and
               Joseph Y. Halpern and
               H. Raymond Strong},
  title     = {On the Possibility and Impossibility of Achieving Clock Synchronization},
  booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
               April 30 - May 2, 1984, Washington, DC, {USA}},
  pages     = {504--511},
  year      = {1984},
  crossref  = {DBLP:conf/stoc/STOC16},
  url       = {http://doi.acm.org/10.1145/800057.808720},
  doi       = {10.1145/800057.808720},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/DolevHS84},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/DolevHSS84,
  author    = {Danny Dolev and
               Joseph Y. Halpern and
               Barbara Simons and
               H. Raymond Strong},
  title     = {A New Look at Fault Tolerant Network Routing},
  booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
               April 30 - May 2, 1984, Washington, DC, {USA}},
  pages     = {526--535},
  year      = {1984},
  crossref  = {DBLP:conf/stoc/STOC16},
  url       = {http://doi.acm.org/10.1145/800057.808723},
  doi       = {10.1145/800057.808723},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/DolevHSS84},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Strong83,
  author    = {H. Raymond Strong},
  title     = {Vector Execution of Flow Graphs},
  journal   = {J. {ACM}},
  volume    = {30},
  number    = {1},
  pages     = {186--196},
  year      = {1983},
  url       = {http://doi.acm.org/10.1145/322358.322371},
  doi       = {10.1145/322358.322371},
  timestamp = {Thu, 20 Nov 2003 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jacm/Strong83},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/DolevS83,
  author    = {Danny Dolev and
               H. Raymond Strong},
  title     = {Authenticated Algorithms for Byzantine Agreement},
  journal   = {{SIAM} J. Comput.},
  volume    = {12},
  number    = {4},
  pages     = {656--666},
  year      = {1983},
  url       = {https://doi.org/10.1137/0212045},
  doi       = {10.1137/0212045},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/siamcomp/DolevS83},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/MohanSF83,
  author    = {C. Mohan and
               H. Raymond Strong and
               Sheldon J. Finkelstein},
  title     = {Method for Distributed Transaction Commit and recovery Using Byzantine
               Agreement Within Clusters of Processors},
  booktitle = {Proceedings of the Second Annual {ACM} {SIGACT-SIGOPS} Symposium on
               Principles of Distributed Computing, Montreal, Quebec, Canada, August
               17-19, 1983},
  pages     = {89--103},
  year      = {1983},
  crossref  = {DBLP:conf/podc/1983},
  url       = {http://doi.acm.org/10.1145/800221.806712},
  doi       = {10.1145/800221.806712},
  timestamp = {Wed, 14 Dec 2016 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/podc/MohanSF83},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DolevFFLS82,
  author    = {Danny Dolev and
               Michael J. Fischer and
               Robert J. Fowler and
               Nancy A. Lynch and
               H. Raymond Strong},
  title     = {An Efficient Algorithm for Byzantine Agreement without Authentication},
  journal   = {Information and Control},
  volume    = {52},
  number    = {3},
  pages     = {257--274},
  year      = {1982},
  url       = {https://doi.org/10.1016/S0019-9958(82)90776-8},
  doi       = {10.1016/S0019-9958(82)90776-8},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/DolevFFLS82},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddb/DolevS82,
  author    = {Danny Dolev and
               H. Raymond Strong},
  title     = {Requirements for Agreement in a Distributed System},
  booktitle = {{DDB}},
  pages     = {115--129},
  year      = {1982},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ddb/DolevS82},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/DolevRS82,
  author    = {Danny Dolev and
               R{\"{u}}diger Reischuk and
               H. Raymond Strong},
  title     = {'Eventual' Is Earlier than 'Immediate'},
  booktitle = {23rd Annual Symposium on Foundations of Computer Science, Chicago,
               Illinois, USA, 3-5 November 1982},
  pages     = {196--203},
  year      = {1982},
  crossref  = {DBLP:conf/focs/FOCS23},
  url       = {https://doi.org/10.1109/SFCS.1982.51},
  doi       = {10.1109/SFCS.1982.51},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/focs/DolevRS82},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/DolevS82,
  author    = {Danny Dolev and
               H. Raymond Strong},
  title     = {Polynomial Algorithms for Multiple Processor Agreement},
  booktitle = {Proceedings of the 14th Annual {ACM} Symposium on Theory of Computing,
               May 5-7, 1982, San Francisco, California, {USA}},
  pages     = {401--407},
  year      = {1982},
  crossref  = {DBLP:conf/stoc/STOC14},
  url       = {http://doi.acm.org/10.1145/800070.802215},
  doi       = {10.1145/800070.802215},
  timestamp = {Sun, 21 May 2017 00:22:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/DolevS82},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmsj/BlasgenACGKLLMPPSSSSTWY81,
  author    = {Mike W. Blasgen and
               Morton M. Astrahan and
               Donald D. Chamberlin and
               Jim Gray and
               W. Frank King III and
               Bruce G. Lindsay and
               Raymond A. Lorie and
               James W. Mehl and
               Thomas G. Price and
               Gianfranco R. Putzolu and
               Mario Schkolnick and
               Patricia G. Selinger and
               Donald R. Slutz and
               H. Raymond Strong and
               Irving L. Traiger and
               Bradford W. Wade and
               Robert A. Yost},
  title     = {System {R:} An Architectural Overview},
  journal   = {{IBM} Systems Journal},
  volume    = {20},
  number    = {1},
  pages     = {41--62},
  year      = {1981},
  url       = {https://doi.org/10.1147/sj.201.0041},
  doi       = {10.1147/sj.201.0041},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ibmsj/BlasgenACGKLLMPPSSSSTWY81},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Strong80,
  author    = {H. Raymond Strong},
  title     = {Vector Execution of Flow Graphs (Extended Abstract)},
  booktitle = {Proceedings of the 12th Annual {ACM} Symposium on Theory of Computing,
               April 28-30, 1980, Los Angeles, California, {USA}},
  pages     = {108--116},
  year      = {1980},
  crossref  = {DBLP:conf/stoc/STOC12},
  url       = {http://doi.acm.org/10.1145/800141.804658},
  doi       = {10.1145/800141.804658},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/Strong80},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/ibm/RJ2736,
  author    = {Sai Choi Kwan and
               H. Raymond Strong},
  title     = {Index Path Length Evaluation for the Research Storage System of System
               {R}},
  journal   = {{IBM} Research Report},
  volume    = {{RJ2736}},
  year      = {1980},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/tr/ibm/RJ2736},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/AstrahanBCGKLLMPPSSSSTTWY79,
  author    = {Morton M. Astrahan and
               Mike W. Blasgen and
               Donald D. Chamberlin and
               Jim Gray and
               W. Frank King III and
               Bruce G. Lindsay and
               Raymond A. Lorie and
               James W. Mehl and
               Thomas G. Price and
               Gianfranco R. Putzolu and
               Mario Schkolnick and
               Patricia G. Selinger and
               Donald R. Slutz and
               H. Raymond Strong and
               Paolo Tiberio and
               Irving L. Traiger and
               Bradford W. Wade and
               Robert A. Yost},
  title     = {System {R:} {A} Relational Data Base Management System},
  journal   = {{IEEE} Computer},
  volume    = {12},
  number    = {5},
  pages     = {42--48},
  year      = {1979},
  url       = {https://doi.org/10.1109/MC.1979.1658743},
  doi       = {10.1109/MC.1979.1658743},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/computer/AstrahanBCGKLLMPPSSSSTTWY79},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/StrongMC79,
  author    = {H. Raymond Strong and
               George Markowsky and
               Ashok K. Chandra},
  title     = {Search within a Page},
  journal   = {J. {ACM}},
  volume    = {26},
  number    = {3},
  pages     = {457--482},
  year      = {1979},
  url       = {http://doi.acm.org/10.1145/322139.322146},
  doi       = {10.1145/322139.322146},
  timestamp = {Thu, 26 Jan 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jacm/StrongMC79},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/FaginNPS79,
  author    = {Ronald Fagin and
               J{\"{u}}rg Nievergelt and
               Nicholas Pippenger and
               H. Raymond Strong},
  title     = {Extendible Hashing - {A} Fast Access Method for Dynamic Files},
  journal   = {{ACM} Trans. Database Syst.},
  volume    = {4},
  number    = {3},
  pages     = {315--344},
  year      = {1979},
  url       = {http://doi.acm.org/10.1145/320083.320092},
  doi       = {10.1145/320083.320092},
  timestamp = {Thu, 30 Mar 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tods/FaginNPS79},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/AuslanderS78,
  author    = {Marc A. Auslander and
               H. Raymond Strong},
  title     = {Systematic Recursion Removal},
  journal   = {Commun. {ACM}},
  volume    = {21},
  number    = {2},
  pages     = {127--134},
  year      = {1978},
  url       = {http://doi.acm.org/10.1145/359340.359344},
  doi       = {10.1145/359340.359344},
  timestamp = {Tue, 07 Jun 2011 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cacm/AuslanderS78},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/ibm/RJ2274,
  author    = {H. Raymond Strong and
               Irving L. Traiger and
               George Markowsky},
  title     = {Slide Search},
  journal   = {{IBM} Research Report},
  volume    = {{RJ2274}},
  year      = {1978},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/tr/ibm/RJ2274},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/WalkerS73,
  author    = {S. A. Walker and
               H. Raymond Strong},
  title     = {Characterizations of Flowchartable Recursions},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {7},
  number    = {4},
  pages     = {404--447},
  year      = {1973},
  url       = {https://doi.org/10.1016/S0022-0000(73)80032-7},
  doi       = {10.1016/S0022-0000(73)80032-7},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jcss/WalkerS73},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Maggiolo-SchettiniRS73,
  author    = {Andrea Maggiolo{-}Schettini and
               Barry K. Rosen and
               H. Raymond Strong},
  title     = {Procedure Linkage Optimization},
  booktitle = {Conference Record of the {ACM} Symposium on Principles of Programming
               Languages, Boston, Massachusetts, USA, October 1973},
  pages     = {183--193},
  year      = {1973},
  crossref  = {DBLP:conf/popl/1973},
  url       = {http://doi.acm.org/10.1145/512927.512944},
  doi       = {10.1145/512927.512944},
  timestamp = {Mon, 21 May 2012 16:19:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/Maggiolo-SchettiniRS73},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC5,
  editor    = {Alfred V. Aho and
               Allan Borodin and
               Robert L. Constable and
               Robert W. Floyd and
               Michael A. Harrison and
               Richard M. Karp and
               H. Raymond Strong},
  title     = {Proceedings of the 5th Annual {ACM} Symposium on Theory of Computing,
               April 30 - May 2, 1973, Austin, Texas, {USA}},
  publisher = {{ACM}},
  year      = {1973},
  timestamp = {Mon, 17 Oct 2011 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/STOC5},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/WalkerS72,
  author    = {S. A. Walker and
               H. Raymond Strong},
  title     = {Characterization of Flowchartable Recursions (Short Version)},
  booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing,
               May 1-3, 1972, Denver, Colorado, {USA}},
  pages     = {18--34},
  year      = {1972},
  crossref  = {DBLP:conf/stoc/STOC4},
  url       = {http://doi.acm.org/10.1145/800152.804893},
  doi       = {10.1145/800152.804893},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/WalkerS72},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Strong71,
  author    = {H. Raymond Strong},
  title     = {High Level Languages of Maximum Power},
  booktitle = {12th Annual Symposium on Switching and Automata Theory, East Lansing,
               Michigan, USA, October 13-15, 1971},
  pages     = {1--4},
  year      = {1971},
  crossref  = {DBLP:conf/focs/FOCS12},
  url       = {https://doi.org/10.1109/SWAT.1971.15},
  doi       = {10.1109/SWAT.1971.15},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/focs/Strong71},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Strong70,
  author    = {H. Raymond Strong},
  title     = {Depth-Bounded Computation},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {4},
  number    = {1},
  pages     = {1--14},
  year      = {1970},
  url       = {https://doi.org/10.1016/S0022-0000(70)80008-3},
  doi       = {10.1016/S0022-0000(70)80008-3},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jcss/Strong70},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Strong70,
  author    = {H. Raymond Strong},
  title     = {Construction of Models for Algebraically Generalized Recursive Function
               Theory},
  journal   = {J. Symb. Log.},
  volume    = {35},
  number    = {3},
  pages     = {401--409},
  year      = {1970},
  url       = {https://doi.org/10.2307/2270697},
  doi       = {10.2307/2270697},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jsyml/Strong70},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/podc/1996,
  editor    = {James E. Burns and
               Yoram Moses},
  title     = {Proceedings of the Fifteenth Annual {ACM} Symposium on Principles
               of Distributed Computing, Philadelphia, Pennsylvania, USA, May 23-26,
               1996},
  publisher = {{ACM}},
  year      = {1996},
  url       = {http://dl.acm.org/citation.cfm?id=248052},
  isbn      = {0-89791-800-2},
  timestamp = {Wed, 23 May 2012 14:26:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/podc/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wdag/1996,
  editor    = {{\"{O}}zalp Babaoglu and
               Keith Marzullo},
  title     = {Distributed Algorithms, 10th International Workshop, {WDAG} '96, Bologna,
               Italy, October 9-11, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1151},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61769-8},
  doi       = {10.1007/3-540-61769-8},
  isbn      = {3-540-61769-8},
  timestamp = {Mon, 22 May 2017 16:14:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wdag/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ipps/1995,
  title     = {Proceedings of {IPPS} '95, The 9th International Parallel Processing
               Symposium, April 25-28, 1995, Santa Barbara, California, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {1995},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=3156},
  isbn      = {0-8186-7074-6},
  timestamp = {Fri, 01 Aug 2014 14:26:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipps/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/podc/1995,
  editor    = {James H. Anderson},
  title     = {Proceedings of the Fourteenth Annual {ACM} Symposium on Principles
               of Distributed Computing, Ottawa, Ontario, Canada, August 20-23, 1995},
  publisher = {{ACM}},
  year      = {1995},
  url       = {http://dl.acm.org/citation.cfm?id=224964},
  isbn      = {0-89791-710-3},
  timestamp = {Wed, 23 May 2012 14:26:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/podc/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/podc/1994,
  editor    = {James H. Anderson and
               David Peleg and
               Elizabeth Borowsky},
  title     = {Proceedings of the Thirteenth Annual {ACM} Symposium on Principles
               of Distributed Computing, Los Angeles, California, USA, August 14-17,
               1994},
  publisher = {{ACM}},
  year      = {1994},
  url       = {http://dl.acm.org/citation.cfm?id=197917},
  isbn      = {0-89791-654-9},
  timestamp = {Wed, 23 May 2012 14:26:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/podc/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wdag/1992,
  editor    = {Adrian Segall and
               Shmuel Zaks},
  title     = {Distributed Algorithms, 6th International Workshop, {WDAG} '92, Haifa,
               Israel, November 2-4, 1992, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {647},
  publisher = {Springer},
  year      = {1992},
  url       = {https://doi.org/10.1007/3-540-56188-9},
  doi       = {10.1007/3-540-56188-9},
  isbn      = {3-540-56188-9},
  timestamp = {Sat, 20 May 2017 15:32:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wdag/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/podc/1990,
  editor    = {Cynthia Dwork},
  title     = {Proceedings of the Ninth Annual {ACM} Symposium on Principles of Distributed
               Computing, Quebec City, Quebec, Canada, August 22-24, 1990},
  publisher = {{ACM}},
  year      = {1990},
  url       = {http://dl.acm.org/citation.cfm?id=93385},
  isbn      = {0-89791-404-X},
  timestamp = {Wed, 23 May 2012 14:26:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/podc/1990},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rtss/1990,
  title     = {Proceedings of the Real-Time Systems Symposium - 1990, Lake Buena
               Vista, Florida, USA, December 1990},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=323},
  isbn      = {0-8186-2112-5},
  timestamp = {Tue, 20 Jan 2015 18:18:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rtss/1990},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/1988,
  editor    = {Friedrich H. Vogt},
  title     = {Concurrency 88: International Conference on Concurrency, Hamburg,
               FRG, October 18-19, 1988, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {335},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/3-540-50403-6},
  doi       = {10.1007/3-540-50403-6},
  isbn      = {3-540-50403-6},
  timestamp = {Fri, 19 May 2017 13:10:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/1988},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/podc/1988,
  editor    = {Danny Dolev},
  title     = {Proceedings of the Seventh Annual {ACM} Symposium on Principles of
               Distributed Computing, Toronto, Ontario, Canada, August 15-17, 1988},
  publisher = {{ACM}},
  year      = {1988},
  url       = {http://dl.acm.org/citation.cfm?id=62546},
  isbn      = {0-89791-277-2},
  timestamp = {Wed, 23 May 2012 14:26:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/podc/1988},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdcs/1987,
  title     = {Proceedings of the 7th International Conference on Distributed Computing
               Systems, Berlin, Germany, September 1987},
  publisher = {{IEEE} Computer Society},
  year      = {1987},
  timestamp = {Wed, 27 Nov 2013 16:54:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icdcs/1987},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/podc/1987,
  editor    = {Fred B. Schneider},
  title     = {Proceedings of the Sixth Annual {ACM} Symposium on Principles of Distributed
               Computing, Vancouver, British Columbia, Canada, August 10-12, 1987},
  publisher = {{ACM}},
  year      = {1987},
  url       = {http://dl.acm.org/citation.cfm?id=41840},
  isbn      = {0-89791-239-X},
  timestamp = {Tue, 19 Nov 2013 18:10:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/podc/1987},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftdc/1986,
  editor    = {Barbara B. Simons and
               Alfred Z. Spector},
  title     = {Fault-Tolerant Distributed Computing [Asilomar Workshop 1986]},
  series    = {Lecture Notes in Computer Science},
  volume    = {448},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/BFb0042320},
  doi       = {10.1007/BFb0042320},
  isbn      = {3-540-97385-0},
  timestamp = {Fri, 19 May 2017 13:10:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftdc/1986},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icc/1986,
  title     = {{IEEE} International Conference on Communications: Integrating the
               World Through Communications, {ICC} 1986, Toronto, Canada, June 22-25,
               1986, Proceedings},
  publisher = {{IEEE}},
  year      = {1986},
  timestamp = {Tue, 31 Jul 2018 11:36:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icc/1986},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/srds/1986,
  title     = {Fifth Symposium on Reliability in Distributed Software and Database
               Systems, {SRDS} 1986, Los Angeles, California, USA, January 13-15,
               1986, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {1986},
  isbn      = {0-8186-0690-8},
  timestamp = {Fri, 09 Jan 2015 14:54:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/srds/1986},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/podc/1984,
  editor    = {Tiko Kameda and
               Jayadev Misra and
               Joseph G. Peters and
               Nicola Santoro},
  title     = {Proceedings of the Third Annual {ACM} Symposium on Principles of Distributed
               Computing, Vancouver, B. C., Canada, August 27-29, 1984},
  publisher = {{ACM}},
  year      = {1984},
  url       = {http://dl.acm.org/citation.cfm?id=800222},
  isbn      = {0-89791-143-1},
  timestamp = {Fri, 10 Aug 2012 19:01:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/podc/1984},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC16,
  editor    = {Richard A. DeMillo},
  title     = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
               April 30 - May 2, 1984, Washington, DC, {USA}},
  publisher = {{ACM}},
  year      = {1984},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/STOC16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/podc/1983,
  editor    = {Robert L. Probert and
               Nancy A. Lynch and
               Nicola Santoro},
  title     = {Proceedings of the Second Annual {ACM} {SIGACT-SIGOPS} Symposium on
               Principles of Distributed Computing, Montreal, Quebec, Canada, August
               17-19, 1983},
  publisher = {{ACM}},
  year      = {1983},
  url       = {http://dl.acm.org/citation.cfm?id=800221},
  isbn      = {0-89791-110-5},
  timestamp = {Wed, 23 May 2012 14:26:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/podc/1983},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS23,
  title     = {23rd Annual Symposium on Foundations of Computer Science, Chicago,
               Illinois, USA, 3-5 November 1982},
  publisher = {{IEEE} Computer Society},
  year      = {1982},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4568363},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/focs/FOCS23},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC14,
  editor    = {Harry R. Lewis and
               Barbara B. Simons and
               Walter A. Burkhard and
               Lawrence H. Landweber},
  title     = {Proceedings of the 14th Annual {ACM} Symposium on Theory of Computing,
               May 5-7, 1982, San Francisco, California, {USA}},
  publisher = {{ACM}},
  year      = {1982},
  url       = {http://doi.acm.org/10.1145/800070},
  doi       = {10.1145/800070},
  isbn      = {0-89791-067-2},
  timestamp = {Sun, 21 May 2017 00:22:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/STOC14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC12,
  editor    = {Raymond E. Miller and
               Seymour Ginsburg and
               Walter A. Burkhard and
               Richard J. Lipton},
  title     = {Proceedings of the 12th Annual {ACM} Symposium on Theory of Computing,
               April 28-30, 1980, Los Angeles, California, {USA}},
  publisher = {{ACM}},
  year      = {1980},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/STOC12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/1973,
  editor    = {Patrick C. Fischer and
               Jeffrey D. Ullman},
  title     = {Conference Record of the {ACM} Symposium on Principles of Programming
               Languages, Boston, Massachusetts, USA, October 1973},
  publisher = {{ACM} Press},
  year      = {1973},
  url       = {http://dl.acm.org/citation.cfm?id=512927},
  timestamp = {Mon, 21 May 2012 16:19:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/1973},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC4,
  editor    = {Patrick C. Fischer and
               H. Paul Zeiger and
               Jeffrey D. Ullman and
               Arnold L. Rosenberg},
  title     = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing,
               May 1-3, 1972, Denver, Colorado, {USA}},
  publisher = {{ACM}},
  year      = {1972},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stoc/STOC4},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS12,
  title     = {12th Annual Symposium on Switching and Automata Theory, East Lansing,
               Michigan, USA, October 13-15, 1971},
  publisher = {{IEEE} Computer Society},
  year      = {1971},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4569653},
  timestamp = {Mon, 15 Dec 2014 18:48:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/focs/FOCS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier