@inbook{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/thcpj-wfb23,
    authors = "Keller, Sean and Martin, Alain J. and Moore, Chris",
    title = "Asynchronous Circuits and Systems (ASYNC), 2015",
    chapter = "DD1: A QDI, Radiation-Hard-by-Design, Near-Threshold 18uW/MIPS Microcontroller in 40nm Bulk CMOS",
    address = "Piscataway, NJ",
    publisher = "IEEE",
    year = "2015",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160901-124814686",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/thcpj-wfb23",
    isbn = "978-1-4799-8716-0",
    doi = "10.1109/ASYNC.2015.15",
    pages = "37-44"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/1f4c9-16z49,
    authors = "Keller, Sean and Bhargav, Siddharth S. and Moore, Chris and Martin, Alain J.",
    title = "Quantifying Near-Threshold CMOS Circuit Robustness",
    publisher = "California Institute of Technology",
    year = "2014",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20141125-133400175",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/1f4c9-16z49",
    doi = "10.7907/Z9M043CG"
}


@article{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/m9w4x-8r742,
    authors = "Keller, Sean and Harris, David Money and Martin, Alain J.",
    title = "A Compact Transregional Model for Digital CMOS Circuits Operating Near Threshold",
    journal = "IEEE Transactions on Very Large Scale Integration (VLSI) Systems",
    publisher = "IEEE",
    year = "2014",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20141106-133106801",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/m9w4x-8r742",
    issn = "1063-8210",
    doi = "10.1109/TVLSI.2013.2282316",
    volume = "22",
    number = "10",
    pages = "2041-2053"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/92yk4-35643,
    authors = "Martin, Alain J.",
    title = "25 Years Ago: The First Asynchronous Microprocessor",
    publisher = "California Institute of Technology",
    year = "2014",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140206-111915844",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/92yk4-35643",
    doi = "10.7907/Z9QR4V3H"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/c1h76-gdn90,
    authors = "Martin, A. J.",
    title = "A Distributed Implementation Method for Parallel Programming",
    publisher = "California Institute of Technology",
    year = "2012",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120418-114041991",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/c1h76-gdn90",
    doi = "10.7907/c1h76-gdn90"
}


@inbook{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/ebmvh-dk943,
    authors = "Martin, Alain J.",
    title = "16th IEEE International Conference on Electronics, Circuits and Systems - (ICECS 2009)",
    chapter = "Asynchronous logic for high variability nano-CMOS",
    address = "Piscataway, NJ",
    publisher = "IEEE",
    year = "2009",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170320-175344479",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/ebmvh-dk943",
    isbn = "978-1-4244-5090-9",
    doi = "10.1109/ICECS.2009.5410925",
    pages = "69-72"
}


@inbook{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/4h10d-82w11,
    authors = "Keller, Sean and Katelmany, Michael and Martin, Alain J.",
    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",
    address = "Los Alamitos, CA",
    publisher = "IEEE Computer Society",
    year = "2009",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100506-101621122",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/4h10d-82w11",
    isbn = "9781424439331",
    doi = "10.1109/ASYNC.2009.27",
    pages = "65-76"
}


@inbook{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/086p7-shn78,
    authors = "Martin, Alain J. and Prakash, Piyush",
    title = "14th IEEE International Symposium on Asynchronous Circuits and Systems : ASYNC 2008",
    chapter = "Asynchronous Nano-Electronics: Preliminary Investigation",
    address = "Los Alamitos, CA",
    publisher = "IEEE Computer Society",
    year = "2008",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100722-151724013",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/086p7-shn78",
    isbn = "978-0-7695-3107-6",
    doi = "10.1109/ASYNC.2008.22",
    pages = "58-68"
}


@article{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/x2ttg-dxf63,
    authors = "Martin, Alain J. and Nyström, Mika",
    title = "Asynchronous techniques for system-on-chip design",
    journal = "Proceedings of the IEEE",
    publisher = "Proceedings of the IEEE",
    year = "2006",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:MARprocieee06",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/x2ttg-dxf63",
    issn = "0018-9219",
    doi = "10.1109/JPROC.2006.875789",
    volume = "94",
    number = "6",
    pages = "1089-1120"
}


