Остановите войну!
for scientists:
default search action
Leslie Lamport
- > Home > Persons > Leslie Lamport
Publications
- 2022
- [j74]Leslie Lamport, Stephan Merz:
Prophecy Made Simple. ACM Trans. Program. Lang. Syst. 44(2): 6:1-6:27 (2022) - 2021
- [c74]Leslie Lamport, Fred B. Schneider:
Verifying Hyperproperties With TLA. CSF 2021: 1-16 - 2019
- [c73]Markus Alexander Kuppe, Leslie Lamport, Daniel Ricketts:
The TLA+ Toolbox. F-IDE@FM 2019: 50-62 - 2017
- [i7]Leslie Lamport, Stephan Merz:
Auxiliary Variables in TLA+. CoRR abs/1703.05121 (2017) - 2014
- [c72]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 - [i5]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
- [c70]Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Leslie Lamport:
Adaptive Register Allocation with a Linear Number of Registers. DISC 2013: 269-283 - 2012
- [c69]Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto:
TLA + Proofs. FM 2012: 147-154 - [i4]Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto:
TLA+ Proofs. CoRR abs/1208.5933 (2012) - 2010
- [j69]Marcos Kawazoe Aguilera, Eli Gafni, Leslie Lamport:
The mailbox problem. Distributed Comput. 23(2): 113-134 (2010) - [j68]Leslie Lamport, Dahlia Malkhi, Lidong Zhou:
Reconfiguring a state machine. SIGACT News 41(1): 63-73 (2010) - [c65]Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz:
Verifying Safety Properties with the TLA+ Proof System. IJCAR 2010: 142-148 - [c64]Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz:
The TLA+ Proof System: Building a Heterogeneous Verification Platform. ICTAC 2010: 44 - [i3]Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz:
Verifying Safety Properties With the TLA+ Proof System. CoRR abs/1011.2560 (2010) - 2009
- [c61]Leslie Lamport, Dahlia Malkhi, Lidong Zhou:
Vertical paxos and primary-backup replication. PODC 2009: 312-313 - 2008
- [c60]Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz:
A TLA+ Proof System. LPAR Workshops 2008 - [c59]Marcos Kawazoe Aguilera, Eli Gafni, Leslie Lamport:
The Mailbox Problem. DISC 2008: 1-15 - [i2]Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz:
A TLA+ Proof System. CoRR abs/0811.1914 (2008) - 2005
- [c53]Partha Dutta, Rachid Guerraoui, Leslie Lamport:
How Fast Can Eventual Synchrony Lead to Consensus?. DSN 2005: 22-27 - 2003
- [j61]Eli Gafni, Leslie Lamport:
Disk Paxos. Distributed Comput. 16(1): 1-20 (2003) - [j59]Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu:
Checking Cache-Coherence Protocols with TLA+. Formal Methods Syst. Des. 22(2): 125-131 (2003) - 2002
- [c48]Brannon Batson, Leslie Lamport:
High-Level Specifications: Lessons from Industry. FMCO 2002: 242-261 - [c46]Leslie Lamport, John Matthews, Mark R. Tuttle, Yuan Yu:
Specifying and verifying systems with TLA+. ACM SIGOPS European Workshop 2002: 45-48 - 2000
- [j57]Leslie Lamport, Sharon E. Perl, William E. Weihl:
When does a correct mutual exclusion algorithm guarantee mutual exclusion? Inf. Process. Lett. 76(3): 131-134 (2000) - [c44]Eli Gafni, Leslie Lamport:
Disk Paxos. DISC 2000: 330-344 - 1999
- [c43]Yuan Yu, Panagiotis Manolios, Leslie Lamport:
Model Checking TLA+ Specifications. CHARME 1999: 54-66 - [c42]Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu:
Cache Coherence Verification with TLA+. World Congress on Formal Methods 1999: 1871-1872 - 1998
- [c41]Ernie Cohen, Leslie Lamport:
Reduction in TLA. CONCUR 1998: 317-331 - 1995
- [j50]Martín Abadi, Leslie Lamport:
Conjoining Specifications. ACM Trans. Program. Lang. Syst. 17(3): 507-534 (1995) - 1994
- [j46]Martín Abadi, Leslie Lamport:
An Old-Fashined Recipe for Real-Time. ACM Trans. Program. Lang. Syst. 16(5): 1543-1571 (1994) - [c38]Manfred Broy, Leslie Lamport:
The RPC-Memory Specification Problem - Problem Statement. Formal Systems Specification 1994: 1-4 - [c37]Martín Abadi, Leslie Lamport, Stephan Merz:
A TLA Solution to the RPC-Memory Specification Problem. Formal Systems Specification 1994: 21-66 - [c34]Leslie Lamport, Stephan Merz:
Specifying and Verifying Fault-Tolerant Systems. FTRTFT 1994: 41-76 - [c33]Martín Abadi, Leslie Lamport:
Open Systems in TLA. PODC 1994: 81-90 - [c32]Martín Abadi, Leslie Lamport:
Decomposing Specifications of Concurrent Systems. PROCOMET 1994: 327-340 - 1993
- [j45]Martín Abadi, Leslie Lamport:
Composing Specifications. ACM Trans. Program. Lang. Syst. 15(1): 73-132 (1993) - [c30]Robert P. Kurshan, Leslie Lamport:
Verification of a Multiplier: 64 Bits and Beyond. CAV 1993: 166-179 - 1991
- [j43]Martín Abadi, Bowen Alpern, Krzysztof R. Apt, Nissim Francez, Shmuel Katz, Leslie Lamport, Fred B. Schneider:
Preserving Liveness: Comments on "Safety and Liveness from a Methodological Point of View". Inf. Process. Lett. 40(3): 141-142 (1991) - [j42]Martín Abadi, Leslie Lamport:
The Existence of Refinement Mappings. Theor. Comput. Sci. 82(2): 253-284 (1991) - [c24]Martín Abadi, Leslie Lamport:
An Old-Fashioned Recipe for Real Time. REX Workshop 1991: 1-27 - 1990
- [p1]Leslie Lamport, Nancy A. Lynch:
Distributed Computing: Models and Methods. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 1157-1199 - 1989
- [c23]Martín Abadi, Leslie Lamport, Pierre Wolper:
Realizable and Unrealizable Specifications of Reactive Systems. ICALP 1989: 1-17 - [c22]Martín Abadi, Leslie Lamport:
Composing Specifications. REX Workshop 1989: 1-41 - 1988
- [j37]Fred B. Schneider, Leslie Lamport:
On E. W. Dijkstra's position paper on "fairness: ". ACM SIGSOFT Softw. Eng. Notes 13(3): 18-19 (1988) - [c20]Martín Abadi, Leslie Lamport:
The Existence of Refinement Mappings. LICS 1988: 165-175 - [c19]Jennifer L. Welch, Leslie Lamport, Nancy A. Lynch:
A Lattice-Structured Proof of a Minimum Spanning. PODC 1988: 28-43 - 1985
- [c17]Leslie Lamport, Fred B. Schneider:
Constraints: A Uniform Approach to Aliasing and Typing. POPL 1985: 205-216 - [e1]Mack W. Alford, Jean-Pierre Ansart, Günter Hommel, Leslie Lamport, Barbara Liskov, Geoff P. Mullery, Fred B. Schneider:
Distributed Systems: Methods and Tools for Specification, An Advanced Course, April 3-12, 1984 and April 16-25, 1985, Munich, Germany. Lecture Notes in Computer Science 190, Springer 1985, ISBN 3-540-15216-4 [contents] - 1984
- [j25]Leslie Lamport, Fred B. Schneider:
The "Hoare Logic" of CSP, and All That. ACM Trans. Program. Lang. Syst. 6(2): 281-296 (1984) - [c16]Mack W. Alford, Leslie Lamport, Geoff P. Mullery:
Basic Concepts. Advanced Course: Distributed Systems 1984: 7-43 - [c15]Leslie Lamport, Fred B. Schneider:
Formal Foundation for Specification and Verification. Advanced Course: Distributed Systems 1984: 203-285 - [c14]Fred B. Schneider, Leslie Lamport:
Paradigms for Distributed Programs. Advanced Course: Distributed Systems 1984: 431-480
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint