Leslie Lamport
发表
Leslie Lamport,
L. Lamport,
1987
.
Leslie Lamport,
L. Lamport,
1974,
Commun. ACM.
Martín Abadi,
Leslie Lamport,
L. Lamport,
1991,
TOPL.
Nancy A. Lynch,
Leslie Lamport,
N. Lynch,
1990,
Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
Stephan Merz,
Leslie Lamport,
L. Lamport,
1994,
FTRTFT.
Leslie Lamport,
James E. Johnson,
David E. Langworthy,
2007,
J. Log. Algebraic Methods Program..
Leslie Lamport,
1979,
CACM.
Leslie Lamport,
2004,
Acta Informatica.
Leslie Lamport,
2005,
Formal Aspects of Computing.
Leslie Lamport,
L. Lamport,
2006,
Distributed Computing.
Leslie Lamport,
L. Lamport,
2006
.
Leslie Lamport,
James E. Johnson,
David E. Langworthy,
2004,
Electron. Notes Theor. Comput. Sci..
Leslie Lamport,
L. Lamport,
2001
.
P. M. Melliar-Smith,
Leslie Lamport,
L. Lamport,
1985,
JACM.
Leslie Lamport,
Fred B. Schneider,
L. Lamport,
1984,
Advanced Course: Distributed Systems.
Leslie Lamport,
R. Silver,
1966
.
Leslie Lamport,
1998,
Theor. Comput. Sci..
Leslie Lamport,
L. Lamport,
2016
.
Martín Abadi,
Bowen Alpern,
Leslie Lamport,
1991,
Inf. Process. Lett..
Leslie Lamport,
L. Lamport,
1985
.
Nancy A. Lynch,
Leslie Lamport,
Gregory R. Andrews,
2008,
Encyclopedia of GIS.
Leslie Lamport,
L. Lamport,
2005
.
Leslie Lamport,
1990,
TOCS.
Leslie Lamport,
L. Lamport,
1988,
TOPL.
Leslie Lamport,
L. Lamport,
2009,
NASA Formal Methods.
Leslie Lamport,
2018,
Bull. EATCS.
Leslie Lamport,
Dahlia Malkhi,
Lidong Zhou,
2009,
PODC '09.
Leslie Lamport,
Edsger W. Dijkstra,
Carel S. Scholten,
1975,
Language Hierarchies and Interfaces.
Leslie Lamport,
Marshall C. Pease,
Robert E. Shostak,
1982,
TOPL.
Leslie Lamport,
Günter Hommel,
Fred B. Schneider,
1985,
Advanced Course: Distributed Systems.
Leslie Lamport,
L. Lamport,
1994,
TOPL.
Leslie Lamport,
L. Lamport,
1997
.
Leslie Lamport,
L. Lamport,
2008,
Distributed Computing.
Leslie Lamport,
L. Lamport,
1987,
TOCS.
Leslie Lamport,
L. Lamport,
2016
.
Leslie Lamport,
L. Lamport,
Leslie Lamport,
1986,
Distributed Computing.
Martín Abadi,
Pierre Wolper,
Leslie Lamport,
1989,
ICALP.
Leslie Lamport,
2000,
Distributed Computing.
Leslie Lamport,
2010,
Concurrency, Compositionality, and Correctness.
Leslie Lamport,
L. Lamport,
1997,
Theor. Comput. Sci..
Leslie Lamport,
Susan S. Owicki,
L. Lamport,
1981,
Logic of Programs.
Leslie Lamport,
K. M. Chandy,
K. Mani Chandy,
1985,
TOCS.
Leslie Lamport,
2011,
Int. J. Softw. Informatics.
Martín Abadi,
Leslie Lamport,
1989,
REX Workshop.
Marcos K. Aguilera,
Leslie Lamport,
Eli Gafni,
2010,
Distributed Computing.
Leslie Lamport,
Eli Gafni,
2003,
Distributed Computing.
Leslie Lamport,
L. Lamport,
2022
.
Nancy A. Lynch,
Leslie Lamport,
Jennifer L. Welch,
1988
.
Leslie Lamport,
Fred B. Schneider,
2016
.
Leslie Lamport,
1997,
COMPOS.
Leslie Lamport,
L. Lamport,
1983,
The Analysis of Concurrent Systems.
Stephan Merz,
Leslie Lamport,
2017,
ArXiv.
Leslie Lamport,
L. Lamport,
2011,
DISC.
Leslie Lamport,
L. Lamport,
2005
.
Martín Abadi,
Stephan Merz,
Leslie Lamport,
2016,
Formal Systems Specification.
Leslie Lamport,
Mark R. Tuttle,
John Matthews,
2002,
EW 10.
Leslie Lamport,
K. Mani Chandy,
K. M. Chandy,
1990
.
Leslie Lamport,
L. Lamport,
1983,
JACM.
Leslie Lamport,
Jim Gray,
L. Lamport,
2004,
TODS.
Leslie Lamport,
2016
.
Marcos K. Aguilera,
Leslie Lamport,
Eli Gafni,
2008,
DISC.
Leslie Lamport,
L. Lamport,
2016
.
Leslie Lamport,
Fred B. Schneider,
L. Lamport,
1985,
POPL.
Leslie Lamport,
L. Lamport,
1983,
TOPL.
Leslie Lamport,
1985,
OPSR.
Leslie Lamport,
L. Lamport,
2016
.
Leslie Lamport,
L. Lamport,
1995,
IEEE Trans. Software Eng..
Leslie Lamport,
L. Lamport,
1995,
IEEE Trans. Software Eng..
Leslie Lamport,
L. Lamport,
1979,
IEEE Transactions on Computers.
Manfred Broy,
Leslie Lamport,
1994,
Formal Systems Specification.
Leslie Lamport,
L. Lamport,
2016
.
Leslie Lamport,
Eli Gafni,
L. Lamport,
2000,
Distributed Computing.
Leslie Lamport,
L. Lamport,
2004,
DSN.
Leslie Lamport,
Tim Harris,
David Tar,
2006
.
Leslie Lamport,
Fred B. Schneider,
L. Lamport,
1984,
Advanced Course: Distributed Systems.
Leslie Lamport,
L. Lamport,
1982,
Sci. Comput. Program..
Leslie Lamport,
1976
.
Leslie Lamport,
Susan S. Owicki,
L. Lamport,
1982,
TOPL.
Leslie Lamport,
L. Lamport,
1980,
TOPL.
Leslie Lamport,
Fred B. Schneider,
L. Lamport,
1984,
TOPL.
Martín Abadi,
Leslie Lamport,
1994,
PROCOMET.
Leslie Lamport,
Ernie Cohen,
L. Lamport,
1998,
CONCUR.
Leslie Lamport,
Serdar Tasiran,
Mark R. Tuttle,
2003,
Formal Methods Syst. Des..
Leslie Lamport,
1978,
Mathematical Studies of Information Processing.
Nancy A. Lynch,
Leslie Lamport,
Jennifer L. Welch,
1988,
PODC '88.
Leslie Lamport,
L. Lamport,
2016
.
Leslie Lamport,
L. Lamport,
2002,
OPODIS.
Leslie Lamport,
L. Lamport,
2015,
Commun. ACM.
Leslie Lamport,
L. Lamport,
1986,
JACM.
Martín Abadi,
Leslie Lamport,
L. Lamport,
1994,
PODC '94.
Leslie Lamport,
1994,
FORTE.
Leslie Lamport,
Damien Doligez,
Mark R. Tuttle,
2016
.
Leslie Lamport,
L. Lamport,
1992,
CAV.
Leslie Lamport,
L. Lamport,
2016
.
Leslie Lamport,
Sri Manikanta Palakollu,
L. Lamport,
2020,
Practical System Programming with C.
Leslie Lamport,
Charles Antony Richard Hoare,
L. Lamport,
1999
.
Leslie Lamport,
L. Lamport,
2019,
Concurrency: the Works of Leslie Lamport.
Leslie Lamport,
L. Lamport,
2006
.
Leslie Lamport,
L. Lamport,
1984,
TOPL.
Martín Abadi,
Leslie Lamport,
1988,
LICS.
Leslie Lamport,
2016
.
Leslie Lamport,
1970,
CACM.
Leslie Lamport,
1987
.
Leslie Lamport,
L. Lamport,
1986
.
Leslie Lamport,
Peter Grønning,
Urban Engberg,
1992,
Larch.
Leslie Lamport,
2008
.
Stephan Merz,
Leslie Lamport,
Denis Cousineau,
2012,
FM.
Leslie Lamport,
L. Lamport,
2016
.
Leslie Lamport,
L. Lamport,
1976,
Inf. Process. Lett..
Leslie Lamport,
1979,
TOPL.
Leslie Lamport,
1974,
Sagamore Computer Conference.
Leslie Lamport,
L. Lamport,
1996,
TACAS.
Leslie Lamport,
L. Lamport,
1974,
CACM.
Leslie Lamport,
2006,
DISC.
Leslie Lamport,
2014,
PODC '14.
Leslie Lamport,
2005,
Distributed Computing.
Leslie Lamport,
2003
.
Leslie Lamport,
L. Lamport,
2016
.
Leslie Lamport,
2009,
SIGA.
Leslie Lamport,
L. Lamport,
1997,
IEEE Trans. Computers.
Leslie Lamport,
Dahlia Malkhi,
Lidong Zhou,
2009
.
Leslie Lamport,
Michael Fischer,
2016
.
Leslie Lamport,
Mike Massa,
L. Lamport,
2004,
International Conference on Dependable Systems and Networks, 2004.
Marc Frappier,
Leslie Lamport,
Henri Habrias,
2006
.
Leslie Lamport,
2016
.
Stephan Merz,
Leslie Lamport,
Arthur Charguéraud,
2007
.
Leslie Lamport,
L. Lamport,
1986
.
Leslie Lamport,
2016
.
Leslie Lamport,
2006
.
P. M. Melliar-Smith,
Leslie Lamport,
Ira Greenberg,
1989
.
Leslie Lamport,
David Presberg,
1972
.
Leslie Lamport,
Carole Delporte-Gallet,
Hugues Fauconnier,
2013,
DISC.
Leslie Lamport,
L. Lamport,
1994
.
Leslie Lamport,
L. Lamport,
1981,
Logic of Programs.
Leslie Lamport,
Denis Roegel,
Peter B. Ladkin,
2016
.
Stephan Merz,
Leslie Lamport,
Damien Doligez,
2008,
LPAR Workshops.
Leslie Lamport,
1998
.
Leslie Lamport,
L. Lamport,
2016
.
Leslie Lamport,
Robert P. Kurshan,
L. Lamport,
1993,
CAV.
Leslie Lamport,
L. Lamport,
1992,
Hybrid Systems.
Nancy A. Lynch,
Leslie Lamport,
N. Lynch,
1989
.
Rachid Guerraoui,
Leslie Lamport,
Partha Dutta,
2005,
2005 International Conference on Dependable Systems and Networks (DSN'05).
Leslie Lamport,
1984,
Logics and Models of Concurrent Systems.
Leslie Lamport,
L. Lamport,
1977,
Commun. ACM.
Leslie Lamport,
L. Lamport,
1988,
Concurrency.
Leslie Lamport,
L. Lamport,
1987
.
Leslie Lamport,
Denis Roegel,
Peter B. Ladkin,
1999,
Distributed Computing.
Leslie Lamport,
L. Lamport,
1986,
JACM.
Leslie Lamport,
Lawrence C. Paulson,
Lawrence Charles Paulson,
1999,
TOPL.
Leslie Lamport,
Marshall C. Pease,
Robert E. Shostak,
1989
.
Martín Abadi,
Leslie Lamport,
1994,
TOPL.
Leslie Lamport,
Mack W. Alford,
Geoff P. Mullery,
1981,
Advanced Course: Distributed Systems.
Leslie Lamport,
L. Lamport,
1981,
CACM.
Leslie Lamport,
Duane Bibby,
L. Lamport,
1996
.
Leslie Lamport,
L. Lamport,
1998,
TOCS.
Leslie Lamport,
1978,
SOEN.
Leslie Lamport,
2016
.
Leslie Lamport,
2004
.
Leslie Lamport,
L. Lamport,
2019,
Concurrency: the Works of Leslie Lamport.
Leslie Lamport,
2003
.
Leslie Lamport,
Panagiotis Manolios,
Yuan Yu,
1999,
CHARME.
Leslie Lamport,
Ellen Gilkerson,
L. Lamport,
2004
.
Leslie Lamport,
L. Lamport,
1991,
CACM.
Leslie Lamport,
1975
.
Leslie Lamport,
L. Lamport,
1999
.
Leslie Lamport,
L. Lamport,
1993,
REX School/Symposium.
Leslie Lamport,
Leslie Lamport,
1995
.
Leslie Lamport,
L. Lamport,
2002,
Computer.
Leslie Lamport,
L. Lamport,
1978,
CACM.
Stephan Merz,
Sébastien Tixeuil,
Leslie Lamport,
2013
.
Leslie Lamport,
L. Lamport,
2009,
ICTAC.
Leslie Lamport,
1984,
PODC '84.
Leslie Lamport,
L. Lamport,
1977,
IEEE Transactions on Software Engineering.
Leslie Lamport,
L. Lamport,
2005,
CHARME.
Leslie Lamport,
Robert E. Shostak,
M. C. Pease,
1982,
TOPL.
Leslie Lamport,
Edsger W. Dijkstra,
Carel S. Scholten,
1975,
CACM.
Martín Abadi,
Leslie Lamport,
L. Lamport,
1995,
TOPL.
Stephan Merz,
Leslie Lamport,
Damien Doligez,
2010,
IJCAR.
Leslie Lamport,
L. Lamport,
2005
.
Leslie Lamport,
1983,
POPL '83.
Leslie Lamport,
1993
.
Leslie Lamport,
L. Lamport,
2016
.
What it means for a concurrent program to satisfy a specification: why no one has specified priority
Leslie Lamport,
1985,
POPL '85.
Leslie Lamport,
L. Lamport,
1978,
Comput. Networks.
Leslie Lamport,
L. Lamport,
1995
.
Leslie Lamport,
L. Lamport,
2016
.
Leslie Lamport,
Mark R. Tuttle,
Yuan Yu,
2016
.
Leslie Lamport,
L. Lamport,
1975,
Programming Languages and Compilers for Parallel and Vector Machines.
Leslie Lamport,
Sharon E. Perl,
William E. Weihl,
2000,
Inf. Process. Lett..
Leslie Lamport,
Fred B. Schneider,
1989
.
Leslie Lamport,
L. Lamport,
2011,
DISC.
Leslie Lamport,
L. Lamport,
1974,
CACM.
Leslie Lamport,
1984,
PODC.
Leslie Lamport,
Timothy Mann,
2016
.
Leslie Lamport,
L. Lamport,
1975,
Commun. ACM.
Leslie Lamport,
Dahlia Malkhi,
Lidong Zhou,
2010,
SIGA.
Leslie Lamport,
L. Lamport,
1980,
POPL '80.
Leslie Lamport,
L. Lamport,
2019,
Concurrency: the Works of Leslie Lamport.
Leslie Lamport,
L. Lamport,
2016,
IEEE Transactions on Computers.
P. M. Melliar-Smith,
Leslie Lamport,
1984,
PODC '84.
Leslie Lamport,
L. Lamport,
1998,
TOCS.
Leslie Lamport,
2000,
PODC '00.
Leslie Lamport,
L. Lamport,
2003,
Distributed Computing.
Leslie Lamport,
2004,
Acta Informatica.
Leslie Lamport,
L. Lamport,
2003
.
Martín Abadi,
Leslie Lamport,
L. Lamport,
1988,
[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Leslie Lamport,
Danny Dolev,
Marshall C. Pease,
1987
.
Leslie Lamport,
Peter G. Neumann,
William H. Kautz,
1980
.
Leslie Lamport,
Brannon Batson,
L. Lamport,
2002,
FMCO.
Leslie Lamport,
2006,
NCA.
Leslie Lamport,
L. Lamport,
2016
.
Martín Abadi,
Leslie Lamport,
L. Lamport,
1989,
TOPL.
Leslie Lamport,
L. Lamport,
1983,
IFIP Congress.
Leslie Lamport,
L. Lamport,
1990,
TOPL.
Leslie Lamport,
L. Lamport,
2006,
NCA.
Stephan Merz,
Leslie Lamport,
Damien Doligez,
2010,
ICTAC.
Stephan Merz,
Leslie Lamport,
Damien Doligez,
2014,
ARQNL@IJCAR.
Leslie Lamport,
2007,
DISC.
Leslie Lamport,
Richard Palais,
L. Lamport,
2017,
ArXiv.
Leslie Lamport,
L. Lamport,
1998
.
Leslie Lamport,
L. Lamport,
2007
.
Leslie Lamport,
1975
.
Leslie Lamport,
Marshall C. Pease,
Robert E. Shostak,
1980,
JACM.
Leslie Lamport,
2005,
Distributed Computing.
Rachid Guerraoui,
Leslie Lamport,
Carole Delporte-Gallet,
2013
.
Leslie Lamport,
Damien Doligez,
Mark R. Tuttle,
1999,
World Congress on Formal Methods.
Leslie Lamport,
L. Lamport,
2006,
Distributed Computing.
Leslie Lamport,
Daniel Ricketts,
Markus Alexander Kuppe,
2019,
F-IDE@FM.
Leslie Lamport,
L. Lamport,
1994
.
Leslie Lamport,
Fred B. Schneider,
L. Lamport,
2021,
2021 IEEE 34th Computer Security Foundations Symposium (CSF).
Leslie Lamport,
L. Lamport,
1993
.
Leslie Lamport,
L. Lamport,
M. Abadi,
2022
.
Leslie Lamport,
1995
.
Leslie Lamport,
L. Lamport,
2018
.
Leslie Lamport,
2000
.
Leslie Lamport,
2015,
Commun. ACM.