@inbook{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/xyg8c-f3f93,
    authors = "Martin, Alain J.",
    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?",
    address = "Piscataway, NJ",
    publisher = "IEEE",
    year = "2006",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110722-095429816",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/xyg8c-f3f93",
    isbn = "978-3-901882-19-7",
    doi = "10.1109/VLSISOC.2006.313284",
    pages = "7-11"
}


@inbook{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/1xvjv-x0y73,
    authors = "Prakash, Piyush and Martin, Alain J.",
    title = "12th IEEE International Symposium on Asynchronous Circuits and Systems",
    chapter = "Slack Matching Quasi Delay-Insensitive Circuits",
    address = "Los Alamitos, CA",
    publisher = "IEEE",
    year = "2006",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110225-095524705",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/1xvjv-x0y73",
    isbn = "0-7695-2498-2",
    doi = "10.1109/ASYNC.2006.27",
    pages = "195-204"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/3b063-ca817,
    authors = "Wong, Catherine G. and Martin, Alain J. and Thomas, Peter",
    title = "An Architecture for Asynchronous FPGAs",
    publisher = "Proceedings of the IEEE International Conference on Field-Programmable Technology, 2003",
    year = "2003",
    url = "https://resolver.caltech.edu/CaltechCSTR:2003.006a",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/3b063-ca817"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/fbe8p-27d82,
    authors = "Wong, Catherine G. and Martin, Alain J. and Thomas, Peter",
    title = "An Architecture for Asynchronous FPGAs",
    publisher = "California Institute of Technology",
    year = "2003",
    url = "https://resolver.caltech.edu/CaltechCSTR:2003.006",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/fbe8p-27d82",
    doi = "10.7907/Z9X9288B"
}


@inbook{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/djnqn-n3y79,
    authors = "Wong, Catherine G. and Martin, Alain J.",
    title = "DAC '03 Proceedings of the 40th annual Design Automation Conference",
    chapter = "High-level synthesis of asynchronous systems by data-driven decomposition",
    address = "New York, NY",
    publisher = "ACM",
    year = "2003",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170109-145144866",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/djnqn-n3y79",
    isbn = "1-58113-688-9",
    doi = "10.1145/775832.775962",
    pages = "508-513"
}


@inbook{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/dg8qx-4wh54,
    authors = "Pénzes, Paul I. and Nyström, Mika and Martin, Alain J.",
    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",
    address = "New York, NY",
    publisher = "ACM",
    year = "2002",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161207-170651411",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/dg8qx-4wh54",
    isbn = "1-58113-526-2",
    doi = "10.1145/589411.589439",
    pages = "126-133"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/9wccf-45n08,
    authors = "Martin, Alain J. and Nyström, Mika and Penzes, Paul and Wong, Catherine",
    title = "Speed and Energy Performance of an Asynchronous MIPS R3000 Microprocessor",
    publisher = "California Institute of Technology",
    year = "2002",
    url = "https://resolver.caltech.edu/CaltechCSTR:2001.012",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/9wccf-45n08",
    doi = "10.7907/Z99S1P11"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/z0965-w7h55,
    authors = "Pénzes, Paul I. and Martin, Alain J.",
    title = "Global and local properties of asynchronous circuits optimized for energy efficiency",
    publisher = "California Institute of Technology",
    year = "2002",
    url = "https://resolver.caltech.edu/CaltechCSTR:2002.002",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/z0965-w7h55",
    doi = "10.7907/Z9FJ2DSS"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/pqps5-hr425,
    authors = "Pénzes, Paul I. and Nyströem, Mika and Martin, Alain J.",
    title = "Transistor Sizing of Energy-Delay-Efficient Circuits",
    publisher = "California Institute of Technology",
    year = "2002",
    url = "https://resolver.caltech.edu/CaltechCSTR:2002.003",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/pqps5-hr425",
    doi = "10.7907/Z9ZG6Q7T"
}


