( 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 Schlüter

Leslie Knolle

Leslie Tramontini

Leslie Heckmann

 

Weitere Publikationen von Autoren mit dem selben Namen

Preserving Liveness: Comments on ``Safety and Liveness from a Methodological Point of View''., , , , , , und . Inf. Process. Lett., 40 (3): 141-142 (1991)The `Hoare Logic' of Concurrent Programs.. Acta Inf., (1980)How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor.. IEEE Trans. Computers, 46 (7): 779-782 (1997)TLA+: Whence, Wherefore, and Whither.. NASA Formal Methods, Volume NASA/CP-2009-215407 von NASA Conference Proceedings, Seite 3. (2009)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)