@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20160901-124814686,
    title = "Asynchronous Circuits and Systems (ASYNC), 2015",
    chapter = "DD1: A QDI, Radiation-Hard-by-Design, Near-Threshold 18uW/MIPS Microcontroller in 40nm Bulk CMOS",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160901-124814686",
    id = "record",
    isbn = "978-1-4799-8716-0",
    doi = "10.1109/ASYNC.2015.15"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170320-175344479,
    title = "16th IEEE International Conference on Electronics, Circuits and Systems - (ICECS 2009)",
    chapter = "Asynchronous logic for high variability nano-CMOS",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170320-175344479",
    id = "record",
    isbn = "978-1-4244-5090-9",
    doi = "10.1109/ICECS.2009.5410925"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20100506-101621122,
    title = "15th International Symposium on Advanced Research in Asynchronous Circuits and Systems : (ASYNC 2009) : proceedings : 17-19 May 2009 Chapel Hill, North Carolina, USA",
    chapter = "A Necessary and Sufficient Timing Assumption for Speed-Independent Circuits",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100506-101621122",
    id = "record",
    isbn = "9781424439331",
    doi = "10.1109/ASYNC.2009.27"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20100722-151724013,
    title = "14th IEEE International Symposium on Asynchronous Circuits and Systems : ASYNC 2008",
    chapter = "Asynchronous Nano-Electronics: Preliminary Investigation",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100722-151724013",
    id = "record",
    isbn = "978-0-7695-3107-6",
    doi = "10.1109/ASYNC.2008.22"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110225-095524705,
    title = "12th IEEE International Symposium on Asynchronous Circuits and Systems",
    chapter = "Slack Matching Quasi Delay-Insensitive Circuits",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110225-095524705",
    id = "record",
    isbn = "0-7695-2498-2",
    doi = "10.1109/ASYNC.2006.27"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20110722-095429816,
    title = "IFIP VLSI-SoC 2006: IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration \& System-on-Chip",
    chapter = "Can asynchronous techniques help the SoC designer?",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110722-095429816",
    id = "record",
    isbn = "978-3-901882-19-7",
    doi = "10.1109/VLSISOC.2006.313284"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20170109-145144866,
    title = "DAC '03 Proceedings of the 40th annual Design Automation Conference",
    chapter = "High-level synthesis of asynchronous systems by data-driven decomposition",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170109-145144866",
    id = "record",
    isbn = "1-58113-688-9",
    doi = "10.1145/775832.775962"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20161207-170651411,
    title = "TAU '02 Proceedings of the 8th ACM/IEEE international workshop on Timing issues in the specification and synthesis of digital systems",
    chapter = "Transistor sizing of energy-delay-efficient circuits",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161207-170651411",
    id = "record",
    isbn = "1-58113-526-2",
    doi = "10.1145/589411.589439"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20161207-165804629,
    title = "GLSVLSI '02 Proceedings of the 12th ACM Great Lakes symposium on VLSI",
    chapter = "Energy-Delay Efficiency of VLSI Computations",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161207-165804629",
    id = "record",
    isbn = "1-58113-462-2",
    doi = "10.1145/505306.505330"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20201210-161233167,
    title = "Mathematics of Program Construction",
    chapter = "Slack elasticity in concurrent computing",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20201210-161233167",
    id = "record",
    isbn = "9783540645917",
    doi = "10.1007/bfb0054295"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20201124-174613902,
    title = "Mathematics of Program Construction",
    chapter = "An action system specification of the Caltech asynchronous microprocessor",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20201124-174613902",
    id = "record",
    isbn = "9783540601173",
    doi = "10.1007/3-540-60117-1\_9"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20201008-131242613,
    title = "Constructive Methods in Computing Science",
    chapter = "Design of Synchronization Algorithms",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20201008-131242613",
    id = "record",
    isbn = "9783642748868",
    doi = "10.1007/978-3-642-74884-4\_13"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20161130-143104095,
    title = "C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues",
    chapter = "A message-passing model for highly concurrent computation",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161130-143104095",
    id = "record",
    isbn = "0-89791-278-0",
    doi = "10.1145/62297.62360"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20161215-172443490,
    title = "Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues",
    chapter = "The architecture and programming of the Ametek series 2010 multicomputer",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161215-172443490",
    id = "record",
    isbn = "0-89791-278-0",
    doi = "10.1145/62297.62302"
}