@inbook{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/462qm-phg17,
    authors = "Pénzes, Paul I. and Martin, Alain J.",
    title = "GLSVLSI '02 Proceedings of the 12th ACM Great Lakes symposium on VLSI",
    chapter = "Energy-Delay Efficiency of VLSI Computations",
    address = "New York, NY",
    publisher = "ACM",
    year = "2002",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161207-165804629",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/462qm-phg17",
    isbn = "1-58113-462-2",
    doi = "10.1145/505306.505330",
    pages = "104-111"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/45xh6-yv235,
    authors = "Martin, Alain J. and Nyströem, Mika and Penzes, Paul",
    title = "ET^2: A Metric For Time and Energy Efficiency of Computation",
    publisher = "California Institute of Technology",
    year = "2001",
    url = "https://resolver.caltech.edu/CaltechCSTR:2001.007",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/45xh6-yv235",
    doi = "10.7907/Z9K935JZ"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/qbwq7-qze43,
    authors = "Tierno, Jose A. and Martin, Alain J.",
    title = "Low-Energy Asynchronous Memory Design",
    publisher = "California Institute of Technology",
    year = "2001",
    url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-21",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/qbwq7-qze43",
    doi = "10.7907/Z9X9289S"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/xpnkr-fdn96,
    authors = "Manohar, Rajit and Martin, Alain J.",
    title = "Quasi-Delay-Insensitive Circuits are Turing-Complete",
    publisher = "California Institute of Technology",
    year = "2001",
    url = "https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-11",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/xpnkr-fdn96",
    doi = "10.7907/Z9H70CV1"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/4fh9g-yr824,
    authors = "Seitz, Charles L. and Martin, Alain J. and Van de Snepscheut, Jan L. A.",
    title = "Submicron Systems Architecture",
    publisher = "California Institute of Technology",
    year = "2001",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-10",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/4fh9g-yr824",
    doi = "10.7907/4fh9g-yr824"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/sq381-7zg42,
    authors = "Tierno, Jose A. and Martin, Alain J. and Borkovic, Drazen and Lee, Tak Kwan",
    title = "An Asynchronous Microprocessor in Gallium Arsenide",
    publisher = "California Institute of Technology",
    year = "2001",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-38",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/sq381-7zg42",
    doi = "10.7907/Z9BC3WJ5"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/tw7j6-a3r29,
    authors = "Nielsen, Christian D. and Martin, Alain J.",
    title = "Delay-Insensitive Multiply-Accumulate Unit",
    publisher = "California Institute of Technology",
    year = "2001",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-03",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/tw7j6-a3r29",
    doi = "10.7907/Z9MG7MPP"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/tsdze-hh773,
    authors = "Seitz, Charles L. and Martin, Alain J. and Van de Snepscheut, Jan L. A.",
    title = "Submicron Systems Architecture Project : Semiannual Technical Report, 1 July 1992",
    publisher = "California Institute of Technology",
    year = "2001",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-17",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/tsdze-hh773",
    doi = "10.7907/Z9WS8RF5"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/z2zy9-d2m55,
    authors = "Seitz, Charles L. and Martin, Alain J. and Van de Snepscheut, Jan L. A.",
    title = "Submicron Systems Architecture: Semiannual Technical Report",
    publisher = "California Institute of Technology",
    year = "2001",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-37",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/z2zy9-d2m55",
    doi = "10.7907/Z9NS0RX7"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/5qr64-pv618,
    authors = "Martin, Alain J.",
    title = "Tomorrow's Digital Hardware will be Asynchronous and Verified",
    publisher = "California Institute of Technology",
    year = "2001",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-26",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/5qr64-pv618",
    doi = "10.7907/Z9125QPR"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/7fbb9-smt37,
    authors = "Seitz, Charles L. and Kajiya, James T. and Martin, Alain J. and McEliece, Robert J. and Rem, Martin and Van Tilborg, Henk",
    title = "Submicron Systems Architecture: Semiannual Technical Report",
    publisher = "California Institute of Technology",
    year = "2001",
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5178-tr-85",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/7fbb9-smt37",
    doi = "10.7907/7fbb9-smt37"
}


@inbook{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/t7b22-swj11,
    authors = "Manohar, Rajit and Martin, Alain J.",
    title = "Mathematics of Program Construction",
    chapter = "Slack elasticity in concurrent computing",
    address = "Berlin, Heidelberg",
    publisher = "Springer",
    year = "1998",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20201210-161233167",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/t7b22-swj11",
    isbn = "9783540645917",
    doi = "10.1007/bfb0054295",
    pages = "272-285"
}


