( en | de | ru )

 

Disambiguierung von "Lamport, Leslie"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
MakeIndex: An Index Processor For LaTEX

. (17.02.1987)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Leslie Melters

Leslie Schlüter

Leslie Knolle

Leslie Tramontini

Leslie Heckmann

 

Weitere Publikationen von Autoren mit dem selben Namen

Who builds a house without drawing blueprints?. Commun. ACM, 58 (4): 38--41 (2015)Open Systems in TLA., und . PODC, Seite 81-90. ACM, (1994)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 von Lecture Notes in Computer Science, Seite 60-65. Springer, (2010)The PlusCal Algorithm Language.. ICTAC, Volume 5684 von Lecture Notes in Computer Science, Seite 36-60. Springer, (2009)Program Logics and Program Verification (position paper)., und . Logic of Programs, Volume 131 von Lecture Notes in Computer Science, Seite 197-199. Springer, (1981)An Old-Fashioned Recipe for Real Time., und . REX Workshop, Volume 600 von Lecture Notes in Computer Science, Seite 1-27. Springer, (1991)The specification and proof of correctness of interactive programs.. Mathematical Studies of Information Processing, Volume 75 von Lecture Notes in Computer Science, Seite 474-537. Springer, (1978)Checking a Multithreaded Algorithm with +CAL.. DISC, Volume 4167 von Lecture Notes in Computer Science, Seite 151-163. Springer, (2006)What Good is Temporal Logic?. IFIP Congress, Seite 657-668. North-Holland/IFIP, (1983)