( en | de | ru )

 

Disambiguation of "Lamport, Leslie"

Author of the publication

copydeleteadd this publication to your clipboard
TLA+: Whence, Wherefore, and Whither.

. NASA Formal Methods, volume NASA/CP-2009-215407 of NASA Conference Proceedings, page 3. (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Leslie Melters

Leslie Schlüter

Leslie Knolle

Leslie Tramontini

Leslie Heckmann

 

Other publications of authors with the same name

Paxos Made Simple, Fast, and Byzantine.. OPODIS, volume 3 of Studia Informatica Universalis, page 7-9. Suger, Saint-Denis, rue Catulienne, France, (2002)Open Systems in TLA., and . PODC, page 81-90. ACM, (1994)Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21 (7): 558--565 (1978)Program Logics and Program Verification (position paper)., and . Logic of Programs, volume 131 of Lecture Notes in Computer Science, page 197-199. Springer, (1981)Computer Science and State Machines.. Concurrency, Compositionality, and Correctness, volume 5930 of Lecture Notes in Computer Science, page 60-65. Springer, (2010)The PlusCal Algorithm Language.. ICTAC, volume 5684 of Lecture Notes in Computer Science, page 36-60. Springer, (2009)An Old-Fashioned Recipe for Real Time., and . REX Workshop, volume 600 of Lecture Notes in Computer Science, page 1-27. Springer, (1991)The TLA<sup> + </sup> Proof System: Building a Heterogeneous Verification Platform, , , and . Theoretical Aspects of Computing – ICTAC 2010, volume 6255 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/978-3-642-14808-8_3.(2010)win and sin: predicate transformers for concurrency. ACM Trans. Program. Lang. Syst., 12 (3): 396--428 (1990)On-the-Fly Garbage Collection: An Exercise in Cooperation, , , , and . Commun. ACM, (November 1978)