@article{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/rsjyk-jb663,
    authors = "Back, R. J. R. and Martin, A. J. and Sere, K.",
    title = "Specifying the Caltech asynchronous microprocessor",
    journal = "Science of Computer Programming",
    publisher = "Elsevier",
    year = "1996",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170409-083932724",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/rsjyk-jb663",
    issn = "0167-6423",
    doi = "10.1016/0167-6423(95)00023-2",
    volume = "26",
    number = "1-3",
    pages = "79-97"
}


@inbook{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/h63hs-x5f75,
    authors = "Back, R. J. R. and Martin, A. J. and Sere, K.",
    title = "Mathematics of Program Construction",
    chapter = "An action system specification of the Caltech asynchronous microprocessor",
    address = "Berlin, Heidelberg",
    publisher = "Springer",
    year = "1995",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20201124-174613902",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/h63hs-x5f75",
    isbn = "9783540601173",
    doi = "10.1007/3-540-60117-1\_9",
    pages = "159-179"
}


@article{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/qpaar-1eb62,
    authors = "Tierno, José A. and Martin, Alain J. and Borkovic, Drazen and Lee, Tak Kwan",
    title = "A 100-MIPS GaAs asynchronous microprocessor",
    journal = "IEEE Design and Test of Computers",
    publisher = "IEEE",
    year = "1994",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:TIEieeedtc94",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/qpaar-1eb62",
    issn = "1084-7529",
    doi = "10.1109/54.282444",
    volume = "11",
    number = "2",
    pages = "43-49"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/j14fv-twh92,
    authors = "Martin, Alain J.",
    title = "Asynchronous Datapaths and the Design of an Asynchronous Adder",
    publisher = "California Institute of Technology",
    year = "1991",
    url = "https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-08",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/j14fv-twh92",
    doi = "10.7907/j14fv-twh92"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/b9wzv-xrc02,
    authors = "Martin, Alain J.",
    title = "Synthesis of Asynchronous VLSI Circuits",
    publisher = "California Institute of Technology",
    year = "1991",
    url = "https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-93-28",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/b9wzv-xrc02",
    doi = "10.7907/b9wzv-xrc02"
}


@article{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/vbcxz-mtz48,
    authors = "Hofstee, H. Peter and Martin, Alain J. and Van de Snepscheut, Jan L. A.",
    title = "Distributed sorting",
    journal = "Science of Computer Programming",
    publisher = "Elsevier",
    year = "1990",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170830-083320673",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/vbcxz-mtz48",
    issn = "0167-6423",
    doi = "10.1016/0167-6423(90)90081-N",
    volume = "15",
    number = "2-3",
    pages = "119-133"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/47710-bts58,
    authors = "Martin, Alain J.",
    title = "Asynchronous Circuits for Token-Ring Mutual Exclusion",
    publisher = "California Institute of Technology",
    year = "1990",
    url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-09",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/47710-bts58",
    doi = "10.7907/47710-bts58"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/gwkvs-p4122,
    authors = "Martin, Alain J.",
    title = "Limitations to Delay-Insensitivity in Asynchronous Circuits",
    publisher = "California Institute of Technology",
    year = "1990",
    url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-02",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/gwkvs-p4122",
    doi = "10.7907/gwkvs-p4122"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/b11q2-j0d17,
    authors = "Burns, Steven M. and Martin, Alain J.",
    title = "Performance Analysis and Optimization of Asynchronous Circuits",
    publisher = "California Institute of Technology",
    year = "1990",
    url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-18",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/b11q2-j0d17",
    doi = "10.7907/b11q2-j0d17"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/8274b-29b89,
    authors = "Martin, Alain J. and Hazewindus, Pieter J.",
    title = "Testing Delay-Insensitive Circuits",
    publisher = "California Institute of Technology",
    year = "1990",
    url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-17",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/8274b-29b89",
    doi = "10.7907/8274b-29b89"
}


