<h1>Van de Snepscheut, Jan L. A.</h1>
<h2>Monograph from <a href="https://data.caltech.edu">CaltechTHESIS advisor</a></h2>
<ul>
<li>Hofstee, H. Peter (1995) <a href="https://resolver.caltech.edu/CaltechETD:etd-10112007-083903">Synchronizing processes</a>; <a href="https://doi.org/10.7907/G620-GG65">10.7907/G620-GG65</a></li>
<li>Leino, K. Rustan M. (1995) <a href="https://resolver.caltech.edu/CaltechETD:etd-10162007-111256">Toward reliable modular programs</a>; <a href="https://doi.org/10.7907/ynt2-nn65">10.7907/ynt2-nn65</a></li>
<li>Boden, Nanette Jackson (1993) <a href="https://resolver.caltech.edu/CaltechETD:etd-08222007-103344">Runtime systems for fine-grain multicomputers</a>; <a href="https://doi.org/10.7907/2c3a-k589">10.7907/2c3a-k589</a></li>
</ul>