Advisor: Van de Snepscheut, Jan L. A.

Thesis and Dissertations from CaltechTHESIS

• Hofstee, H. Peter (1995) Synchronizing processes; 10.7907/G620-GG65
• Leino, K. Rustan M. (1995) Toward reliable modular programs; 10.7907/ynt2-nn65
• Boden, Nanette Jackson (1993) Runtime systems for fine-grain multicomputers; 10.7907/2c3a-k589