@article{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/grxpn-mmm53,
    authors = "Martin, Alain J. and Burns, Steven M. and Lee, T. K. and Borkovic, Drazen and Hazewindus, Pieter J.",
    title = "The design of an asynchronous microprocessor",
    journal = "ACM SIGARCH Computer Architecture News",
    publisher = "ACM",
    year = "1989",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161130-144153368",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/grxpn-mmm53",
    issn = "0163-5964",
    volume = "17",
    number = "4",
    pages = "99-110"
}


@article{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/44vxf-0w021,
    authors = "Martin, Alain J. and Burns, Steven M. and Lee, T. K. and Borkovic, Drazen and Hazewindus, Pieter J.",
    title = "The first asynchronous microprocessor: the test results",
    journal = "ACM SIGARCH Computer Architecture News",
    publisher = "ACM",
    year = "1989",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161130-145428229",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/44vxf-0w021",
    issn = "0163-5964",
    doi = "10.1145/71317.71324",
    volume = "17",
    number = "4",
    pages = "95-98"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/zmy86-a1w29,
    authors = "Martin, Alain J.",
    title = "Programming in VLSI: From Communicating Processes to Delay-Insensitive Circuits",
    publisher = "California Institute of Technology",
    year = "1989",
    url = "https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-01",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/zmy86-a1w29",
    doi = "10.7907/zmy86-a1w29"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/avec3-s7f02,
    authors = "Martin, Alain J.",
    title = "The Design of an Asynchronous Microprocessor",
    publisher = "California Institute of Technology",
    year = "1989",
    url = "https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-02",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/avec3-s7f02",
    doi = "10.7907/avec3-s7f02"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/bsky8-c6128,
    authors = "Martin, Alain J. and Burns, Steven M. and Lee, T. K. and Borkovic, Drazen and Hazewindus, Pieter J.",
    title = "The First Aysnchronous Microprocessor: The Test Results",
    publisher = "California Institute of Technology",
    year = "1989",
    url = "https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-06",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/bsky8-c6128",
    doi = "10.7907/bsky8-c6128"
}


@inbook{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/82sn8-s7y18,
    authors = "Martin, Alain J. and Van de Snepscheut, Jan L. A.",
    title = "Constructive Methods in Computing Science",
    chapter = "Design of Synchronization Algorithms",
    address = "Berlin, Heidelberg",
    publisher = "Springer Berlin Heidelberg",
    year = "1989",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20201008-131242613",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/82sn8-s7y18",
    isbn = "9783642748868",
    doi = "10.1007/978-3-642-74884-4\_13",
    pages = "447-478"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/zaevr-tmm71,
    authors = "Hofstee, H. Peter and Martin, Alain J. and Van de Snepscheut, Jan L. A.",
    title = "Distributed Sorting",
    publisher = "California Institute of Technology",
    year = "1989",
    url = "https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-90-06",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/zaevr-tmm71",
    doi = "10.7907/zaevr-tmm71"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/3sb8a-cvh96,
    authors = "Martin, Alain J.",
    title = "A Message-Passing Model for Highly Concurrent Computation",
    publisher = "California Institute of Technology",
    year = "1988",
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-13",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/3sb8a-cvh96",
    doi = "10.7907/3sb8a-cvh96"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/585wz-fra78,
    authors = "Burns, Steven M. and Martin, Alain J.",
    title = "Syntax-Directed Translation of Concurrent Programs into Self-Timed Circuits",
    publisher = "California Institute of Technology",
    year = "1988",
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-14",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/585wz-fra78",
    doi = "10.7907/585wz-fra78"
}


@inbook{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/4x77s-atd96,
    authors = "Martin, Alain J.",
    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",
    address = "New York, NY",
    publisher = "ACM",
    year = "1988",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161130-143104095",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/4x77s-atd96",
    isbn = "0-89791-278-0",
    doi = "10.1145/62297.62360",
    pages = "520-527"
}


