( en | de | ru )

 

Disambiguierung von "Lamport, Leslie"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Processes are in the Eye of the Beholder.

. Theor. Comput. Sci., 179 (1-2): 333-351 (1997)

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 Heckmann

Leslie Tramontini

 

Weitere Publikationen von Autoren mit dem selben Namen

Processes are in the Eye of the Beholder.. Theor. Comput. Sci., 179 (1-2): 333-351 (1997)The Mailbox Problem., , und . DISC, Volume 5218 von Lecture Notes in Computer Science, Seite 1-15. Springer, (2008)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)Verification and Specifications of Concurrent Programs.. REX School/Symposium, Volume 803 von Lecture Notes in Computer Science, Seite 347-374. Springer, (1993)LaTeX: A Document Preparation System (2nd Edition). Addison-Wesley Professional, 2 Edition, (10.07.1994)Recent Discoveries from Paxos.. DSN, Seite 3. IEEE Computer Society, (2004)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)The Hyperplane Method for an Array Computer.. Sagamore Computer Conference, Volume 24 von Lecture Notes in Computer Science, Seite 113-131. Springer, (1974)The `Hoare Logic' of Concurrent Programs.. Acta Inf., (1980)