Van de Snepscheut, Jan L. A.

Advisor — 3 thesises

• Boden, Nanette Jackson — Runtime systems for fine-grain multicomputers (1993, Dissertation (Ph.D.))
• Hofstee, H. Peter — Synchronizing processes (1995, Dissertation (Ph.D.))
• Leino, K. Rustan M. — Toward reliable modular programs (1995, Dissertation (Ph.D.))