Autor der Publikation

An Open Operating System for a Single-User Machine.

, und . SOSP, Seite 98-105. ACM, (1979)Operating System Review 13(5).

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Experience with Processes and Monitors in Mesa, und . Commun. ACM, 23 (2): 105--117 (1980)A scheduling philosophy for multiprocessing systems.. Commun. ACM, 11 (5): 347-360 (1968)An Open Operating System for a Single-User Machine., und . SOSP, Seite 98-105. ACM, (1979)Operating System Review 13(5).The ABCD's of Paxos.. PODC, Seite 13. ACM, (2001)Proof Rules for the Programming Language Euclid., , , , , und . Program Construction, Volume 69 von Lecture Notes in Computer Science, Seite 133-163. Springer, (1978)Revisiting the PAXOS algorithm., , und . Theor. Comput. Sci., 243 (1-2): 35-91 (2000)Hints and Principles for Computer System Design.. CoRR, (2020)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)Correctness of At-Most-Once Message Delivery Protocols., , und . FORTE, Volume C-22 von IFIP Transactions, Seite 385-400. North-Holland, (1993)