( en | de | ru )

 

Disambiguation of "Lamport, Leslie"

Author of the publication

copydeleteadd this publication to your clipboard
Composing Specifications.

, and . REX Workshop, volume 430 of Lecture Notes in Computer Science, page 1-41. Springer, (1989)

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

What Good is Temporal Logic?. IFIP Congress, page 657-668. North-Holland/IFIP, (1983)Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21 (7): 558--565 (1978)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)Program Logics and Program Verification (position paper)., and . Logic of Programs, volume 131 of Lecture Notes in Computer Science, page 197-199. Springer, (1981)An Old-Fashioned Recipe for Real Time., and . REX Workshop, volume 600 of Lecture Notes in Computer Science, page 1-27. Springer, (1991)Checking a Multithreaded Algorithm with +CAL.. DISC, volume 4167 of Lecture Notes in Computer Science, page 151-163. Springer, (2006)How Fast Can Eventual Synchrony Lead to Consensus?., , and . DSN, page 22-27. IEEE Computer Society, (2005)Cheap Paxos., and . DSN, page 307-314. IEEE Computer Society, (2004)Who builds a house without drawing blueprints?. Commun. ACM, 58 (4): 38--41 (2015)