( en | de | ru )

 

Disambiguierung von "Lamport, Leslie"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Paxos Made Simple, Fast, and Byzantine.

. OPODIS, Volume 3 von Studia Informatica Universalis, Seite 7-9. Suger, Saint-Denis, rue Catulienne, France, (2002)

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 Tramontini

Leslie Schlüter

Leslie Knolle

Leslie Heckmann

 

Weitere Publikationen von Autoren mit dem selben Namen

The Implementation of Reliable Distributed Multiprocess Systems.. Comput. Networks, (1978)On Interprocess Communication. Part I: Basic Formalism.. Distributed Comput., 1 (2): 77-85 (1986)The mailbox problem., , und . Distributed Comput., 23 (2): 113-134 (2010)The Hyperplane Method for an Array Computer.. Sagamore Computer Conference, Volume 24 von Lecture Notes in Computer Science, Seite 113-131. Springer, (1974)Composing Specifications., und . REX Workshop, Volume 430 von Lecture Notes in Computer Science, Seite 1-41. Springer, (1989)Hybrid Systems in TLA+.. Hybrid Systems, Volume 736 von Lecture Notes in Computer Science, Seite 77-102. Springer, (1992)Processes are in the Eye of the Beholder.. Theor. Comput. Sci., 179 (1-2): 333-351 (1997)TLA+: Whence, Wherefore, and Whither.. NASA Formal Methods, Volume NASA/CP-2009-215407 von NASA Conference Proceedings, Seite 3. (2009)Verification and Specifications of Concurrent Programs.. REX School/Symposium, Volume 803 von Lecture Notes in Computer Science, Seite 347-374. Springer, (1993)DISC 20th Anniversary: Invited Talk Time, Clocks, and the Ordering of My Ideas About Distributed Systems.. DISC, Volume 4731 von Lecture Notes in Computer Science, Seite 504. Springer, (2007)