Home
People
Groups
Recent
Samples
JavaScript
Widgets
Search Feeds
About
Van de Snepscheut, Jan L. A.
Monograph from
CaltechTHESIS advisor
Leino, K. Rustan M. (1995)
Toward reliable modular programs
;
10.7907/ynt2-nn65
Hofstee, H. Peter (1995)
Synchronizing processes
;
10.7907/G620-GG65
Boden, Nanette Jackson (1993)
Runtime systems for fine-grain multicomputers
;
10.7907/2c3a-k589