@article{https://resolver.caltech.edu/CaltechAUTHORS:20141106-133106801,
    title = "A Compact Transregional Model for Digital CMOS Circuits Operating Near Threshold",
    journal = "IEEE Transactions on Very Large Scale Integration (VLSI) Systems",
    year = "2014",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20141106-133106801",
    id = "record",
    issn = "1063-8210",
    doi = "10.1109/TVLSI.2013.2282316",
    volume = "22"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:MARprocieee06,
    title = "Asynchronous techniques for system-on-chip design",
    journal = "Proceedings of the IEEE",
    year = "2006",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:MARprocieee06",
    id = "record",
    issn = "0018-9219",
    doi = "10.1109/JPROC.2006.875789",
    volume = "94"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170409-083932724,
    title = "Specifying the Caltech asynchronous microprocessor",
    journal = "Science of Computer Programming",
    year = "1996",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170409-083932724",
    id = "record",
    issn = "0167-6423",
    doi = "10.1016/0167-6423(95)00023-2",
    volume = "26"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:TIEieeedtc94,
    title = "A 100-MIPS GaAs asynchronous microprocessor",
    journal = "IEEE Design and Test of Computers",
    year = "1994",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:TIEieeedtc94",
    id = "record",
    issn = "1084-7529",
    doi = "10.1109/54.282444",
    volume = "11"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170830-083320673,
    title = "Distributed sorting",
    journal = "Science of Computer Programming",
    year = "1990",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170830-083320673",
    id = "record",
    issn = "0167-6423",
    doi = "10.1016/0167-6423(90)90081-N",
    volume = "15"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20161130-144153368,
    title = "The design of an asynchronous microprocessor",
    journal = "ACM SIGARCH Computer Architecture News",
    year = "1989",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161130-144153368",
    id = "record",
    issn = "0163-5964",
    volume = "17"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20161130-145428229,
    title = "The first asynchronous microprocessor: the test results",
    journal = "ACM SIGARCH Computer Architecture News",
    year = "1989",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161130-145428229",
    id = "record",
    issn = "0163-5964",
    doi = "10.1145/71317.71324",
    volume = "17"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20161130-142130832,
    title = "On David Gries's plateau problem",
    journal = "ACM SIGSOFT Software Engineering Notes",
    year = "1984",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161130-142130832",
    id = "record",
    issn = "0163-5948",
    doi = "10.1145/1005968.1005974",
    volume = "9"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20190111-145202534,
    title = "A Characterization of Product-Form Queuing Networks",
    journal = "Journal of the ACM",
    year = "1983",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-145202534",
    id = "record",
    issn = "0004-5411",
    doi = "10.1145/322374.322378",
    volume = "30"
}


@article{https://resolver.caltech.edu/CaltechCSTR:1982.5046-tr-82,
    title = "An Axiomatic Definition of Synchronization Primitives",
    journal = "Acta Informatica",
    year = "1981",
    url = "https://resolver.caltech.edu/CaltechCSTR:1982.5046-tr-82",
    id = "record",
    issn = "0001-5903",
    doi = "10.1007/BF00261260",
    volume = "16"
}