@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-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-12072007-131639,
    title = "The architecture and programming of a fine-grain multicomputer",
    year = "1994",
    url = "https://resolver.caltech.edu/CaltechETD:etd-12072007-131639",
    id = "record",
    doi = "10.7907/53vc-hs15"
}


@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"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-07202007-132706,
    title = "Testing delay-insensitive circuits",
    year = "1992",
    url = "https://resolver.caltech.edu/CaltechETD:etd-07202007-132706",
    id = "record",
    doi = "10.7907/0d7v-9d09"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-07092007-072640,
    title = "Performance analysis and optimization of asynchronous circuits",
    year = "1991",
    url = "https://resolver.caltech.edu/CaltechETD:etd-07092007-072640",
    id = "record",
    doi = "10.7907/kez1-7q52"
}


@other{https://resolver.caltech.edu/CaltechETD:etd-03192008-143903,
    title = "A Parallel Execution Model for Logic Programming",
    year = "1986",
    url = "https://resolver.caltech.edu/CaltechETD:etd-03192008-143903",
    id = "record",
    doi = "10.7907/2ngs-bp80"
}