( en | de | ru )

 

Disambiguierung von "Lamport, Leslie"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Byzantine Clock Synchronization.

, und . PODC, Seite 68-74. ACM, (1984)

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

Computer Science and State Machines.. Concurrency, Compositionality, and Correctness, Volume 5930 von Lecture Notes in Computer Science, Seite 60-65. Springer, (2010)Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21 (7): 558--565 (1978)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)Paxos Made Simple, Fast, and Byzantine.. OPODIS, Volume 3 von Studia Informatica Universalis, Seite 7-9. Suger, Saint-Denis, rue Catulienne, France, (2002)The TLA<sup> + </sup> Proof System: Building a Heterogeneous Verification Platform, , , und . Theoretical Aspects of Computing – ICTAC 2010, Volume 6255 von Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/978-3-642-14808-8_3.(2010)Open Systems in TLA., und . PODC, Seite 81-90. ACM, (1994)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 PlusCal Algorithm Language.. ICTAC, Volume 5684 von Lecture Notes in Computer Science, Seite 36-60. Springer, (2009)What Good is Temporal Logic?. IFIP Congress, Seite 657-668. North-Holland/IFIP, (1983)