The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Leslie Lamport" ( http://dblp.L3S.de/Authors/Leslie_Lamport )

URL (Homepage):  http://www.lamport.org/  Author page on DBLP  Author page in RDF  Community of Leslie Lamport in ASPL-2

Publication years (Num. hits)
1970-1978 (16) 1979-1983 (18) 1984-1986 (20) 1987-1991 (16) 1992-1994 (20) 1995-2000 (18) 2002-2006 (20) 2007-2010 (16) 2011-2019 (23) 2021-2022 (6)
Publication types (Num. hits)
article(84) book(4) incollection(11) inproceedings(73) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 70 occurrences of 42 keywords

Results
Found 174 publication records. Showing 173 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jonas Bayer, Christoph Benzmüller, Kevin Buzzard, Marco David, Leslie Lamport, Yuri V. Matiyasevich, Lawrence C. Paulson, Dierk Schleicher, Benedikt Stock, Efim I. Zelmanov Mathematical Proof Between Generations. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Leslie Lamport Deconstructing the bakery to build a distributed state machine. Search on Bibsonomy Commun. ACM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Leslie Lamport, Stephan Merz Prophecy Made Simple. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Edsger W. Dijkstra, Leslie Lamport, Alain J. Martin, Carel S. Scholten, Elisabeth F. M. Steffens On-the-Fly Garbage Collection: An Exercise in Cooperation. Search on Bibsonomy Edsger Wybe Dijkstra The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Leslie Lamport Concurrent Algorithms. Search on Bibsonomy Edsger Wybe Dijkstra The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Leslie Lamport, Fred B. Schneider Verifying Hyperproperties With TLA. Search on Bibsonomy CSF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Markus Alexander Kuppe, Leslie Lamport, Daniel Ricketts 0001 The TLA+ Toolbox. Search on Bibsonomy F-IDE@FM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Leslie Lamport The mutual exclusion problem: part II - Statement and solutions. Search on Bibsonomy Concurrency: the Works of Leslie Lamport The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Leslie Lamport The computer science of concurrency: the early years. Search on Bibsonomy Concurrency: the Works of Leslie Lamport The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Leslie Lamport How to make a multiprocessor computer that correctly executes multiprocess programs. Search on Bibsonomy Concurrency: the Works of Leslie Lamport The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Leslie Lamport The part-time parliament. Search on Bibsonomy Concurrency: the Works of Leslie Lamport The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Leslie Lamport Time, clocks, and the ordering of events in a distributed system. Search on Bibsonomy Concurrency: the Works of Leslie Lamport The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Leslie Lamport The mutual exclusion problem: part I - A theory of interprocess communication. Search on Bibsonomy Concurrency: the Works of Leslie Lamport The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Leslie Lamport A new solution of Dijkstra's concurrent programming problem. Search on Bibsonomy Concurrency: the Works of Leslie Lamport The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Leslie Lamport, Robert E. Shostak, Marshall C. Pease The Byzantine generals problem. Search on Bibsonomy Concurrency: the Works of Leslie Lamport The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Leslie Lamport If You're Not Writing a Program, Don't Use a Programming Language. Search on Bibsonomy Bull. EATCS The full citation details ... 2018 DBLP  BibTeX  RDF
1Leslie Lamport, Stephan Merz Auxiliary Variables in TLA+. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Leslie Lamport, Richard Palais On the Glitch Phenomenon. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Leslie Lamport Who builds a house without drawing blueprints? Search on Bibsonomy Commun. ACM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Leslie Lamport Turing lecture: The computer science of concurrency: the early years. Search on Bibsonomy Commun. ACM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics. Search on Bibsonomy ARQNL@IJCAR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Leslie Lamport An incomplete history of concurrency chapter 1. 1965-1977. Search on Bibsonomy PODC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Leslie Lamport Adaptive Register Allocation with a Linear Number of Registers. Search on Bibsonomy DISC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Denis Cousineau 0002, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts 0001, Hernán Vanzetto TLA+ Proofs Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Denis Cousineau 0002, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts 0001, Hernán Vanzetto TLA + Proofs. Search on Bibsonomy FM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Leslie Lamport Euclid Writes an Algorithm: A Fairytale. Search on Bibsonomy Int. J. Softw. Informatics The full citation details ... 2011 DBLP  BibTeX  RDF
1Leslie Lamport Brief Announcement: Leaderless Byzantine Paxos. Search on Bibsonomy DISC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Leslie Lamport Byzantizing Paxos by Refinement. Search on Bibsonomy DISC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marcos Kawazoe Aguilera, Eli Gafni, Leslie Lamport The mailbox problem. Search on Bibsonomy Distributed Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz Verifying Safety Properties With the TLA+ Proof System Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Leslie Lamport, Dahlia Malkhi, Lidong Zhou Reconfiguring a state machine. Search on Bibsonomy SIGACT News The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz The TLA+ Proof System: Building a Heterogeneous Verification Platform. Search on Bibsonomy ICTAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Leslie Lamport Computer Science and State Machines. Search on Bibsonomy Concurrency, Compositionality, and Correctness The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz Verifying Safety Properties with the TLA+ Proof System. Search on Bibsonomy IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Leslie Lamport Teaching concurrency. Search on Bibsonomy SIGACT News The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Leslie Lamport The PlusCal Algorithm Language. Search on Bibsonomy ICTAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Leslie Lamport, Dahlia Malkhi, Lidong Zhou Vertical paxos and primary-backup replication. Search on Bibsonomy PODC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF replication
1Leslie Lamport TLA+: Whence, Wherefore, and Whither. Search on Bibsonomy NASA Formal Methods The full citation details ... 2009 DBLP  BibTeX  RDF
1Leslie Lamport Implementing dataflow with threads. Search on Bibsonomy Distributed Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Multiprocess synchronization, Dataflow, Marked graphs
1Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz A TLA+ Proof System Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz A TLA+ Proof System. Search on Bibsonomy LPAR Workshops The full citation details ... 2008 DBLP  BibTeX  RDF
1Marcos Kawazoe Aguilera, Eli Gafni, Leslie Lamport The Mailbox Problem. Search on Bibsonomy DISC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1James E. Johnson, David E. Langworthy, Leslie Lamport, Friedrich H. Vogt Formal specification of a Web services protocol. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Leslie Lamport DISC 20th Anniversary: Invited Talk Time, Clocks, and the Ordering of My Ideas About Distributed Systems. Search on Bibsonomy DISC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Leslie Lamport Lower bounds for asynchronous consensus. Search on Bibsonomy Distributed Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Fault tolerance, Distributed algorithms, Consensus, Paxos
1Leslie Lamport Fast Paxos. Search on Bibsonomy Distributed Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Fault tolerance, Distributed algorithms, Consensus, Paxos
1Jim Gray 0001, Leslie Lamport Consensus on transaction commit. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Consensus, Paxos, two-phase commit
1Leslie Lamport The +CAL Algorithm Language. Search on Bibsonomy NCA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Leslie Lamport Checking a Multithreaded Algorithm with +CAL. Search on Bibsonomy DISC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Leslie Lamport The +CAL Algorithm Language. Search on Bibsonomy FORTE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Partha Dutta, Rachid Guerraoui, Leslie Lamport How Fast Can Eventual Synchrony Lead to Consensus?. Search on Bibsonomy DSN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Leslie Lamport Real-Time Model Checking Is Really Simple. Search on Bibsonomy CHARME The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1James E. Johnson, David E. Langworthy, Leslie Lamport, Friedrich H. Vogt Formal Specification of a Web Services Protocol. Search on Bibsonomy Electron. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jim Gray 0001, Leslie Lamport Consensus on Transaction Commit Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Leslie Lamport, Mike Massa Cheap Paxos. Search on Bibsonomy DSN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Leslie Lamport Recent Discoveries from Paxos. Search on Bibsonomy DSN The full citation details ... 2004 DBLP  BibTeX  RDF
1Eli Gafni, Leslie Lamport Disk Paxos. Search on Bibsonomy Distributed Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Fault tolerance, Distributed computing, Consensus, State machine
1Leslie Lamport Arbitration-free synchronization. Search on Bibsonomy Distributed Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Multiprocess synchronization, Arbiter, Marked graphs
1Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu Checking Cache-Coherence Protocols with TLA+. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF TLC, model checking, cache coherence, TLA+
1Leslie Lamport Lower Bounds for Asynchronous Consensus. Search on Bibsonomy Future Directions in Distributed Computing The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Leslie Lamport Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers Search on Bibsonomy 2002   RDF
1Leslie Lamport, John Matthews, Mark R. Tuttle, Yuan Yu Specifying and verifying systems with TLA+. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Brannon Batson, Leslie Lamport High-Level Specifications: Lessons from Industry. Search on Bibsonomy FMCO The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Leslie Lamport Paxos Made Simple, Fast, and Byzantine. Search on Bibsonomy OPODIS The full citation details ... 2002 DBLP  BibTeX  RDF
1Leslie Lamport, Sharon E. Perl, William E. Weihl When does a correct mutual exclusion algorithm guarantee mutual exclusion? Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Leslie Lamport Fairness and hyperfairness. Search on Bibsonomy Distributed Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Eli Gafni, Leslie Lamport Disk Paxos. Search on Bibsonomy DISC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Leslie Lamport Distributed algorithms in TLA (abstract). Search on Bibsonomy PODC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Peter B. Ladkin, Leslie Lamport, Bryan Olivier, Denis Roegel Lazy Caching in TLA. Search on Bibsonomy Distributed Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Leslie Lamport, Lawrence C. Paulson Should your specification language be typed. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF specification, types, set theory
1Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu Cache Coherence Verification with TLA+. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Yuan Yu, Panagiotis Manolios, Leslie Lamport Model Checking TLA+ Specifications. Search on Bibsonomy CHARME The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Leslie Lamport The Part-Time Parliament. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF three-phase commit, voting, state machines
1Leslie Lamport Proving Possibility Properties. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Ernie Cohen, Leslie Lamport Reduction in TLA. Search on Bibsonomy CONCUR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Leslie Lamport How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1997 DBLP  DOI  BibTeX  RDF verification, Concurrency, synchronization, multiprocessor, memory consistency
1Leslie Lamport Processes are in the Eye of the Beholder. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Leslie Lamport Composition: A Way to Make Proofs Harder. Search on Bibsonomy COMPOS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Leslie Lamport Managing Proofs (Abstract). Search on Bibsonomy TACAS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Leslie Lamport TLA in Pictures. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Concurrency, specification, temporal logic, state-transition diagrams
1Martín Abadi, Leslie Lamport Conjoining Specifications. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF temporal logic, composition, decomposition, concurrent programming, safety properties, liveness properties, modular specification
1Leslie Lamport Das LaTeX-Handbuch. Search on Bibsonomy 1995   RDF
1Leslie Lamport How to Write a Long Formula (Short Communication). Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Martín Abadi, Leslie Lamport An Old-Fashined Recipe for Real-Time. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Zeno, real time, temporal logic, composition, concurrent programming, safety properties, liveness properties
1Leslie Lamport The Temporal Logic of Actions. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF concurrent programming, safety properties, liveness properties
1Leslie Lamport LaTeX - A Document Preparation System: User's Guide and Reference Manual, Second Edition. Search on Bibsonomy 1994   RDF
1Martín Abadi, Leslie Lamport, Stephan Merz A TLA Solution to the RPC-Memory Specification Problem. Search on Bibsonomy Formal Systems Specification The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Manfred Broy, Leslie Lamport The RPC-Memory Specification Problem - Problem Statement. Search on Bibsonomy Formal Systems Specification The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Martín Abadi, Leslie Lamport Decomposing Specifications of Concurrent Systems. Search on Bibsonomy PROCOMET The full citation details ... 1994 DBLP  BibTeX  RDF
1Leslie Lamport TLA in Pictures. Search on Bibsonomy Specification of Parallel Algorithms The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Leslie Lamport TLZ. Search on Bibsonomy Z User Workshop The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Martín Abadi, Leslie Lamport Open Systems in TLA. Search on Bibsonomy PODC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Leslie Lamport, Stephan Merz Specifying and Verifying Fault-Tolerant Systems. Search on Bibsonomy FTRTFT The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Leslie Lamport How good is your specification method? Search on Bibsonomy FORTE The full citation details ... 1994 DBLP  BibTeX  RDF
1Martín Abadi, Leslie Lamport Composing Specifications. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF concurrent programming, compositionality, safety properties, liveness properties, modular specification
1Robert P. Kurshan, Leslie Lamport Verification of a Multiplier: 64 Bits and Beyond. Search on Bibsonomy CAV The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Leslie Lamport Verification and Specifications of Concurrent Programs. Search on Bibsonomy REX School/Symposium The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Assertional methods, Owicki-Gries method, formal methods, temporal logic, fairness, mathematics, TLA
1Leslie Lamport Critique of the Lake Arrowhead Three. Search on Bibsonomy Distributed Comput. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Leslie Lamport Computer-Hindered Verification (Humans Can Do It Too). Search on Bibsonomy CAV The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 173 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license