@inbook{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/6e783-84v22,
    authors = "Seitz, Charles L. and Athas, William C. and Flaig, Charles M. and Martin, Alain J. and Seizovic, Jakov and Steele, Craig S. and Su, Wen-King",
    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",
    address = "New York, NY",
    publisher = "ACM",
    year = "1988",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161215-172443490",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/6e783-84v22",
    isbn = "0-89791-278-0",
    doi = "10.1145/62297.62302",
    pages = "33-37"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/649ae-we761,
    authors = "Martin, Alain J.",
    title = "A Synthesis Method for Self-Timed VLSI Circuits",
    publisher = "California Institute of Technology",
    year = "1987",
    url = "https://resolver.caltech.edu/CaltechCSTR:1987.5256-tr-87",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/649ae-we761",
    doi = "10.7907/649ae-we761"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/7cknj-w1w80,
    authors = "Seitz, Charles L. and Martin, Alain J. and McEliece, Robert J. and Rem, Martin",
    title = "Submicron Systems Architecture: Semiannual Technical Report",
    publisher = "California Institute of Technology",
    year = "1987",
    url = "https://resolver.caltech.edu/CaltechCSTR:1987.5240-tr-87",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/7cknj-w1w80",
    doi = "10.7907/7cknj-w1w80"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/cgpwa-2j421,
    authors = "Burns, Steven M. and Martin, Alain J.",
    title = "Synthesis of Self-Timed Circuits by Program Transformation",
    publisher = "California Institute of Technology",
    year = "1987",
    url = "https://resolver.caltech.edu/CaltechCSTR:1987.5253-tr-87",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/cgpwa-2j421",
    doi = "10.7907/cgpwa-2j421"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/pnf93-qxd46,
    authors = "Martin, Alain J.",
    title = "Compiling Communicating Processes into Delay-Insensitive VLSI Circuits",
    publisher = "California Institute of Technology",
    year = "1986",
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5210-tr-86",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/pnf93-qxd46",
    doi = "10.7907/pnf93-qxd46"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/2gjaq-xex23,
    authors = "Martin, Alain J.",
    title = "On Seitz' Arbiter",
    publisher = "California Institute of Technology",
    year = "1986",
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5212-tr-86",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/2gjaq-xex23",
    doi = "10.7907/2gjaq-xex23"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/jssn5-rbp39,
    authors = "Martin, Alain J.",
    title = "Self-Timed FIFO: An exercise in Compiling Programs into VLSI Circuits",
    publisher = "California Institute of Technology",
    year = "1986",
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5211-tr-86",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/jssn5-rbp39",
    doi = "10.7907/jssn5-rbp39"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/my65t-e9565,
    authors = "Seitz, Charles L. and Kajiya, James T. and Martin, Alain J. and McEliece, Robert J. and Rem, Martin",
    title = "Submicron Systems Architecture: Semiannual Technical Report",
    publisher = "California Institute of Technology",
    year = "1986",
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5235-tr-86",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/my65t-e9565",
    doi = "10.7907/my65t-e9565"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/rzewj-csb10,
    authors = "Seitz, Charles L. and Kajiya, James T. and Martin, Alain J. and McEliece, Robert J. and Rem, Martin",
    title = "Submicron Systems Architecture: Semiannual Technical Report",
    publisher = "California Institute of Technology",
    year = "1986",
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5220-tr-86",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/rzewj-csb10",
    doi = "10.7907/rzewj-csb10"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/brq3w-kj598,
    authors = "Li, Peggy Pey-yun and Martin, Alain J.",
    title = "The Sync Model: A Parallel Execution Method for Logic Programming",
    publisher = "California Institute of Technology",
    year = "1986",
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5221-tr-86",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/brq3w-kj598",
    doi = "10.7907/brq3w-kj598"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/cchf5-w1g63,
    authors = "Martin, Alain J.",
    title = "A Delay-insensitive Fair Arbiter",
    publisher = "California Institute of Technology",
    year = "1985",
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5193-tr-85",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/cchf5-w1g63",
    doi = "10.7907/cchf5-w1g63"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/0qedb-76g96,
    authors = "Martin, Alain J.",
    title = "A New Generalization of Dekker's Algorithm for Mutual Exclusion",
    publisher = "California Institute of Technology",
    year = "1985",
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5195-tr-85",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/0qedb-76g96",
    doi = "10.7907/0qedb-76g96"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/mrh1j-cjp65,
    authors = "Seitz, Charles L. and Kajiya, James T. and Martin, Alain J. and McEliece, Robert J. and Rem, Martin",
    title = "Submicron Systems Architecture: Semiannual Technical Report",
    publisher = "California Institute of Technology",
    year = "1985",
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5202-tr-85",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/mrh1j-cjp65",
    doi = "10.7907/mrh1j-cjp65"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/t0t4e-aq296,
    authors = "Martin, Alain J.",
    title = "Distributed Mutual Exclusion on a Ring of Processes",
    publisher = "California Institute of Technology",
    year = "1984",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5080-tr-83",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/t0t4e-aq296",
    doi = "10.7907/t0t4e-aq296"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/8nwds-15p23,
    authors = "Martin, Alain J. and Burch, Jerry R.",
    title = "Fair Mutual Exclusion with Unfair P and V Operations",
    publisher = "California Institute of Technology",
    year = "1984",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5148-tr-84",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/8nwds-15p23",
    doi = "10.7907/8nwds-15p23"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/abxcf-t3r94,
    authors = "Martin, Alain J. and Van de Snepscheut, Jan L. A.",
    title = "Networks of Machines for Distributed Recursive Computations",
    publisher = "California Institute of Technology",
    year = "1984",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5147-tr-84",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/abxcf-t3r94",
    doi = "10.7907/abxcf-t3r94"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/w8azk-3fk36,
    authors = "Martin, Alain J.",
    title = "The Probe: An Addition to Communication Primitives",
    publisher = "California Institute of Technology",
    year = "1984",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5124-tr-84",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/w8azk-3fk36",
    doi = "10.7907/w8azk-3fk36"
}


