( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Computer Systems Research: Past and Future

. (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Peter Lampson

Christian Lampson

Erin Butler

Martin Butler

Marko Butler

 

Другие публикации лиц с тем же именем

Computer Systems Research: Past and Future. (1999)A scheduling philosophy for multiprocessing systems.. Commun. ACM, 11 (5): 347-360 (1968)Experience with Processes and Monitors in Mesa., и . Commun. ACM, 23 (2): 105-117 (1980)The ABCD's of Paxos.. PODC, стр. 13. ACM, (2001)An Open Operating System for a Single-User Machine., и . SOSP, стр. 98-105. ACM, (1979)Operating System Review 13(5).Proof Rules for the Programming Language Euclid., , , , , и . Program Construction, том 69 из Lecture Notes in Computer Science, стр. 133-163. Springer, (1978)Hints and Principles for Computer System Design.. CoRR, (2020)Revisiting the PAXOS algorithm., , и . Theor. Comput. Sci., 243 (1-2): 35-91 (2000)Pebble, a Kernel Language for Modules and Abstract Data Types, и . Inf. Comput., 76 (2/3): 278-346 (февраля 1988)Verifying concurrent software using movers in CSPEC., , , и . OSDI, стр. 306-322. USENIX Association, (2018)