Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Leslie Lamport
@article{DBLP:journals/cacm/Lamport22,
author = {Leslie Lamport},
title = {Deconstructing the bakery to build a distributed state machine},
journal = {Commun. {ACM}},
volume = {65},
number = {9},
pages = {58--66},
year = {2022},
url = {https://doi.org/10.1145/3513259},
doi = {10.1145/3513259},
timestamp = {Wed, 31 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/Lamport22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LamportM22,
author = {Leslie Lamport and
Stephan Merz},
title = {Prophecy Made Simple},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {44},
number = {2},
pages = {6:1--6:27},
year = {2022},
url = {https://doi.org/10.1145/3492545},
doi = {10.1145/3492545},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/LamportM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Lamport22,
author = {Leslie Lamport},
editor = {Krzysztof R. Apt and
Tony Hoare},
title = {Concurrent Algorithms},
booktitle = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
series = {{ACM} Books},
volume = {45},
pages = {47--80},
publisher = {{ACM} / Morgan {\&} Claypool},
year = {2022},
url = {https://doi.org/10.1145/3544585.3544591},
doi = {10.1145/3544585.3544591},
timestamp = {Tue, 29 Aug 2023 07:46:41 +0200},
biburl = {https://dblp.org/rec/books/mc/22/Lamport22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/DijkstraLMSS22,
author = {Edsger W. Dijkstra and
Leslie Lamport and
Alain J. Martin and
Carel S. Scholten and
Elisabeth F. M. Steffens},
editor = {Krzysztof R. Apt and
Tony Hoare},
title = {On-the-Fly Garbage Collection: An Exercise in Cooperation},
booktitle = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
series = {{ACM} Books},
volume = {45},
pages = {339--358},
publisher = {{ACM} / Morgan {\&} Claypool},
year = {2022},
url = {https://doi.org/10.1145/3544585.3544607},
doi = {10.1145/3544585.3544607},
timestamp = {Fri, 15 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/mc/22/DijkstraLMSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-04779,
author = {Jonas Bayer and
Christoph Benzm{\"{u}}ller and
Kevin Buzzard and
Marco David and
Leslie Lamport and
Yuri V. Matiyasevich and
Lawrence C. Paulson and
Dierk Schleicher and
Benedikt Stock and
Efim I. Zelmanov},
title = {Mathematical Proof Between Generations},
journal = {CoRR},
volume = {abs/2207.04779},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.04779},
doi = {10.48550/ARXIV.2207.04779},
eprinttype = {arXiv},
eprint = {2207.04779},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-04779.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/LamportS21,
author = {Leslie Lamport and
Fred B. Schneider},
title = {Verifying Hyperproperties With {TLA}},
booktitle = {34th {IEEE} Computer Security Foundations Symposium, {CSF} 2021, Dubrovnik,
Croatia, June 21-25, 2021},
pages = {1--16},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CSF51468.2021.00012},
doi = {10.1109/CSF51468.2021.00012},
timestamp = {Fri, 13 Aug 2021 09:20:41 +0200},
biburl = {https://dblp.org/rec/conf/csfw/LamportS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1912-10633,
author = {Markus Alexander Kuppe and
Leslie Lamport and
Daniel Ricketts},
editor = {Rosemary Monahan and
Virgile Prevosto and
Jos{\'{e}} Proen{\c{c}}a},
title = {The {TLA+} Toolbox},
booktitle = {Proceedings Fifth Workshop on Formal Integrated Development Environment,
F-IDE@FM 2019, Porto, Portugal, 7th October 2019},
series = {{EPTCS}},
volume = {310},
pages = {50--62},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.310.6},
doi = {10.4204/EPTCS.310.6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-10633.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/19/Lamport19,
author = {Leslie Lamport},
editor = {Dahlia Malkhi},
title = {The computer science of concurrency: the early years},
booktitle = {Concurrency: the Works of Leslie Lamport},
pages = {13--26},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3335772.3335775},
doi = {10.1145/3335772.3335775},
timestamp = {Tue, 07 Apr 2020 17:11:02 +0200},
biburl = {https://dblp.org/rec/books/acm/19/Lamport19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/19/Lamport19a,
author = {Leslie Lamport},
editor = {Dahlia Malkhi},
title = {A new solution of Dijkstra's concurrent programming problem},
booktitle = {Concurrency: the Works of Leslie Lamport},
pages = {171--178},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3335772.3335782},
doi = {10.1145/3335772.3335782},
timestamp = {Tue, 07 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/acm/19/Lamport19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/19/Lamport19b,
author = {Leslie Lamport},
editor = {Dahlia Malkhi},
title = {Time, clocks, and the ordering of events in a distributed system},
booktitle = {Concurrency: the Works of Leslie Lamport},
pages = {179--196},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3335772.3335934},
doi = {10.1145/3335772.3335934},
timestamp = {Tue, 07 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/acm/19/Lamport19b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/19/Lamport19c,
author = {Leslie Lamport},
editor = {Dahlia Malkhi},
title = {How to make a multiprocessor computer that correctly executes multiprocess
programs},
booktitle = {Concurrency: the Works of Leslie Lamport},
pages = {197--201},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3335772.3335935},
doi = {10.1145/3335772.3335935},
timestamp = {Tue, 07 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/acm/19/Lamport19c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/19/LamportSP19,
author = {Leslie Lamport and
Robert E. Shostak and
Marshall C. Pease},
editor = {Dahlia Malkhi},
title = {The Byzantine generals problem},
booktitle = {Concurrency: the Works of Leslie Lamport},
pages = {203--226},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3335772.3335936},
doi = {10.1145/3335772.3335936},
timestamp = {Tue, 07 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/acm/19/LamportSP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/19/Lamport19d,
author = {Leslie Lamport},
editor = {Dahlia Malkhi},
title = {The mutual exclusion problem: part {I} - {A} theory of interprocess
communication},
booktitle = {Concurrency: the Works of Leslie Lamport},
pages = {227--245},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3335772.3335937},
doi = {10.1145/3335772.3335937},
timestamp = {Tue, 07 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/acm/19/Lamport19d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/19/Lamport19e,
author = {Leslie Lamport},
editor = {Dahlia Malkhi},
title = {The mutual exclusion problem: part {II} - Statement and solutions},
booktitle = {Concurrency: the Works of Leslie Lamport},
pages = {247--276},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3335772.3335938},
doi = {10.1145/3335772.3335938},
timestamp = {Tue, 07 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/acm/19/Lamport19e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/19/Lamport19f,
author = {Leslie Lamport},
editor = {Dahlia Malkhi},
title = {The part-time parliament},
booktitle = {Concurrency: the Works of Leslie Lamport},
pages = {277--317},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3335772.3335939},
doi = {10.1145/3335772.3335939},
timestamp = {Tue, 07 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/acm/19/Lamport19f.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/LamportHS18,
author = {Leslie Lamport},
title = {If You're Not Writing a Program, Don't Use a Programming Language},
journal = {Bull. {EATCS}},
volume = {125},
year = {2018},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/539},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/LamportHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LamportM17,
author = {Leslie Lamport and
Stephan Merz},
title = {Auxiliary Variables in {TLA+}},
journal = {CoRR},
volume = {abs/1703.05121},
year = {2017},
url = {http://arxiv.org/abs/1703.05121},
eprinttype = {arXiv},
eprint = {1703.05121},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LamportM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LamportP17,
author = {Leslie Lamport and
Richard Palais},
title = {On the Glitch Phenomenon},
journal = {CoRR},
volume = {abs/1704.01154},
year = {2017},
url = {http://arxiv.org/abs/1704.01154},
eprinttype = {arXiv},
eprint = {1704.01154},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LamportP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Lamport15,
author = {Leslie Lamport},
title = {Who builds a house without drawing blueprints?},
journal = {Commun. {ACM}},
volume = {58},
number = {4},
pages = {38--41},
year = {2015},
url = {https://doi.org/10.1145/2736348},
doi = {10.1145/2736348},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Lamport15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Lamport15a,
author = {Leslie Lamport},
title = {Turing lecture: The computer science of concurrency: the early years},
journal = {Commun. {ACM}},
volume = {58},
number = {6},
pages = {71--76},
year = {2015},
url = {https://doi.org/10.1145/2771951},
doi = {10.1145/2771951},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Lamport15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/DoligezKLLM14,
author = {Damien Doligez and
Jael Kriener and
Leslie Lamport and
Tomer Libal and
Stephan Merz},
editor = {Christoph Benzm{\"{u}}ller and
Jens Otten},
title = {Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal
Logics},
booktitle = {Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR
2014, Vienna, Austria, July 23, 2014},
series = {EPiC Series in Computing},
volume = {33},
pages = {1--16},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/cpbz},
doi = {10.29007/CPBZ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/DoligezKLLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Lamport13,
author = {Leslie Lamport},
editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
Shlomi Dolev},
title = {An incomplete history of concurrency chapter 1. 1965-1977},
booktitle = {{ACM} Symposium on Principles of Distributed Computing, {PODC} '14,
Paris, France, July 15-18, 2014},
pages = {291},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2611462.2611514},
doi = {10.1145/2611462.2611514},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/Lamport13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DoligezKLLM14,
author = {Damien Doligez and
Jael Kriener and
Leslie Lamport and
Tomer Libal and
Stephan Merz},
title = {Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal
Logics},
journal = {CoRR},
volume = {abs/1409.3819},
year = {2014},
url = {http://arxiv.org/abs/1409.3819},
eprinttype = {arXiv},
eprint = {1409.3819},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DoligezKLLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/Delporte-GalletFGL13,
author = {Carole Delporte{-}Gallet and
Hugues Fauconnier and
Eli Gafni and
Leslie Lamport},
editor = {Yehuda Afek},
title = {Adaptive Register Allocation with a Linear Number of Registers},
booktitle = {Distributed Computing - 27th International Symposium, {DISC} 2013,
Jerusalem, Israel, October 14-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8205},
pages = {269--283},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41527-2\_19},
doi = {10.1007/978-3-642-41527-2\_19},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/Delporte-GalletFGL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/CousineauDLMRV12,
author = {Denis Cousineau and
Damien Doligez and
Leslie Lamport and
Stephan Merz and
Daniel Ricketts and
Hern{\'{a}}n Vanzetto},
editor = {Dimitra Giannakopoulou and
Dominique M{\'{e}}ry},
title = {{TLA} + Proofs},
booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
August 27-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7436},
pages = {147--154},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32759-9\_14},
doi = {10.1007/978-3-642-32759-9\_14},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/CousineauDLMRV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-5933,
author = {Denis Cousineau and
Damien Doligez and
Leslie Lamport and
Stephan Merz and
Daniel Ricketts and
Hern{\'{a}}n Vanzetto},
title = {{TLA+} Proofs},
journal = {CoRR},
volume = {abs/1208.5933},
year = {2012},
url = {http://arxiv.org/abs/1208.5933},
eprinttype = {arXiv},
eprint = {1208.5933},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-5933.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/Lamport11,
author = {Leslie Lamport},
title = {Euclid Writes an Algorithm: {A} Fairytale},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {1-2},
pages = {7--20},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i73},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/Lamport11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/Lamport11,
author = {Leslie Lamport},
editor = {David Peleg},
title = {Brief Announcement: Leaderless Byzantine Paxos},
booktitle = {Distributed Computing - 25th International Symposium, {DISC} 2011,
Rome, Italy, September 20-22, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6950},
pages = {141--142},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24100-0\_10},
doi = {10.1007/978-3-642-24100-0\_10},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/Lamport11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/Lamport11a,
author = {Leslie Lamport},
editor = {David Peleg},
title = {Byzantizing Paxos by Refinement},
booktitle = {Distributed Computing - 25th International Symposium, {DISC} 2011,
Rome, Italy, September 20-22, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6950},
pages = {211--224},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24100-0\_22},
doi = {10.1007/978-3-642-24100-0\_22},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/Lamport11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/AguileraGL10,
author = {Marcos Kawazoe Aguilera and
Eli Gafni and
Leslie Lamport},
title = {The mailbox problem},
journal = {Distributed Comput.},
volume = {23},
number = {2},
pages = {113--134},
year = {2010},
url = {https://doi.org/10.1007/s00446-010-0102-8},
doi = {10.1007/S00446-010-0102-8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/AguileraGL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/LamportMZ10,
author = {Leslie Lamport and
Dahlia Malkhi and
Lidong Zhou},
title = {Reconfiguring a state machine},
journal = {{SIGACT} News},
volume = {41},
number = {1},
pages = {63--73},
year = {2010},
url = {https://doi.org/10.1145/1753171.1753191},
doi = {10.1145/1753171.1753191},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/LamportMZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Lamport10,
author = {Leslie Lamport},
editor = {Dennis Dams and
Ulrich Hannemann and
Martin Steffen},
title = {Computer Science and State Machines},
booktitle = {Concurrency, Compositionality, and Correctness, Essays in Honor of
Willem-Paul de Roever},
series = {Lecture Notes in Computer Science},
volume = {5930},
pages = {60--65},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11512-7\_4},
doi = {10.1007/978-3-642-11512-7\_4},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Lamport10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ChaudhuriDLM10,
author = {Kaustuv Chaudhuri and
Damien Doligez and
Leslie Lamport and
Stephan Merz},
editor = {J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle},
title = {Verifying Safety Properties with the {TLA+} Proof System},
booktitle = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010,
Edinburgh, UK, July 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6173},
pages = {142--148},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14203-1\_12},
doi = {10.1007/978-3-642-14203-1\_12},
timestamp = {Wed, 25 Sep 2019 18:19:14 +0200},
biburl = {https://dblp.org/rec/conf/cade/ChaudhuriDLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/ChaudhuriDLM10,
author = {Kaustuv Chaudhuri and
Damien Doligez and
Leslie Lamport and
Stephan Merz},
editor = {Ana Cavalcanti and
David D{\'{e}}harbe and
Marie{-}Claude Gaudel and
Jim Woodcock},
title = {The TLA\({}^{\mbox{+}}\) Proof System: Building a Heterogeneous Verification
Platform},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2010, 7th International
Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6255},
pages = {44},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14808-8\_3},
doi = {10.1007/978-3-642-14808-8\_3},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/ChaudhuriDLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-2560,
author = {Kaustuv Chaudhuri and
Damien Doligez and
Leslie Lamport and
Stephan Merz},
title = {Verifying Safety Properties With the {TLA+} Proof System},
journal = {CoRR},
volume = {abs/1011.2560},
year = {2010},
url = {http://arxiv.org/abs/1011.2560},
eprinttype = {arXiv},
eprint = {1011.2560},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-2560.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Lamport09,
author = {Leslie Lamport},
title = {Teaching concurrency},
journal = {{SIGACT} News},
volume = {40},
number = {1},
pages = {58--62},
year = {2009},
url = {https://doi.org/10.1145/1515698.1515713},
doi = {10.1145/1515698.1515713},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Lamport09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Lamport09,
author = {Leslie Lamport},
editor = {Martin Leucker and
Carroll Morgan},
title = {The PlusCal Algorithm Language},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2009, 6th International
Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5684},
pages = {36--60},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03466-4\_2},
doi = {10.1007/978-3-642-03466-4\_2},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/Lamport09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/Lamport09,
author = {Leslie Lamport},
editor = {Ewen Denney and
Dimitra Giannakopoulou and
Corina S. Pasareanu},
title = {{TLA+:} Whence, Wherefore, and Whither},
booktitle = {First {NASA} Formal Methods Symposium - {NFM} 2009, Moffett Field,
California, USA, April 6-8, 2009},
series = {{NASA} Conference Proceedings},
volume = {{NASA/CP-2009-215407}},
pages = {3},
year = {2009},
timestamp = {Tue, 17 Jul 2012 14:23:04 +0200},
biburl = {https://dblp.org/rec/conf/nfm/Lamport09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/LamportMZ09,
author = {Leslie Lamport and
Dahlia Malkhi and
Lidong Zhou},
editor = {Srikanta Tirthapura and
Lorenzo Alvisi},
title = {Vertical paxos and primary-backup replication},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2009, Calgary, Alberta, Canada, August 10-12, 2009},
pages = {312--313},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1582716.1582783},
doi = {10.1145/1582716.1582783},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/LamportMZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/Lamport08,
author = {Leslie Lamport},
title = {Implementing dataflow with threads},
journal = {Distributed Comput.},
volume = {21},
number = {3},
pages = {163--181},
year = {2008},
url = {https://doi.org/10.1007/s00446-008-0065-1},
doi = {10.1007/S00446-008-0065-1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/Lamport08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/ChaudhuriDLM08,
author = {Kaustuv Chaudhuri and
Damien Doligez and
Leslie Lamport and
Stephan Merz},
editor = {Piotr Rudnicki and
Geoff Sutcliffe and
Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {A {TLA+} Proof System},
booktitle = {Proceedings of the {LPAR} 2008 Workshops, Knowledge Exchange: Automated
Provers and Proof Assistants, and the 7th International Workshop on
the Implementation of Logics, Doha, Qatar, November 22, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {418},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-418/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/lpar/ChaudhuriDLM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/AguileraGL08,
author = {Marcos Kawazoe Aguilera and
Eli Gafni and
Leslie Lamport},
editor = {Gadi Taubenfeld},
title = {The Mailbox Problem},
booktitle = {Distributed Computing, 22nd International Symposium, {DISC} 2008,
Arcachon, France, September 22-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5218},
pages = {1--15},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87779-0\_1},
doi = {10.1007/978-3-540-87779-0\_1},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/AguileraGL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0811-1914,
author = {Kaustuv Chaudhuri and
Damien Doligez and
Leslie Lamport and
Stephan Merz},
title = {A {TLA+} Proof System},
journal = {CoRR},
volume = {abs/0811.1914},
year = {2008},
url = {http://arxiv.org/abs/0811.1914},
eprinttype = {arXiv},
eprint = {0811.1914},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0811-1914.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/JohnsonLLV07,
author = {James E. Johnson and
David E. Langworthy and
Leslie Lamport and
Friedrich H. Vogt},
title = {Formal specification of a Web services protocol},
journal = {J. Log. Algebraic Methods Program.},
volume = {70},
number = {1},
pages = {34--52},
year = {2007},
url = {https://doi.org/10.1016/j.jlap.2006.05.004},
doi = {10.1016/J.JLAP.2006.05.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/JohnsonLLV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/Lamport07,
author = {Leslie Lamport},
editor = {Andrzej Pelc},
title = {{DISC} 20th Anniversary: Invited Talk Time, Clocks, and the Ordering
of My Ideas About Distributed Systems},
booktitle = {Distributed Computing, 21st International Symposium, {DISC} 2007,
Lemesos, Cyprus, September 24-26, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4731},
pages = {504},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75142-7\_46},
doi = {10.1007/978-3-540-75142-7\_46},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/Lamport07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/Lamport06,
author = {Leslie Lamport},
title = {Fast Paxos},
journal = {Distributed Comput.},
volume = {19},
number = {2},
pages = {79--103},
year = {2006},
url = {https://doi.org/10.1007/s00446-006-0005-x},
doi = {10.1007/S00446-006-0005-X},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/Lamport06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/Lamport06a,
author = {Leslie Lamport},
title = {Lower bounds for asynchronous consensus},
journal = {Distributed Comput.},
volume = {19},
number = {2},
pages = {104--125},
year = {2006},
url = {https://doi.org/10.1007/s00446-006-0155-x},
doi = {10.1007/S00446-006-0155-X},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/Lamport06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/GrayL06,
author = {Jim Gray and
Leslie Lamport},
title = {Consensus on transaction commit},
journal = {{ACM} Trans. Database Syst.},
volume = {31},
number = {1},
pages = {133--160},
year = {2006},
url = {https://doi.org/10.1145/1132863.1132867},
doi = {10.1145/1132863.1132867},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/GrayL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Lamport06,
author = {Leslie Lamport},
editor = {Elie Najm and
Jean{-}Fran{\c{c}}ois Pradat{-}Peyre and
V{\'{e}}ronique Donzeau{-}Gouge},
title = {The \({}^{\mbox{+}}\)CAL Algorithm Language},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2006, 26th {IFIP} {WG} 6.1 International Conference, Paris, France,
September 26-29, 2006},
series = {Lecture Notes in Computer Science},
volume = {4229},
pages = {23},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11888116\_2},
doi = {10.1007/11888116\_2},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/Lamport06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/Lamport06,
author = {Leslie Lamport},
title = {The +CAL Algorithm Language},
booktitle = {Fifth {IEEE} International Symposium on Network Computing and Applications,
{NCA} 2006, 24-26 July 2006, Cambridge, Massachusetts, {USA}},
pages = {5},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/NCA.2006.52},
doi = {10.1109/NCA.2006.52},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nca/Lamport06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/Lamport06,
author = {Leslie Lamport},
editor = {Shlomi Dolev},
title = {Checking a Multithreaded Algorithm with \({}^{\mbox{+}}\)CAL},
booktitle = {Distributed Computing, 20th International Symposium, {DISC} 2006,
Stockholm, Sweden, September 18-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4167},
pages = {151--163},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11864219\_11},
doi = {10.1007/11864219\_11},
timestamp = {Sat, 19 Oct 2019 20:32:37 +0200},
biburl = {https://dblp.org/rec/conf/wdag/Lamport06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Lamport05,
author = {Leslie Lamport},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Real-Time Model Checking Is Really Simple},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {162--175},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_14},
doi = {10.1007/11560548\_14},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/Lamport05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/DuttaGL05,
author = {Partha Dutta and
Rachid Guerraoui and
Leslie Lamport},
title = {How Fast Can Eventual Synchrony Lead to Consensus?},
booktitle = {2005 International Conference on Dependable Systems and Networks {(DSN}
2005), 28 June - 1 July 2005, Yokohama, Japan, Proceedings},
pages = {22--27},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/DSN.2005.54},
doi = {10.1109/DSN.2005.54},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/DuttaGL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/Lamport04,
author = {Leslie Lamport},
title = {Recent Discoveries from Paxos},
booktitle = {2004 International Conference on Dependable Systems and Networks {(DSN}
2004), 28 June - 1 July 2004, Florence, Italy, Proceedings},
pages = {3},
publisher = {{IEEE} Computer Society},
year = {2004},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/dsn/Lamport04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/LamportM04,
author = {Leslie Lamport and
Mike Massa},
title = {Cheap Paxos},
booktitle = {2004 International Conference on Dependable Systems and Networks {(DSN}
2004), 28 June - 1 July 2004, Florence, Italy, Proceedings},
pages = {307--314},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/DSN.2004.1311900},
doi = {10.1109/DSN.2004.1311900},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/LamportM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JohnsonLLV04,
author = {James E. Johnson and
David E. Langworthy and
Leslie Lamport and
Friedrich H. Vogt},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {Formal Specification of a Web Services Protocol},
booktitle = {Proceedings of the First International Workshop on Web Services and
Formal Methods, {WSFM} 2004, Pisa, Italy, February 23-24, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {105},
pages = {147--158},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.022},
doi = {10.1016/J.ENTCS.2004.02.022},
timestamp = {Fri, 09 Dec 2022 11:51:40 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JohnsonLLV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DC-0408036,
author = {Jim Gray and
Leslie Lamport},
title = {Consensus on Transaction Commit},
journal = {CoRR},
volume = {cs.DC/0408036},
year = {2004},
url = {http://arxiv.org/abs/cs.DC/0408036},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-DC-0408036.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/GafniL03,
author = {Eli Gafni and
Leslie Lamport},
title = {Disk Paxos},
journal = {Distributed Comput.},
volume = {16},
number = {1},
pages = {1--20},
year = {2003},
url = {https://doi.org/10.1007/s00446-002-0070-8},
doi = {10.1007/S00446-002-0070-8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/GafniL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/Lamport03,
author = {Leslie Lamport},
title = {Arbitration-free synchronization},
journal = {Distributed Comput.},
volume = {16},
number = {2-3},
pages = {219--237},
year = {2003},
url = {https://doi.org/10.1007/s00446-002-0076-2},
doi = {10.1007/S00446-002-0076-2},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/Lamport03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/JoshiLMTTY03,
author = {Rajeev Joshi and
Leslie Lamport and
John Matthews and
Serdar Tasiran and
Mark R. Tuttle and
Yuan Yu},
title = {Checking Cache-Coherence Protocols with TLA\({}^{\mbox{+}}\)},
journal = {Formal Methods Syst. Des.},
volume = {22},
number = {2},
pages = {125--131},
year = {2003},
url = {https://doi.org/10.1023/A:1022969405325},
doi = {10.1023/A:1022969405325},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/JoshiLMTTY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Lamport03,
author = {Leslie Lamport},
editor = {Andr{\'{e}} Schiper and
Alexander A. Shvartsman and
Hakim Weatherspoon and
Ben Y. Zhao},
title = {Lower Bounds for Asynchronous Consensus},
booktitle = {Future Directions in Distributed Computing, Research and Position
Papers},
series = {Lecture Notes in Computer Science},
volume = {2584},
pages = {22--23},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-37795-6\_5},
doi = {10.1007/3-540-37795-6\_5},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/Lamport03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/aw/Lamport2002,
author = {Leslie Lamport},
title = {Specifying Systems, The {TLA+} Language and Tools for Hardware and
Software Engineers},
publisher = {Addison-Wesley},
year = {2002},
url = {http://research.microsoft.com/users/lamport/tla/book.html},
isbn = {0-3211-4306-X},
timestamp = {Wed, 10 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/aw/Lamport2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BatsonL02,
author = {Brannon Batson and
Leslie Lamport},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {High-Level Specifications: Lessons from Industry},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {242--261},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_10},
doi = {10.1007/978-3-540-39656-7\_10},
timestamp = {Sun, 02 Jun 2019 21:14:42 +0200},
biburl = {https://dblp.org/rec/conf/fmco/BatsonL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/Lamport02,
author = {Leslie Lamport},
editor = {Alain Bui and
Hac{\`{e}}ne Fouchal},
title = {Paxos Made Simple, Fast, and Byzantine},
booktitle = {Procedings of the 6th International Conference on Principles of Distributed
Systems. {OPODIS} 2002, Reims, France, December 11-13, 2002},
series = {Studia Informatica Universalis},
volume = {3},
pages = {7--9},
publisher = {Suger, Saint-Denis, rue Catulienne, France},
year = {2002},
timestamp = {Tue, 20 Jan 2004 14:15:23 +0100},
biburl = {https://dblp.org/rec/conf/opodis/Lamport02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/LamportMTY02,
author = {Leslie Lamport and
John Matthews and
Mark R. Tuttle and
Yuan Yu},
editor = {Gilles Muller and
Eric Jul},
title = {Specifying and verifying systems with {TLA+}},
booktitle = {Proceedings of the 10th {ACM} {SIGOPS} European Workshop, Saint-Emilion,
France, July 1, 2002},
pages = {45--48},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/1133373.1133382},
doi = {10.1145/1133373.1133382},
timestamp = {Thu, 07 Nov 2019 10:24:25 +0100},
biburl = {https://dblp.org/rec/conf/sigopsE/LamportMTY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/Lamport00,
author = {Leslie Lamport},
title = {Fairness and hyperfairness},
journal = {Distributed Comput.},
volume = {13},
number = {4},
pages = {239--245},
year = {2000},
url = {https://doi.org/10.1007/PL00008921},
doi = {10.1007/PL00008921},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/Lamport00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/LamportPW00,
author = {Leslie Lamport and
Sharon E. Perl and
William E. Weihl},
title = {When does a correct mutual exclusion algorithm guarantee mutual exclusion?},
journal = {Inf. Process. Lett.},
volume = {76},
number = {3},
pages = {131--134},
year = {2000},
url = {https://doi.org/10.1016/S0020-0190(00)00132-0},
doi = {10.1016/S0020-0190(00)00132-0},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/LamportPW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Lamport00,
author = {Leslie Lamport},
editor = {Gil Neiger},
title = {Distributed algorithms in {TLA} (abstract)},
booktitle = {Proceedings of the Nineteenth Annual {ACM} Symposium on Principles
of Distributed Computing, July 16-19, 2000, Portland, Oregon, {USA}},
pages = {3},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/343477.343497},
doi = {10.1145/343477.343497},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/Lamport00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/GafniL00,
author = {Eli Gafni and
Leslie Lamport},
editor = {Maurice Herlihy},
title = {Disk Paxos},
booktitle = {Distributed Computing, 14th International Conference, {DISC} 2000,
Toledo, Spain, October 4-6, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1914},
pages = {330--344},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40026-5\_22},
doi = {10.1007/3-540-40026-5\_22},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/GafniL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/LadkinLOR99,
author = {Peter B. Ladkin and
Leslie Lamport and
Bryan Olivier and
Denis Roegel},
title = {Lazy Caching in {TLA}},
journal = {Distributed Comput.},
volume = {12},
number = {2-3},
pages = {151--174},
year = {1999},
url = {https://doi.org/10.1007/s004460050063},
doi = {10.1007/S004460050063},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/LadkinLOR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LamportP99,
author = {Leslie Lamport and
Lawrence C. Paulson},
title = {Should your specification language be typed},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {21},
number = {3},
pages = {502--526},
year = {1999},
url = {https://doi.org/10.1145/319301.319317},
doi = {10.1145/319301.319317},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/LamportP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/YuML99,
author = {Yuan Yu and
Panagiotis Manolios and
Leslie Lamport},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Model Checking TLA\({}^{\mbox{+}}\) Specifications},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {54--66},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_6},
doi = {10.1007/3-540-48153-2\_6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/YuML99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AkhianiDHLSTY99,
author = {Homayoon Akhiani and
Damien Doligez and
Paul Harter and
Leslie Lamport and
Joshua Scheid and
Mark R. Tuttle and
Yuan Yu},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {Cache Coherence Verification with {TLA+}},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1709},
pages = {1871--1872},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48118-4\_62},
doi = {10.1007/3-540-48118-4\_62},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/AkhianiDHLSTY99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Lamport98,
author = {Leslie Lamport},
title = {Proving Possibility Properties},
journal = {Theor. Comput. Sci.},
volume = {206},
number = {1-2},
pages = {341--352},
year = {1998},
url = {https://doi.org/10.1016/S0304-3975(98)00129-7},
doi = {10.1016/S0304-3975(98)00129-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Lamport98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/Lamport98,
author = {Leslie Lamport},
title = {The Part-Time Parliament},
journal = {{ACM} Trans. Comput. Syst.},
volume = {16},
number = {2},
pages = {133--169},
year = {1998},
url = {https://doi.org/10.1145/279227.279229},
doi = {10.1145/279227.279229},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/Lamport98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CohenL98,
author = {Ernie Cohen and
Leslie Lamport},
editor = {Davide Sangiorgi and
Robert de Simone},
title = {Reduction in {TLA}},
booktitle = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice,
France, September 8-11, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1466},
pages = {317--331},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055631},
doi = {10.1007/BFB0055631},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/CohenL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Lamport97,
author = {Leslie Lamport},
title = {How to Make a Correct Multiprocess Program Execute Correctly on a
Multiprocessor},
journal = {{IEEE} Trans. Computers},
volume = {46},
number = {7},
pages = {779--782},
year = {1997},
url = {https://doi.org/10.1109/12.599898},
doi = {10.1109/12.599898},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/Lamport97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Lamport97,
author = {Leslie Lamport},
title = {Processes are in the Eye of the Beholder},
journal = {Theor. Comput. Sci.},
volume = {179},
number = {1-2},
pages = {333--351},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00153-3},
doi = {10.1016/S0304-3975(96)00153-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Lamport97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compos/Lamport97,
author = {Leslie Lamport},
editor = {Willem P. de Roever and
Hans Langmaack and
Amir Pnueli},
title = {Composition: {A} Way to Make Proofs Harder},
booktitle = {Compositionality: The Significant Difference, International Symposium,
COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {1536},
pages = {402--423},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-49213-5\_15},
doi = {10.1007/3-540-49213-5\_15},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/compos/Lamport97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Lamport96,
author = {Leslie Lamport},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Managing Proofs (Abstract)},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Second
International Workshop, {TACAS} '96, Passau, Germany, March 27-29,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1055},
pages = {34},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61042-1\_36},
doi = {10.1007/3-540-61042-1\_36},
timestamp = {Sun, 02 Jun 2019 21:19:27 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Lamport96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0078676,
author = {Leslie Lamport},
title = {Das LaTeX-Handbuch},
publisher = {Addison-Wesley},
year = {1995},
isbn = {978-3-89319-826-9},
timestamp = {Tue, 12 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0078676.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AbadiL95,
author = {Mart{\'{\i}}n Abadi and
Leslie Lamport},
title = {Conjoining Specifications},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {3},
pages = {507--534},
year = {1995},
url = {https://doi.org/10.1145/203095.201069},
doi = {10.1145/203095.201069},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AbadiL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Lamport95,
author = {Leslie Lamport},
title = {{TLA} in Pictures},
journal = {{IEEE} Trans. Software Eng.},
volume = {21},
number = {9},
pages = {768--775},
year = {1995},
url = {https://doi.org/10.1109/32.464544},
doi = {10.1109/32.464544},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Lamport95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0023602,
author = {Leslie Lamport},
title = {LaTeX - {A} Document Preparation System: User's Guide and Reference
Manual, Second Edition},
publisher = {Pearson / Prentice Hall},
year = {1994},
isbn = {978-0-201-52983-8},
timestamp = {Fri, 08 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0023602.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Lamport94,
author = {Leslie Lamport},
title = {How to Write a Long Formula (Short Communication)},
journal = {Formal Aspects Comput.},
volume = {6},
number = {5},
pages = {580--584},
year = {1994},
url = {https://doi.org/10.1007/BF01211870},
doi = {10.1007/BF01211870},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Lamport94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Lamport94,
author = {Leslie Lamport},
title = {The Temporal Logic of Actions},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {872--923},
year = {1994},
url = {https://doi.org/10.1145/177492.177726},
doi = {10.1145/177492.177726},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Lamport94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AbadiL94,
author = {Mart{\'{\i}}n Abadi and
Leslie Lamport},
title = {An Old-Fashined Recipe for Real-Time},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {5},
pages = {1543--1571},
year = {1994},
url = {https://doi.org/10.1145/186025.186058},
doi = {10.1145/186025.186058},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AbadiL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BroyL94,
author = {Manfred Broy and
Leslie Lamport},
editor = {Manfred Broy and
Stephan Merz and
Katharina Spies},
title = {The RPC-Memory Specification Problem - Problem Statement},
booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study
(the book grow out of a Dagstuhl Seminar, September 1994)},
series = {Lecture Notes in Computer Science},
volume = {1169},
pages = {1--4},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0024424},
doi = {10.1007/BFB0024424},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BroyL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AbadiLM94,
author = {Mart{\'{\i}}n Abadi and
Leslie Lamport and
Stephan Merz},
editor = {Manfred Broy and
Stephan Merz and
Katharina Spies},
title = {A {TLA} Solution to the RPC-Memory Specification Problem},
booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study
(the book grow out of a Dagstuhl Seminar, September 1994)},
series = {Lecture Notes in Computer Science},
volume = {1169},
pages = {21--66},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0024426},
doi = {10.1007/BFB0024426},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AbadiLM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/Lamport94,
author = {Leslie Lamport},
editor = {Guy E. Blelloch and
K. Mani Chandy and
Suresh Jagannathan},
title = {{TLA} in Pictures},
booktitle = {Specification of Parallel Algorithms, Proceedings of a {DIMACS} Workshop,
Princeton, New Jersey, USA, May 9-11, 1994},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {18},
pages = {293--307},
publisher = {{DIMACS/AMS}},
year = {1994},
url = {https://doi.org/10.1090/dimacs/018/19},
doi = {10.1090/DIMACS/018/19},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/Lamport94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Lamport94,
author = {Leslie Lamport},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {How good is your specification method?},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {289},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/Lamport94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/LamportM94,
author = {Leslie Lamport and
Stephan Merz},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Specifying and Verifying Fault-Tolerant Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {41--76},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_159},
doi = {10.1007/3-540-58468-4\_159},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/LamportM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/AbadiL94,
author = {Mart{\'{\i}}n Abadi and
Leslie Lamport},
editor = {James H. Anderson and
David Peleg and
Elizabeth Borowsky},
title = {Open Systems in {TLA}},
booktitle = {Proceedings of the Thirteenth Annual {ACM} Symposium on Principles
of Distributed Computing, Los Angeles, California, USA, August 14-17,
1994},
pages = {81--90},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/197917.197960},
doi = {10.1145/197917.197960},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/AbadiL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/AbadiL94,
author = {Mart{\'{\i}}n Abadi and
Leslie Lamport},
editor = {Ernst{-}R{\"{u}}diger Olderog},
title = {Decomposing Specifications of Concurrent Systems},
booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
{TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
1994},
series = {{IFIP} Transactions},
volume = {{A-56}},
pages = {327--340},
publisher = {North-Holland},
year = {1994},
timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
biburl = {https://dblp.org/rec/conf/procomet/AbadiL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Lamport94,
author = {Leslie Lamport},
editor = {Jonathan P. Bowen and
J. Anthony Hall},
title = {{TLZ}},
booktitle = {Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings},
series = {Workshops in Computing},
pages = {267--268},
publisher = {Springer/BCS},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3452-7\_15},
doi = {10.1007/978-1-4471-3452-7\_15},
timestamp = {Mon, 24 Jun 2019 12:03:37 +0200},
biburl = {https://dblp.org/rec/conf/zum/Lamport94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AbadiL93,
author = {Mart{\'{\i}}n Abadi and
Leslie Lamport},
title = {Composing Specifications},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {15},
number = {1},
pages = {73--132},
year = {1993},
url = {https://doi.org/10.1145/151646.151649},
doi = {10.1145/151646.151649},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/AbadiL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KurshanL93,
author = {Robert P. Kurshan and
Leslie Lamport},
editor = {Costas Courcoubetis},
title = {Verification of a Multiplier: 64 Bits and Beyond},
booktitle = {Computer Aided Verification, 5th International Conference, {CAV} '93,
Elounda, Greece, June 28 - July 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {697},
pages = {166--179},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56922-7\_14},
doi = {10.1007/3-540-56922-7\_14},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/KurshanL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/Lamport93,
author = {Leslie Lamport},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Verification and Specifications of Concurrent Programs},
booktitle = {A Decade of Concurrency, Reflections and Perspectives, {REX} School/Symposium,
Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {803},
pages = {347--374},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58043-3\_23},
doi = {10.1007/3-540-58043-3\_23},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/rex/Lamport93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/Lamport92,
author = {Leslie Lamport},
title = {Critique of the Lake Arrowhead Three},
journal = {Distributed Comput.},
volume = {6},
number = {1},
pages = {65--71},
year = {1992},
url = {https://doi.org/10.1007/BF02276641},
doi = {10.1007/BF02276641},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/Lamport92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Lamport92,
author = {Leslie Lamport},
editor = {Gregor von Bochmann and
David K. Probst},
title = {Computer-Hindered Verification (Humans Can Do It Too)},
booktitle = {Computer Aided Verification, Fourth International Workshop, {CAV}
'92, Montreal, Canada, June 29 - July 1, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {663},
pages = {1},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56496-9\_1},
doi = {10.1007/3-540-56496-9\_1},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Lamport92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EngbergGL92,
author = {Urban Engberg and
Peter Gr{\o}nning and
Leslie Lamport},
editor = {Gregor von Bochmann and
David K. Probst},
title = {Mechanical Verification of Concurrent Systems with {TLA}},
booktitle = {Computer Aided Verification, Fourth International Workshop, {CAV}
'92, Montreal, Canada, June 29 - July 1, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {663},
pages = {44--55},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56496-9\_5},
doi = {10.1007/3-540-56496-9\_5},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/EngbergGL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Lamport92,
author = {Leslie Lamport},
editor = {Robert L. Grossman and
Anil Nerode and
Anders P. Ravn and
Hans Rischel},
title = {Hybrid Systems in TLA\({}^{\mbox{+}}\)},
booktitle = {Hybrid Systems},
series = {Lecture Notes in Computer Science},
volume = {736},
pages = {77--102},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57318-6\_25},
doi = {10.1007/3-540-57318-6\_25},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Lamport92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/larch/EngbergGL92,
author = {Urban Engberg and
Peter Gr{\o}nning and
Leslie Lamport},
editor = {Ursula Martin and
Jeannette M. Wing},
title = {Mechanical Verification of Concurrent Systems with {TLA}},
booktitle = {First International Workshop on Larch, Proceedings of the first First
International Workshop on Larch, Dedham, Massachusetts, USA, 13-15
July 1992},
series = {Workshops in Computing},
pages = {86--97},
publisher = {Springer},
year = {1992},
timestamp = {Thu, 20 Feb 2003 11:29:44 +0100},
biburl = {https://dblp.org/rec/conf/larch/EngbergGL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AbadiAAFKLS91,
author = {Mart{\'{\i}}n Abadi and
Bowen Alpern and
Krzysztof R. Apt and
Nissim Francez and
Shmuel Katz and
Leslie Lamport and
Fred B. Schneider},
title = {Preserving Liveness: Comments on "Safety and Liveness from a
Methodological Point of View"},
journal = {Inf. Process. Lett.},
volume = {40},
number = {3},
pages = {141--142},
year = {1991},
url = {https://doi.org/10.1016/0020-0190(91)90168-H},
doi = {10.1016/0020-0190(91)90168-H},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/AbadiAAFKLS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AbadiL91,
author = {Mart{\'{\i}}n Abadi and
Leslie Lamport},
title = {The Existence of Refinement Mappings},
journal = {Theor. Comput. Sci.},
volume = {82},
number = {2},
pages = {253--284},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90224-P},
doi = {10.1016/0304-3975(91)90224-P},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AbadiL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/AbadiL91,
author = {Mart{\'{\i}}n Abadi and
Leslie Lamport},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {An Old-Fashioned Recipe for Real Time},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {1--27},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0031985},
doi = {10.1007/BFB0031985},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/rex/AbadiL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/Lamport90,
author = {Leslie Lamport},
title = {A Theorem on Atomicity in Distributed Algorithms},
journal = {Distributed Comput.},
volume = {4},
pages = {59--68},
year = {1990},
url = {https://doi.org/10.1007/BF01786631},
doi = {10.1007/BF01786631},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/Lamport90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/Lamport90,
author = {Leslie Lamport},
title = {Concurrent Reading and Writing of Clocks},
journal = {{ACM} Trans. Comput. Syst.},
volume = {8},
number = {4},
pages = {305--310},
year = {1990},
url = {https://doi.org/10.1145/128733.128736},
doi = {10.1145/128733.128736},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/Lamport90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Lamport90,
author = {Leslie Lamport},
title = {\emph{win} and \emph{sin}: Predicate Transformers for Concurrency},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {12},
number = {3},
pages = {396--428},
year = {1990},
timestamp = {Wed, 26 Nov 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Lamport90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/leeuwen90/LamportL90,
author = {Leslie Lamport and
Nancy A. Lynch},
editor = {Jan van Leeuwen},
title = {Distributed Computing: Models and Methods},
booktitle = {Handbook of Theoretical Computer Science, Volume {B:} Formal Models
and Semantics},
pages = {1157--1199},
publisher = {Elsevier and {MIT} Press},
year = {1990},
url = {https://doi.org/10.1016/b978-0-444-88074-1.50023-8},
doi = {10.1016/B978-0-444-88074-1.50023-8},
timestamp = {Tue, 06 Aug 2019 09:45:21 +0200},
biburl = {https://dblp.org/rec/books/el/leeuwen90/LamportL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Lamport89,
author = {Leslie Lamport},
title = {A Simple Approach to Specifying Concurrent Systems},
journal = {Commun. {ACM}},
volume = {32},
number = {1},
pages = {32--45},
year = {1989},
url = {https://doi.org/10.1145/63238.63240},
doi = {10.1145/63238.63240},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Lamport89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AbadiLW89,
author = {Mart{\'{\i}}n Abadi and
Leslie Lamport and
Pierre Wolper},
editor = {Giorgio Ausiello and
Mariangiola Dezani{-}Ciancaglini and
Simona Ronchi Della Rocca},
title = {Realizable and Unrealizable Specifications of Reactive Systems},
booktitle = {Automata, Languages and Programming, 16th International Colloquium,
ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {372},
pages = {1--17},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0035748},
doi = {10.1007/BFB0035748},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/AbadiLW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/AbadiL89,
author = {Mart{\'{\i}}n Abadi and
Leslie Lamport},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Composing Specifications},
booktitle = {Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness,
{REX} Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {430},
pages = {1--41},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52559-9\_59},
doi = {10.1007/3-540-52559-9\_59},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/rex/AbadiL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/SchneiderL88,
author = {Fred B. Schneider and
Leslie Lamport},
title = {On E. W. Dijkstra's position paper on "fairness: "},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {13},
number = {3},
pages = {18--19},
year = {1988},
url = {https://doi.org/10.1145/51696.51697},
doi = {10.1145/51696.51697},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/SchneiderL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Lamport88,
author = {Leslie Lamport},
title = {Control Predicates are Better than Dummy Variables for Reasoning about
Program Control},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {10},
number = {2},
pages = {267--281},
year = {1988},
url = {https://doi.org/10.1145/42190.42348},
doi = {10.1145/42190.42348},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Lamport88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Lamport88,
author = {Leslie Lamport},
editor = {Friedrich H. Vogt},
title = {While Waiting for the Millennium: Formal Specification and Verficiation
of Concurrent Systems Now (Abstract)},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg,
FRG, October 18-19, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {335},
pages = {3},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50403-6\_27},
doi = {10.1007/3-540-50403-6\_27},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/concur/Lamport88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AbadiL88,
author = {Mart{\'{\i}}n Abadi and
Leslie Lamport},
title = {The Existence of Refinement Mappings},
booktitle = {Proceedings of the Third Annual Symposium on Logic in Computer Science
{(LICS} '88), Edinburgh, Scotland, UK, July 5-8, 1988},
pages = {165--175},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/LICS.1988.5115},
doi = {10.1109/LICS.1988.5115},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AbadiL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/WelchLL88,
author = {Jennifer L. Welch and
Leslie Lamport and
Nancy A. Lynch},
editor = {Danny Dolev},
title = {A Lattice-Structured Proof of a Minimum Spanning},
booktitle = {Proceedings of the Seventh Annual {ACM} Symposium on Principles of
Distributed Computing, Toronto, Ontario, Canada, August 15-17, 1988},
pages = {28--43},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62546.62552},
doi = {10.1145/62546.62552},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/WelchLL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/Lamport87,
author = {Leslie Lamport},
title = {A Fast Mutual Exclusion Algorithm},
journal = {{ACM} Trans. Comput. Syst.},
volume = {5},
number = {1},
pages = {1--11},
year = {1987},
url = {https://doi.org/10.1145/7351.7352},
doi = {10.1145/7351.7352},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/Lamport87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/aw/Lamport86,
author = {Leslie Lamport},
title = {LaTeX: User's Guide {\&} Reference Manual},
publisher = {Addison-Wesley},
year = {1986},
isbn = {0-201-15790-X},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/aw/Lamport86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/Lamport86,
author = {Leslie Lamport},
title = {On Interprocess Communication. Part {I:} Basic Formalism},
journal = {Distributed Comput.},
volume = {1},
number = {2},
pages = {77--85},
year = {1986},
url = {https://doi.org/10.1007/BF01786227},
doi = {10.1007/BF01786227},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/Lamport86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/Lamport86a,
author = {Leslie Lamport},
title = {On Interprocess Communication. Part {II:} Algorithms},
journal = {Distributed Comput.},
volume = {1},
number = {2},
pages = {86--101},
year = {1986},
url = {https://doi.org/10.1007/BF01786228},
doi = {10.1007/BF01786228},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/Lamport86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Lamport86a,
author = {Leslie Lamport},
title = {The mutual exclusion problem: part {I} - a theory of interprocess
communication},
journal = {J. {ACM}},
volume = {33},
number = {2},
pages = {313--326},
year = {1986},
url = {https://doi.org/10.1145/5383.5384},
doi = {10.1145/5383.5384},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Lamport86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Lamport86b,
author = {Leslie Lamport},
title = {The mutual exclusion problem: partII - statement and solutions},
journal = {J. {ACM}},
volume = {33},
number = {2},
pages = {327--348},
year = {1986},
url = {https://doi.org/10.1145/5383.5385},
doi = {10.1145/5383.5385},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Lamport86b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/LamportM86,
author = {Leslie Lamport and
P. M. Melliar{-}Smith},
title = {Byzantine Clock Synchronization},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {20},
number = {3},
pages = {10--16},
year = {1986},
url = {https://doi.org/10.1145/12476.12477},
doi = {10.1145/12476.12477},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/LamportM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/LamportM85,
author = {Leslie Lamport and
P. M. Melliar{-}Smith},
title = {Synchronizing Clocks in the Presence of Faults},
journal = {J. {ACM}},
volume = {32},
number = {1},
pages = {52--78},
year = {1985},
url = {https://doi.org/10.1145/2455.2457},
doi = {10.1145/2455.2457},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/LamportM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/Lamport85,
author = {Leslie Lamport},
title = {Solved Problems, Unsolved Problems and Non-Problems in Concurrency},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {19},
number = {4},
pages = {34--44},
year = {1985},
url = {https://doi.org/10.1145/858336.858339},
doi = {10.1145/858336.858339},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/Lamport85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/ChandyL85,
author = {K. Mani Chandy and
Leslie Lamport},
title = {Distributed Snapshots: Determining Global States of Distributed Systems},
journal = {{ACM} Trans. Comput. Syst.},
volume = {3},
number = {1},
pages = {63--75},
year = {1985},
url = {https://doi.org/10.1145/214451.214456},
doi = {10.1145/214451.214456},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/ChandyL85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Lamport85,
author = {Leslie Lamport},
editor = {Mary S. Van Deusen and
Zvi Galil and
Brian K. Reid},
title = {What It Means for a Concurrent Program to Satisfy a Specification:
Why No One Has Specified Priority},
booktitle = {Conference Record of the Twelfth Annual {ACM} Symposium on Principles
of Programming Languages, New Orleans, Louisiana, USA, January 1985},
pages = {78--83},
publisher = {{ACM} Press},
year = {1985},
url = {https://doi.org/10.1145/318593.318616},
doi = {10.1145/318593.318616},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Lamport85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LamportS85,
author = {Leslie Lamport and
Fred B. Schneider},
editor = {Mary S. Van Deusen and
Zvi Galil and
Brian K. Reid},
title = {Constraints: {A} Uniform Approach to Aliasing and Typing},
booktitle = {Conference Record of the Twelfth Annual {ACM} Symposium on Principles
of Programming Languages, New Orleans, Louisiana, USA, January 1985},
pages = {205--216},
publisher = {{ACM} Press},
year = {1985},
url = {https://doi.org/10.1145/318593.318640},
doi = {10.1145/318593.318640},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/LamportS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ac/1984ds,
editor = {Mack W. Alford and
Jean{-}Pierre Ansart and
G{\"{u}}nter Hommel and
Leslie Lamport and
Barbara Liskov and
Geoff P. Mullery and
Fred B. Schneider},
title = {Distributed Systems: Methods and Tools for Specification, An Advanced
Course, April 3-12, 1984 and April 16-25, 1985, Munich, Germany},
series = {Lecture Notes in Computer Science},
volume = {190},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15216-4},
doi = {10.1007/3-540-15216-4},
isbn = {3-540-15216-4},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/1984ds.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Lamport84,
author = {Leslie Lamport},
title = {Using Time Instead of Timeout for Fault-Tolerant Distributed Systems},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {6},
number = {2},
pages = {254--280},
year = {1984},
url = {https://doi.org/10.1145/2993.2994},
doi = {10.1145/2993.2994},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Lamport84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LamportS84,
author = {Leslie Lamport and
Fred B. Schneider},
title = {The "Hoare Logic" of CSP, and All That},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {6},
number = {2},
pages = {281--296},
year = {1984},
url = {https://doi.org/10.1145/2993.357247},
doi = {10.1145/2993.357247},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/LamportS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/AlfordLM84,
author = {Mack W. Alford and
Leslie Lamport and
Geoff P. Mullery},
editor = {Mack W. Alford and
Jean{-}Pierre Ansart and
G{\"{u}}nter Hommel and
Leslie Lamport and
Barbara Liskov and
Geoff P. Mullery and
Fred B. Schneider},
title = {Basic Concepts},
booktitle = {Distributed Systems: Methods and Tools for Specification, An Advanced
Course, April 3-12, 1984 and April 16-25, 1985, Munich, Germany},
series = {Lecture Notes in Computer Science},
volume = {190},
pages = {7--43},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15216-4\_12},
doi = {10.1007/3-540-15216-4\_12},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/ac/AlfordLM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/LamportS84,
author = {Leslie Lamport and
Fred B. Schneider},
editor = {Mack W. Alford and
Jean{-}Pierre Ansart and
G{\"{u}}nter Hommel and
Leslie Lamport and
Barbara Liskov and
Geoff P. Mullery and
Fred B. Schneider},
title = {Formal Foundation for Specification and Verification},
booktitle = {Distributed Systems: Methods and Tools for Specification, An Advanced
Course, April 3-12, 1984 and April 16-25, 1985, Munich, Germany},
series = {Lecture Notes in Computer Science},
volume = {190},
pages = {203--285},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15216-4\_15},
doi = {10.1007/3-540-15216-4\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/LamportS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/SchneiderL84,
author = {Fred B. Schneider and
Leslie Lamport},
editor = {Mack W. Alford and
Jean{-}Pierre Ansart and
G{\"{u}}nter Hommel and
Leslie Lamport and
Barbara Liskov and
Geoff P. Mullery and
Fred B. Schneider},
title = {Paradigms for Distributed Programs},
booktitle = {Distributed Systems: Methods and Tools for Specification, An Advanced
Course, April 3-12, 1984 and April 16-25, 1985, Munich, Germany},
series = {Lecture Notes in Computer Science},
volume = {190},
pages = {431--480},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-15216-4\_18},
doi = {10.1007/3-540-15216-4\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ac/SchneiderL84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/Lamport84,
author = {Leslie Lamport},
editor = {Krzysztof R. Apt},
title = {An Axiomatic Semantics of Concurrent Programming Languages},
booktitle = {Logics and Models of Concurrent Systems - Conference proceedings,
Colle-sur-Loup (near Nice), France, 8-19 October 1984},
series = {{NATO} {ASI} Series},
volume = {13},
pages = {77--122},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-3-642-82453-1\_4},
doi = {10.1007/978-3-642-82453-1\_4},
timestamp = {Fri, 17 Apr 2020 17:55:08 +0200},
biburl = {https://dblp.org/rec/conf/nato/Lamport84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Lamport84,
author = {Leslie Lamport},
editor = {Tiko Kameda and
Jayadev Misra and
Joseph G. Peters and
Nicola Santoro},
title = {Solved Problems, Unsolved Problems and Non-Problems in Concurrency
(Invited Address)},
booktitle = {Proceedings of the Third Annual {ACM} Symposium on Principles of Distributed
Computing, Vancouver, B. C., Canada, August 27-29, 1984},
pages = {1--11},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800222.806731},
doi = {10.1145/800222.806731},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/Lamport84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/LamportM84,
author = {Leslie Lamport and
P. M. Melliar{-}Smith},
editor = {Tiko Kameda and
Jayadev Misra and
Joseph G. Peters and
Nicola Santoro},
title = {Byzantine Clock Synchronization},
booktitle = {Proceedings of the Third Annual {ACM} Symposium on Principles of Distributed
Computing, Vancouver, B. C., Canada, August 27-29, 1984},
pages = {68--74},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800222.806737},
doi = {10.1145/800222.806737},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/LamportM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Lamport83,
author = {Leslie Lamport},
title = {The Weak Byzantine Generals Problem},
journal = {J. {ACM}},
volume = {30},
number = {3},
pages = {668--676},
year = {1983},
url = {https://doi.org/10.1145/2402.322398},
doi = {10.1145/2402.322398},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Lamport83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Lamport83,
author = {Leslie Lamport},
title = {Specifying Concurrent Program Modules},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {5},
number = {2},
pages = {190--222},
year = {1983},
url = {https://doi.org/10.1145/69624.357207},
doi = {10.1145/69624.357207},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Lamport83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acs/Lamport83,
author = {Leslie Lamport},
editor = {B. Tim Denvir and
W. T. Harwood and
M. I. Jackson and
M. J. Wray},
title = {Problems from the Workshop on the Analysis of Concurrent Systems},
booktitle = {The Analysis of Concurrent Systems, Cambridge, UK, September 12-16,
1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {207},
pages = {252--270},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-16047-7\_51},
doi = {10.1007/3-540-16047-7\_51},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/acs/Lamport83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Lamport83,
author = {Leslie Lamport},
editor = {R. E. A. Mason},
title = {What Good is Temporal Logic?},
booktitle = {Information Processing 83, Proceedings of the {IFIP} 9th World Computer
Congress, Paris, France, September 19-23, 1983},
pages = {657--668},
publisher = {North-Holland/IFIP},
year = {1983},
timestamp = {Sun, 28 Jul 2019 17:03:41 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Lamport83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Lamport83,
author = {Leslie Lamport},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Reasoning About Nonatomic Operations},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {28--37},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567072},
doi = {10.1145/567067.567072},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Lamport83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Lamport82,
author = {Leslie Lamport},
title = {An Assertional Correctness Proof of a Distributed Algorithm},
journal = {Sci. Comput. Program.},
volume = {2},
number = {3},
pages = {175--206},
year = {1982},
url = {https://doi.org/10.1016/0167-6423(83)90014-X},
doi = {10.1016/0167-6423(83)90014-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Lamport82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LamportSP82,
author = {Leslie Lamport and
Robert E. Shostak and
Marshall C. Pease},
title = {The Byzantine Generals Problem},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {3},
pages = {382--401},
year = {1982},
url = {https://doi.org/10.1145/357172.357176},
doi = {10.1145/357172.357176},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/LamportSP82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/OwickiL82,
author = {Susan S. Owicki and
Leslie Lamport},
title = {Proving Liveness Properties of Concurrent Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {4},
number = {3},
pages = {455--495},
year = {1982},
url = {https://doi.org/10.1145/357172.357178},
doi = {10.1145/357172.357178},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/OwickiL82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Lamport81,
author = {Leslie Lamport},
title = {Password Authentification with Insecure Communication},
journal = {Commun. {ACM}},
volume = {24},
number = {11},
pages = {770--772},
year = {1981},
url = {https://doi.org/10.1145/358790.358797},
doi = {10.1145/358790.358797},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Lamport81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Lamport81,
author = {Leslie Lamport},
editor = {Dexter Kozen},
title = {{TIMESETS} -- {A} New Method for Temporal Reasoning about Programs},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {177--196},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025783},
doi = {10.1007/BFB0025783},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lop/Lamport81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/LamportO81,
author = {Leslie Lamport and
Susan S. Owicki},
editor = {Dexter Kozen},
title = {Program Logics and Program Verification (position paper)},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
1981},
series = {Lecture Notes in Computer Science},
volume = {131},
pages = {197--199},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0025784},
doi = {10.1007/BFB0025784},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lop/LamportO81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Lamport80,
author = {Leslie Lamport},
title = {The 'Hoare Logic' of Concurrent Programs},
journal = {Acta Informatica},
volume = {14},
pages = {21--37},
year = {1980},
url = {https://doi.org/10.1007/BF00289062},
doi = {10.1007/BF00289062},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Lamport80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/PeaseSL80,
author = {Marshall C. Pease and
Robert E. Shostak and
Leslie Lamport},
title = {Reaching Agreement in the Presence of Faults},
journal = {J. {ACM}},
volume = {27},
number = {2},
pages = {228--234},
year = {1980},
url = {https://doi.org/10.1145/322186.322188},
doi = {10.1145/322186.322188},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/PeaseSL80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Lamport80,
author = {Leslie Lamport},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {"Sometime" is Sometimes "Not Never" - On the Temporal
Logic of Programs},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {174--185},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567463},
doi = {10.1145/567446.567463},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Lamport80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Lamport79,
author = {Leslie Lamport},
title = {On the Proof of Correctness of a Calendar Program},
journal = {Commun. {ACM}},
volume = {22},
number = {10},
pages = {554--556},
year = {1979},
url = {https://doi.org/10.1145/359156.359160},
doi = {10.1145/359156.359160},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Lamport79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Lamport79,
author = {Leslie Lamport},
title = {A general construction for expressing repetition},
journal = {{ACM} {SIGPLAN} Notices},
volume = {14},
number = {3},
pages = {38--42},
year = {1979},
url = {https://doi.org/10.1145/988071.988076},
doi = {10.1145/988071.988076},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Lamport79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Lamport79,
author = {Leslie Lamport},
title = {How to Make a Multiprocessor Computer That Correctly Executes Multiprocess
Programs},
journal = {{IEEE} Trans. Computers},
volume = {28},
number = {9},
pages = {690--691},
year = {1979},
url = {https://doi.org/10.1109/TC.1979.1675439},
doi = {10.1109/TC.1979.1675439},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tc/Lamport79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Lamport79,
author = {Leslie Lamport},
title = {A New Approach to Proving the Correctness of Multiprocess Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {1},
number = {1},
pages = {84--97},
year = {1979},
url = {https://doi.org/10.1145/357062.357068},
doi = {10.1145/357062.357068},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Lamport79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Lamport78,
author = {Leslie Lamport},
title = {Time, Clocks, and the Ordering of Events in a Distributed System},
journal = {Commun. {ACM}},
volume = {21},
number = {7},
pages = {558--565},
year = {1978},
url = {https://doi.org/10.1145/359545.359563},
doi = {10.1145/359545.359563},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Lamport78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/DijkstraLMSS78,
author = {Edsger W. Dijkstra and
Leslie Lamport and
Alain J. Martin and
Carel S. Scholten and
Elisabeth F. M. Steffens},
title = {On-the-Fly Garbage Collection: An Exercise in Cooperation},
journal = {Commun. {ACM}},
volume = {21},
number = {11},
pages = {966--975},
year = {1978},
url = {https://doi.org/10.1145/359642.359655},
doi = {10.1145/359642.359655},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/DijkstraLMSS78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/Lamport78,
author = {Leslie Lamport},
title = {The Implementation of Reliable Distributed Multiprocess Systems},
journal = {Comput. Networks},
volume = {2},
pages = {95--114},
year = {1978},
url = {https://doi.org/10.1016/0376-5075(78)90045-4},
doi = {10.1016/0376-5075(78)90045-4},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/Lamport78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Lamport78,
author = {Leslie Lamport},
title = {State the problem before describing the solution},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {3},
number = {1},
pages = {26},
year = {1978},
url = {https://doi.org/10.1145/1010734.1010737},
doi = {10.1145/1010734.1010737},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/Lamport78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/Lamport78,
author = {Leslie Lamport},
editor = {Edward K. Blum and
Manfred Paul and
Satoru Takasu},
title = {The specification and proof of correctness of interactive programs},
booktitle = {Mathematical Studies of Information Processing, Proceedings of the
International Conference, Kyoto, Japan, August 23-26, 1978},
series = {Lecture Notes in Computer Science},
volume = {75},
pages = {474--537},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-09541-1\_37},
doi = {10.1007/3-540-09541-1\_37},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/msi/Lamport78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Lamport77,
author = {Leslie Lamport},
title = {Concurrent Reading and Writing},
journal = {Commun. {ACM}},
volume = {20},
number = {11},
pages = {806--811},
year = {1977},
url = {https://doi.org/10.1145/359863.359878},
doi = {10.1145/359863.359878},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Lamport77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Lamport77,
author = {Leslie Lamport},
title = {Proving the Correctness of Multiprocess Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {3},
number = {2},
pages = {125--143},
year = {1977},
url = {https://doi.org/10.1109/TSE.1977.229904},
doi = {10.1109/TSE.1977.229904},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/Lamport77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Lamport76,
author = {Leslie Lamport},
title = {The Synchronization of Independent Processes},
journal = {Acta Informatica},
volume = {7},
pages = {15--34},
year = {1976},
url = {https://doi.org/10.1007/BF00265219},
doi = {10.1007/BF00265219},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Lamport76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Lamport76,
author = {Leslie Lamport},
title = {Comments on "A Synchronization Anomaly"},
journal = {Inf. Process. Lett.},
volume = {4},
number = {4},
pages = {88--89},
year = {1976},
url = {https://doi.org/10.1016/0020-0190(76)90051-X},
doi = {10.1016/0020-0190(76)90051-X},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Lamport76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Lamport75,
author = {Leslie Lamport},
title = {Multiple Byte Processing with Full-Word Instructions},
journal = {Commun. {ACM}},
volume = {18},
number = {8},
pages = {471--475},
year = {1975},
url = {https://doi.org/10.1145/360933.360994},
doi = {10.1145/360933.360994},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Lamport75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/DijkstraLMSS75,
author = {Edsger W. Dijkstra and
Leslie Lamport and
Alain J. Martin and
Carel S. Scholten and
Elisabeth F. M. Steffens},
editor = {Friedrich L. Bauer and
Klaus Samelson},
title = {On-the-fly garbage collection: an exercise in cooperation},
booktitle = {Language Hierarchies and Interfaces, International Summer School,
Marktoberdorf, Germany, July 23 - August 2, 1975},
series = {Lecture Notes in Computer Science},
volume = {46},
pages = {43--56},
publisher = {Springer},
year = {1975},
url = {https://doi.org/10.1007/3-540-07994-7\_48},
doi = {10.1007/3-540-07994-7\_48},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/ac/DijkstraLMSS75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plcpvm/Lamport75,
author = {Leslie Lamport},
title = {On programming parallel computers},
booktitle = {Proceedings of the Conference on Programming Languages and Compilers
for Parallel and Vector Machines 1975, New York, New York, USA, March
18-19, 1975},
pages = {25--33},
publisher = {{ACM}},
year = {1975},
url = {https://doi.org/10.1145/800026.808398},
doi = {10.1145/800026.808398},
timestamp = {Mon, 21 Feb 2022 14:23:18 +0100},
biburl = {https://dblp.org/rec/conf/plcpvm/Lamport75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Lamport74,
author = {Leslie Lamport},
title = {The Parallel Execution of {DO} Loops},
journal = {Commun. {ACM}},
volume = {17},
number = {2},
pages = {83--93},
year = {1974},
url = {https://doi.org/10.1145/360827.360844},
doi = {10.1145/360827.360844},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Lamport74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Lamport74a,
author = {Leslie Lamport},
title = {A New Solution of Dijkstra's Concurrent Programming Problem},
journal = {Commun. {ACM}},
volume = {17},
number = {8},
pages = {453--455},
year = {1974},
url = {https://doi.org/10.1145/361082.361093},
doi = {10.1145/361082.361093},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Lamport74a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sagamore/Lamport74,
author = {Leslie Lamport},
editor = {Tse{-}Yun Feng},
title = {The Hyperplane Method for an Array Computer},
booktitle = {Parallel Processing, Proceedings of the Sagamore Computer Conference,
Sagamore, Adirondack Mountains, NY, USA, August 20-23, 1974},
series = {Lecture Notes in Computer Science},
volume = {24},
pages = {113--131},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-07135-0\_114},
doi = {10.1007/3-540-07135-0\_114},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/sagamore/Lamport74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Lamport70,
author = {Leslie Lamport},
title = {Comment on Bell's quadratic quotient method for hash coded searching},
journal = {Commun. {ACM}},
volume = {13},
number = {9},
pages = {573--574},
year = {1970},
url = {https://doi.org/10.1145/362736.362765},
doi = {10.1145/362736.362765},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Lamport70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-05-02 21:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
