@other{https://resolver.caltech.edu/CaltechETD:etd-10162007-111256,
    title = "Toward reliable modular programs",
    year = "1995",
    url = "https://resolver.caltech.edu/CaltechETD:etd-10162007-111256",
    id = "record",
    doi = "10.7907/ynt2-nn65"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-10112007-083903,
    title = "Synchronizing processes",
    year = "1995",
    url = "https://resolver.caltech.edu/CaltechETD:etd-10112007-083903",
    id = "record",
    doi = "10.7907/G620-GG65"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-08222007-103344,
    title = "Runtime systems for fine-grain multicomputers",
    year = "1993",
    url = "https://resolver.caltech.edu/CaltechETD:etd-08222007-103344",
    id = "record",
    doi = "10.7907/2c3a-k589"
}