( en | de | ru )

 

Disambiguierung von "Lampson, Butler W."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Experience with Processes and Monitors in Mesa.

, und . Commun. ACM, 23 (2): 105-117 (1980)

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.

Peter Lampson

Christian Lampson

Erin Butler

Martin Butler

Marko Butler

 

Weitere Publikationen von Autoren mit dem selben Namen

Experience with Processes and Monitors in Mesa., und . Commun. ACM, 23 (2): 105-117 (1980)The ABCD's of Paxos.. PODC, Seite 13. ACM, (2001)An Open Operating System for a Single-User Machine., und . SOSP, Seite 98-105. ACM, (1979)Operating System Review 13(5).A scheduling philosophy for multiprocessing systems.. Commun. ACM, 11 (5): 347-360 (1968)Proof Rules for the Programming Language Euclid., , , , , und . Program Construction, Volume 69 von Lecture Notes in Computer Science, Seite 133-163. Springer, (1978)Hints and Principles for Computer System Design.. CoRR, (2020)Revisiting the PAXOS algorithm., , und . Theor. Comput. Sci., 243 (1-2): 35-91 (2000)Pebble, a Kernel Language for Modules and Abstract Data Types, und . Inf. Comput., 76 (2/3): 278-346 (Februar 1988)Verifying concurrent software using movers in CSPEC., , , und . OSDI, Seite 306-322. USENIX Association, (2018)On-Line Data Compression in a Log-Structured File System., , , und . ASPLOS, Seite 2-9. ACM Press, (1992)