@other{https://resolver.caltech.edu/CaltechETD:etd-10112007-083903, title = "Synchronizing processes", 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", 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", 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", 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", 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", 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", url = "https://resolver.caltech.edu/CaltechETD:etd-03192008-143903", id = "record", doi = "10.7907/2ngs-bp80" }