@article{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/ghkt8-r2w95,
    authors = "Martin, Alain J.",
    title = "On David Gries's plateau problem",
    journal = "ACM SIGSOFT Software Engineering Notes",
    publisher = "ACM",
    year = "1984",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161130-142130832",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/ghkt8-r2w95",
    issn = "0163-5948",
    doi = "10.1145/1005968.1005974",
    volume = "9",
    number = "1",
    pages = "29-30"
}


@article{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/8q5hm-qnk74,
    authors = "Chandy, K. M. and Martin, A. J.",
    title = "A Characterization of Product-Form Queuing Networks",
    journal = "Journal of the ACM",
    publisher = "Association for Computing Machinery",
    year = "1983",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-145202534",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/8q5hm-qnk74",
    issn = "0004-5411",
    doi = "10.1145/322374.322378",
    volume = "30",
    number = "2",
    pages = "286-299"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/desx8-jhv04,
    authors = "Martin, Alain J",
    title = "A General Proof Rule for Procedures in Predicate Transformer Semantics",
    publisher = "California Institute of Technology",
    year = "1983",
    url = "https://resolver.caltech.edu/CaltechCSTR:1983.5075-tr-83",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/desx8-jhv04",
    doi = "10.7907/desx8-jhv04"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/b2dbm-s0762,
    authors = "Martin, Alain J.",
    title = "The Design of a Self-timed Circuit for Distributed Mutual Exclusion",
    publisher = "California Institute of Technology",
    year = "1983",
    url = "https://resolver.caltech.edu/CaltechCSTR:1983.5097-tr-83",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/b2dbm-s0762",
    doi = "10.7907/b2dbm-s0762"
}


@other{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/cazcq-6fz54,
    authors = "Martin, Alain J.",
    title = "The torus: an exercise in constructing a processing surface",
    publisher = "California Institute of Technology",
    year = "1982",
    url = "https://resolver.caltech.edu/CaltechCSTR:1982.5047-tr-82",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/cazcq-6fz54",
    doi = "10.7907/cazcq-6fz54"
}


@article{https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/qsz11-hyb18,
    authors = "Martin, Alain J.",
    title = "An Axiomatic Definition of Synchronization Primitives",
    journal = "Acta Informatica",
    publisher = "Springer-Verlag",
    year = "1981",
    url = "https://resolver.caltech.edu/CaltechCSTR:1982.5046-tr-82",
    id = "https://authors.library.caltech.eduhttps://authors.library.caltech.edu/records/qsz11-hyb18",
    issn = "0001-5903",
    doi = "10.1007/BF00261260",
    volume = "16",
    number = "2",
    pages = "219-235"
}