( en | de | ru )

 

Disambiguierung von "Lamport, Leslie"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
LATEX : a document preparation system : user's guide and reference manual

. Addison-Wesley Pub. Co., Reading, Mass., (1994)

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

A Simple Approach to Specifying Concurrent Systems.. Commun. ACM, 32 (1): 32-45 (1989)Comment on Bell's quadratic quotient method for hash coded searching.. Commun. ACM, 13 (9): 573-574 (1970)Concurrent Reading and Writing.. Commun. ACM, 20 (11): 806-811 (1977)Should your specification language be typed., und . ACM Trans. Program. Lang. Syst., 21 (3): 502-526 (1999)Proving Liveness Properties of Concurrent Programs., und . ACM Trans. Program. Lang. Syst., 4 (3): 455-495 (1982)A Fast Mutual Exclusion Algorithm.. ACM Trans. Comput. Syst., 5 (1): 1-11 (1987)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)Constraints: A Uniform Approach to Aliasing and Typing., und . POPL, Seite 205-216. ACM Press, (1985)