BibTeX records: Gil Neiger

download as .bib file

@article{DBLP:journals/pacmpl/RaadWNV20,
  author       = {Azalea Raad and
                  John Wickerson and
                  Gil Neiger and
                  Viktor Vafeiadis},
  title        = {Persistency semantics of the Intel-x86 architecture},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {4},
  number       = {{POPL}},
  pages        = {11:1--11:31},
  year         = {2020},
  url          = {https://doi.org/10.1145/3371079},
  doi          = {10.1145/3371079},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/RaadWNV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/UhligNRSMABKLS05,
  author       = {Richard Uhlig and
                  Gil Neiger and
                  Dion Rodgers and
                  Amy L. Santoni and
                  Fernando C. M. Martins and
                  Andrew V. Anderson and
                  Steven M. Bennett and
                  Alain K{\"{a}}gi and
                  Felix H. Leung and
                  Larry Smith},
  title        = {Intel Virtualization Technology},
  journal      = {Computer},
  volume       = {38},
  number       = {5},
  pages        = {48--56},
  year         = {2005},
  url          = {https://doi.org/10.1109/MC.2005.163},
  doi          = {10.1109/MC.2005.163},
  timestamp    = {Tue, 24 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/UhligNRSMABKLS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/AnceaumeFMNR04,
  author       = {Emmanuelle Anceaume and
                  Antonio Fern{\'{a}}ndez and
                  Achour Most{\'{e}}faoui and
                  Gil Neiger and
                  Michel Raynal},
  title        = {A necessary and sufficient condition for transforming limited accuracy
                  failure detectors},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {68},
  number       = {1},
  pages        = {123--133},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.jcss.2003.08.003},
  doi          = {10.1016/J.JCSS.2003.08.003},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/AnceaumeFMNR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BazziN01,
  author       = {Rida A. Bazzi and
                  Gil Neiger},
  title        = {Simplifying fault-tolerance: providing the abstraction of crash failures},
  journal      = {J. {ACM}},
  volume       = {48},
  number       = {3},
  pages        = {499--554},
  year         = {2001},
  url          = {https://doi.org/10.1145/382780.382784},
  doi          = {10.1145/382780.382784},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/BazziN01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/podc/2000,
  editor       = {Gil Neiger},
  title        = {Proceedings of the Nineteenth Annual {ACM} Symposium on Principles
                  of Distributed Computing, July 16-19, 2000, Portland, Oregon, {USA}},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {http://dl.acm.org/citation.cfm?id=343477},
  isbn         = {1-58113-183-6},
  timestamp    = {Tue, 10 Nov 2015 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/2000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NeigerB99,
  author       = {Gil Neiger and
                  Rida A. Bazzi},
  title        = {Using Knowledge to Optimally Achieve Coordination in Distributed Systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {220},
  number       = {1},
  pages        = {31--65},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(98)00236-9},
  doi          = {10.1016/S0304-3975(98)00236-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/NeigerB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/YangNG98,
  author       = {Jiong Yang and
                  Gil Neiger and
                  Eli Gafni},
  editor       = {Brian A. Coan and
                  Yehuda Afek},
  title        = {Structured Derivations of Consensus Algorithms for Failure Detectors},
  booktitle    = {Proceedings of the Seventeenth Annual {ACM} Symposium on Principles
                  of Distributed Computing, {PODC} '98, Puerto Vallarta, Mexico, June
                  28 - July 2, 1998},
  pages        = {297--306},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/277697.277755},
  doi          = {10.1145/277697.277755},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/YangNG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/BazziN97,
  author       = {Rida A. Bazzi and
                  Gil Neiger},
  title        = {The Complexity of Almost-Optimal Simultaneous Coordination},
  journal      = {Algorithmica},
  volume       = {17},
  number       = {3},
  pages        = {308--321},
  year         = {1997},
  url          = {https://doi.org/10.1007/BF02523194},
  doi          = {10.1007/BF02523194},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/algorithmica/BazziN97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/BazziNP97,
  author       = {Rida A. Bazzi and
                  Gil Neiger and
                  Gary L. Peterson},
  title        = {On the Use of Registers in Achieving Wait-Free Consensus},
  journal      = {Distributed Comput.},
  volume       = {10},
  number       = {3},
  pages        = {117--127},
  year         = {1997},
  url          = {https://doi.org/10.1007/s004460050029},
  doi          = {10.1007/S004460050029},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/BazziNP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Neiger96,
  author       = {Gil Neiger},
  editor       = {James E. Burns and
                  Yoram Moses},
  title        = {A New Look at Membership Services (Extended Abstract)},
  booktitle    = {Proceedings of the Fifteenth Annual {ACM} Symposium on Principles
                  of Distributed Computing, Philadelphia, Pennsylvania, USA, May 23-26,
                  1996},
  pages        = {331--340},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/248052.248121},
  doi          = {10.1145/248052.248121},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/Neiger96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/AhamadNBKH95,
  author       = {Mustaque Ahamad and
                  Gil Neiger and
                  James E. Burns and
                  Prince Kohli and
                  Phillip W. Hutto},
  title        = {Causal Memory: Definitions, Implementation, and Programming},
  journal      = {Distributed Comput.},
  volume       = {9},
  number       = {1},
  pages        = {37--49},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01784241},
  doi          = {10.1007/BF01784241},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/AhamadNBKH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Neiger95,
  author       = {Gil Neiger},
  title        = {Simplifying the Design of Knowledge-Based Algorithms Using Knowledge
                  Consistency},
  journal      = {Inf. Comput.},
  volume       = {119},
  number       = {2},
  pages        = {283--293},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1091},
  doi          = {10.1006/INCO.1995.1091},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Neiger95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Neiger95,
  author       = {Gil Neiger},
  editor       = {James H. Anderson},
  title        = {Failure Detectors and the Wait-Free Hierarchy},
  booktitle    = {Proceedings of the Fourteenth Annual {ACM} Symposium on Principles
                  of Distributed Computing, Ottawa, Ontario, Canada, August 20-23, 1995},
  pages        = {100--109},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/224964.224976},
  doi          = {10.1145/224964.224976},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/Neiger95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/BurnsN94,
  author       = {James E. Burns and
                  Gil Neiger},
  title        = {Fast and Simple Distributed Consensus},
  journal      = {Distributed Comput.},
  volume       = {8},
  number       = {2},
  pages        = {59--64},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF02280828},
  doi          = {10.1007/BF02280828},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/BurnsN94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Neiger94,
  author       = {Gil Neiger},
  title        = {Distributed Consensus Revisited},
  journal      = {Inf. Process. Lett.},
  volume       = {49},
  number       = {4},
  pages        = {195--201},
  year         = {1994},
  url          = {https://doi.org/10.1016/0020-0190(94)90011-6},
  doi          = {10.1016/0020-0190(94)90011-6},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/Neiger94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Neiger94,
  author       = {Gil Neiger},
  editor       = {James H. Anderson and
                  David Peleg and
                  Elizabeth Borowsky},
  title        = {Set-Linearizability},
  booktitle    = {Proceedings of the Thirteenth Annual {ACM} Symposium on Principles
                  of Distributed Computing, Los Angeles, California, USA, August 14-17,
                  1994},
  pages        = {396},
  publisher    = {{ACM}},
  year         = {1994},
  url          = {https://doi.org/10.1145/197917.198176},
  doi          = {10.1145/197917.198176},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/Neiger94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/AhamadJKN94,
  author       = {Mustaque Ahamad and
                  Ranjit John and
                  Prince Kohli and
                  Gil Neiger},
  editor       = {J{\"{u}}rgen Nehmer and
                  Marc Shapiro},
  title        = {Causal Memory Meets the Consistency and Performance Needs of Distributed
                  Applications},
  booktitle    = {6th {ACM} {SIGOPS} European Workshop: Matching Operating Systems to
                  Application Needs, Dagstuhl Castle, Germany, September 12-14, 1994},
  pages        = {45--50},
  publisher    = {{ACM}},
  year         = {1994},
  url          = {https://doi.org/10.1145/504390.504403},
  doi          = {10.1145/504390.504403},
  timestamp    = {Tue, 06 Nov 2018 11:07:25 +0100},
  biburl       = {https://dblp.org/rec/conf/sigopsE/AhamadJKN94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/NeigerT93,
  author       = {Gil Neiger and
                  Mark R. Tuttle},
  title        = {Common Knowledge and Consistent Simultaneous Coordination},
  journal      = {Distributed Comput.},
  volume       = {6},
  number       = {3},
  pages        = {181--192},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF02242706},
  doi          = {10.1007/BF02242706},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/NeigerT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/NeigerT93,
  author       = {Gil Neiger and
                  Sam Toueg},
  title        = {Simulating Synchronized Clocks and Common Knowledge in Distributed
                  Systems},
  journal      = {J. {ACM}},
  volume       = {40},
  number       = {2},
  pages        = {334--367},
  year         = {1993},
  url          = {https://doi.org/10.1145/151261.151267},
  doi          = {10.1145/151261.151267},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/NeigerT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/KohliNA93,
  author       = {Prince Kohli and
                  Gil Neiger and
                  Mustaque Ahamad},
  editor       = {C. Y. Roger Chen and
                  P. Bruce Berra},
  title        = {A Characterization of Scalable Shared Memories},
  booktitle    = {Proceedings of the 1993 International Conference on Parallel Processing,
                  Syracuse University, NY, USA, August 16-20, 1993. Volume {I:} Architecture},
  pages        = {332--335},
  publisher    = {{CRC} Press},
  year         = {1993},
  url          = {https://doi.org/10.1109/ICPP.1993.15},
  doi          = {10.1109/ICPP.1993.15},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpp/KohliNA93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/AhamadBJKN93,
  author       = {Mustaque Ahamad and
                  Rida A. Bazzi and
                  Ranjit John and
                  Prince Kohli and
                  Gil Neiger},
  editor       = {Lawrence Snyder},
  title        = {The Power of Processor Consistency},
  booktitle    = {Proceedings of the 5th Annual {ACM} Symposium on Parallel Algorithms
                  and Architectures, {SPAA} '93, Velen, Germany, June 30 - July 2, 1993},
  pages        = {251--260},
  publisher    = {{ACM}},
  year         = {1993},
  url          = {https://doi.org/10.1145/165231.165264},
  doi          = {10.1145/165231.165264},
  timestamp    = {Wed, 21 Nov 2018 12:27:44 +0100},
  biburl       = {https://dblp.org/rec/conf/spaa/AhamadBJKN93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BazziN92,
  author       = {Rida A. Bazzi and
                  Gil Neiger},
  editor       = {Norman C. Hutchinson},
  title        = {The Possibility and the Complexity of Achieving Fault-Tolerant Coordination},
  booktitle    = {Proceedings of the Eleventh Annual {ACM} Symposium on Principles of
                  Distributed Computing, Vancouver, British Columbia, Canada, August
                  10-12, 1992},
  pages        = {203--214},
  publisher    = {{ACM}},
  year         = {1992},
  url          = {https://doi.org/10.1145/135419.135460},
  doi          = {10.1145/135419.135460},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/BazziN92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/NeigerB92,
  author       = {Gil Neiger and
                  Rida A. Bazzi},
  editor       = {Yoram Moses},
  title        = {Using Knowledge to Optimally Achieve Coordination in Distributed Systems},
  booktitle    = {Proceedings of the 4th Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Monterey, CA, USA, March 1992},
  pages        = {43--59},
  publisher    = {Morgan Kaufmann},
  year         = {1992},
  timestamp    = {Thu, 21 Jun 2018 07:51:09 +0200},
  biburl       = {https://dblp.org/rec/conf/tark/NeigerB92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/BazziN92,
  author       = {Rida A. Bazzi and
                  Gil Neiger},
  editor       = {Adrian Segall and
                  Shmuel Zaks},
  title        = {Simulating Crash Failures with Many Faulty Processors (Extended Abstract)},
  booktitle    = {Distributed Algorithms, 6th International Workshop, {WDAG} '92, Haifa,
                  Israel, November 2-4, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {647},
  pages        = {166--184},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-56188-9\_12},
  doi          = {10.1007/3-540-56188-9\_12},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/BazziN92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/AhamadBHN91,
  author       = {Mustaque Ahamad and
                  James E. Burns and
                  Phillip W. Hutto and
                  Gil Neiger},
  editor       = {Sam Toueg and
                  Paul G. Spirakis and
                  Lefteris M. Kirousis},
  title        = {Causal Memory},
  booktitle    = {Distributed Algorithms, 5th International Workshop, {WDAG} '91, Delphi,
                  Greece, October 7-9, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {579},
  pages        = {9--30},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0022435},
  doi          = {10.1007/BFB0022435},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/AhamadBHN91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/BazziN91,
  author       = {Rida A. Bazzi and
                  Gil Neiger},
  editor       = {Sam Toueg and
                  Paul G. Spirakis and
                  Lefteris M. Kirousis},
  title        = {Optimally Simulating Crash Failures in a Byzantine Environment},
  booktitle    = {Distributed Algorithms, 5th International Workshop, {WDAG} '91, Delphi,
                  Greece, October 7-9, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {579},
  pages        = {108--128},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0022441},
  doi          = {10.1007/BFB0022441},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/BazziN91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/MarzulloN91,
  author       = {Keith Marzullo and
                  Gil Neiger},
  editor       = {Sam Toueg and
                  Paul G. Spirakis and
                  Lefteris M. Kirousis},
  title        = {Detection of Global State Predicates},
  booktitle    = {Distributed Algorithms, 5th International Workshop, {WDAG} '91, Delphi,
                  Greece, October 7-9, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {579},
  pages        = {254--272},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0022452},
  doi          = {10.1007/BFB0022452},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/MarzulloN91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/NeigerT90,
  author       = {Gil Neiger and
                  Sam Toueg},
  title        = {Automatically Increasing the Fault-Tolerance of Distributed Algorithms},
  journal      = {J. Algorithms},
  volume       = {11},
  number       = {3},
  pages        = {374--419},
  year         = {1990},
  url          = {https://doi.org/10.1016/0196-6774(90)90019-B},
  doi          = {10.1016/0196-6774(90)90019-B},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jal/NeigerT90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/NeigerT90,
  author       = {Gil Neiger and
                  Mark R. Tuttle},
  editor       = {Jan van Leeuwen and
                  Nicola Santoro},
  title        = {Common Knowledge and Consistent Simultaneous Coordination},
  booktitle    = {Distributed Algorithms, 4th International Workshop, {WDAG} '90, Bari,
                  Italy, September 24-26, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {486},
  pages        = {334--352},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-54099-7\_23},
  doi          = {10.1007/3-540-54099-7\_23},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/NeigerT90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/NeigerT88,
  author       = {Gil Neiger and
                  Sam Toueg},
  editor       = {Danny Dolev},
  title        = {Automatically Increasing the Fault-Tolerance of Distributed Systems},
  booktitle    = {Proceedings of the Seventh Annual {ACM} Symposium on Principles of
                  Distributed Computing, Toronto, Ontario, Canada, August 15-17, 1988},
  pages        = {248--262},
  publisher    = {{ACM}},
  year         = {1988},
  url          = {https://doi.org/10.1145/62546.62588},
  doi          = {10.1145/62546.62588},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/NeigerT88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/Neiger88,
  author       = {Gil Neiger},
  editor       = {Moshe Y. Vardi},
  title        = {Knowledge Consistency: {A} Useful Suspension of Disbelief},
  booktitle    = {Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning
                  about Knowledge, Pacific Grove, CA, USA, March 1988},
  pages        = {295--308},
  publisher    = {Morgan Kaufmann},
  year         = {1988},
  timestamp    = {Thu, 21 Jun 2018 07:50:39 +0200},
  biburl       = {https://dblp.org/rec/conf/tark/Neiger88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/NeigerT87,
  author       = {Gil Neiger and
                  Sam Toueg},
  editor       = {Fred B. Schneider},
  title        = {Substituting for Real Time and Common Knowledge in Asynchronous Distributed
                  Systems},
  booktitle    = {Proceedings of the Sixth Annual {ACM} Symposium on Principles of Distributed
                  Computing, Vancouver, British Columbia, Canada, August 10-12, 1987},
  pages        = {281--293},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/41840.41864},
  doi          = {10.1145/41840.41864},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/NeigerT87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics