- 2014
- Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz:
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics. ARQNL@IJCAR 2014: 1-16 - Leslie Lamport:
An incomplete history of concurrency chapter 1. 1965-1977. PODC 2014: 291 - Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz:
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics. CoRR abs/1409.3819 (2014) - 2013
- Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Leslie Lamport:
Adaptive Register Allocation with a Linear Number of Registers. DISC 2013: 269-283 - 2012
- Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto:
TLA + Proofs. FM 2012: 147-154 - Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto:
TLA+ Proofs. CoRR abs/1208.5933 (2012) - 2011
- Leslie Lamport:
Euclid Writes an Algorithm: A Fairytale. Int. J. Softw. Informatics 5(1-2): 7-20 (2011) - Leslie Lamport:
Brief Announcement: Leaderless Byzantine Paxos. DISC 2011: 141-142 - Leslie Lamport:
Byzantizing Paxos by Refinement. DISC 2011: 211-224 - 2010
- Marcos Kawazoe Aguilera, Eli Gafni, Leslie Lamport:
The mailbox problem. Distributed Comput. 23(2): 113-134 (2010) - Leslie Lamport, Dahlia Malkhi, Lidong Zhou:
Reconfiguring a state machine. SIGACT News 41(1): 63-73 (2010) - Leslie Lamport:
Computer Science and State Machines. Concurrency, Compositionality, and Correctness 2010: 60-65 - Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz:
Verifying Safety Properties with the TLA+ Proof System. IJCAR 2010: 142-148 - Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz:
The TLA+ Proof System: Building a Heterogeneous Verification Platform. ICTAC 2010: 44 - Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz:
Verifying Safety Properties With the TLA+ Proof System. CoRR abs/1011.2560 (2010) - 2009
- Leslie Lamport:
Teaching concurrency. SIGACT News 40(1): 58-62 (2009) - Leslie Lamport:
The PlusCal Algorithm Language. ICTAC 2009: 36-60 - Leslie Lamport:
TLA+: Whence, Wherefore, and Whither. NASA Formal Methods 2009: 3 - Leslie Lamport, Dahlia Malkhi, Lidong Zhou:
Vertical paxos and primary-backup replication. PODC 2009: 312-313 - 2008
- Leslie Lamport:
Implementing dataflow with threads. Distributed Comput. 21(3): 163-181 (2008) - Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz:
A TLA+ Proof System. LPAR Workshops 2008 - Marcos Kawazoe Aguilera, Eli Gafni, Leslie Lamport:
The Mailbox Problem. DISC 2008: 1-15 - Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz:
A TLA+ Proof System. CoRR abs/0811.1914 (2008) - 2007
- James E. Johnson, David E. Langworthy, Leslie Lamport, Friedrich H. Vogt:
Formal specification of a Web services protocol. J. Log. Algebraic Methods Program. 70(1): 34-52 (2007) - Leslie Lamport:
DISC 20th Anniversary: Invited Talk Time, Clocks, and the Ordering of My Ideas About Distributed Systems. DISC 2007: 504 - 2006
- Leslie Lamport:
Fast Paxos. Distributed Comput. 19(2): 79-103 (2006) - Leslie Lamport:
Lower bounds for asynchronous consensus. Distributed Comput. 19(2): 104-125 (2006) - Jim Gray, Leslie Lamport:
Consensus on transaction commit. ACM Trans. Database Syst. 31(1): 133-160 (2006) - Leslie Lamport:
The +CAL Algorithm Language. FORTE 2006: 23 - Leslie Lamport:
The +CAL Algorithm Language. NCA 2006: 5