@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/70124,
    title ="DD1: A QDI, Radiation-Hard-by-Design, Near-Threshold 18uW/MIPS Microcontroller in 40nm Bulk CMOS",
    author = "Keller, Sean and Martin, Alain J. and Moore, Chris",
    
    
    
    pages = "37-44",
    month = "May",
    year = "2015",
    doi = "https://doi.org/10.1109/ASYNC.2015.15",
    isbn = "978-1-4799-8716-0",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20160901-124814686",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/51380,
    title ="A Compact Transregional Model for Digital CMOS Circuits Operating Near Threshold",
    author = "Keller, Sean and Harris, David Money and Martin, Alain J.",
    journal = "IEEE Transactions on Very Large Scale Integration (VLSI) Systems",
    volume = "22",
    number = "10",
    pages = "2041-2053",
    month = "October",
    year = "2014",
    doi = "https://doi.org/10.1109/TVLSI.2013.2282316 ",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20141106-133106801",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/43698,
    title ="25 Years Ago: The First Asynchronous Microprocessor",
    author = "Martin, Alain J.",
    
    
    number = "2014.001",
    
    month = "January",
    year = "2014",
    
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20140206-111915844",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/52152,
    title ="Quantifying Near-Threshold CMOS Circuit Robustness",
    author = "Keller, Sean and Bhargav, Siddharth S. and Moore, Chris and Martin, Alain J.",
    
    
    number = "2014.002",
    
    month = "January",
    year = "2014",
    
    doi = "https://doi.org/10.7907/Z9M043CG",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20141125-133400175",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/75263,
    title ="Asynchronous logic for high variability nano-CMOS",
    author = "Martin, Alain J.",
    
    
    
    pages = "69-72",
    month = "December",
    year = "2009",
    doi = "https://doi.org/10.1109/ICECS.2009.5410925",
    isbn = "978-1-4244-5090-9",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170320-175344479",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/18164,
    title ="A Necessary and Sufficient Timing Assumption for Speed-Independent Circuits",
    author = "Keller, Sean and Katelmany, Michael and Martin, Alain J.",
    
    
    
    pages = "65-76",
    month = "May",
    year = "2009",
    doi = "https://doi.org/10.1109/ASYNC.2009.27",
    isbn = "9781424439331",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100506-101621122",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/19172,
    title ="Asynchronous Nano-Electronics: Preliminary Investigation",
    author = "Martin, Alain J. and Prakash, Piyush",
    
    
    
    pages = "58-68",
    month = "July",
    year = "2008",
    
    isbn = "978-0-7695-3107-6",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20100722-151724013",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/5363,
    title ="Asynchronous techniques for system-on-chip design",
    author = "Martin, Alain J. and Nyström, Mika",
    journal = "Proceedings of the IEEE",
    volume = "94",
    number = "6",
    pages = "1089-1120",
    month = "June",
    year = "2006",
    
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:MARprocieee06",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/24502,
    title ="Can asynchronous techniques help the SoC designer?",
    author = "Martin, Alain J.",
    
    
    
    pages = "7-11",
    month = "January",
    year = "2006",
    
    isbn = "978-3-901882-19-7",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110722-095429816",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/22516,
    title ="Slack Matching Quasi Delay-Insensitive Circuits",
    author = "Prakash, Piyush and Martin, Alain J.",
    
    
    
    pages = "195-204",
    month = "January",
    year = "2006",
    
    isbn = "0-7695-2498-2",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20110225-095524705",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/73347,
    title ="High-level synthesis of asynchronous systems by data-driven decomposition",
    author = "Wong, Catherine G. and Martin, Alain J.",
    
    
    
    pages = "508-513",
    month = "June",
    year = "2003",
    doi = "https://doi.org/10.1145/775832.775962",
    isbn = "1-58113-688-9",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170109-145144866",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/27070,
    title ="An Architecture for Asynchronous FPGAs",
    author = "Wong, Catherine G. and Martin, Alain J. and Thomas, Peter",
    journal = "Proceedings of the IEEE International Conference on Field-Programmable Technology, 2003",
    
    
    
    month = "January",
    year = "2003",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:2003.006a",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/27068,
    title ="An Architecture for Asynchronous FPGAs",
    author = "Wong, Catherine G. and Martin, Alain J. and Thomas, Peter",
    
    
    
    
    month = "January",
    year = "2003",
    
    doi = "https://doi.org/10.7907/Z9X9288B",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:2003.006",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/72646,
    title ="Transistor sizing of energy-delay-efficient circuits",
    author = "Pénzes, Paul I. and Nyström, Mika and Martin, Alain J.",
    
    
    
    pages = "126-133",
    month = "December",
    year = "2002",
    doi = "https://doi.org/10.1145/589411.589439",
    isbn = "1-58113-526-2",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161207-170651411",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/72645,
    title ="Energy-Delay Efficiency of VLSI Computations",
    author = "Pénzes, Paul I. and Martin, Alain J.",
    
    
    
    pages = "104-111",
    month = "April",
    year = "2002",
    doi = "https://doi.org/10.1145/505306.505330",
    isbn = "1-58113-462-2",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161207-165804629",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26926,
    title ="Transistor Sizing of Energy-Delay-Efficient Circuits",
    author = "Pénzes, Paul I. and Nyströem, Mika and Martin, Alain J.",
    
    
    
    
    month = "January",
    year = "2002",
    doi = "https://doi.org/10.1145/589411.589439",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:2002.003",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/27033,
    title ="Speed and Energy Performance of an Asynchronous MIPS R3000 Microprocessor",
    author = "Martin, Alain J. and Nyström, Mika and Penzes, Paul and Wong, Catherine",
    
    
    
    
    month = "June",
    year = "2001",
    
    doi = "https://doi.org/10.7907/Z99S1P11",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:2001.012",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26917,
    title ="ET^2: A Metric For Time and Energy Efficiency of Computation",
    author = "Martin, Alain J. and Nyströem, Mika and Penzes, Paul",
    journal = "Power-Aware Computing",
    
    
    
    month = "January",
    year = "2001",
    
    doi = "https://doi.org/10.7907/Z9K935JZ",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:2001.007",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26925,
    title ="Global and local properties of asynchronous circuits optimized for energy efficiency",
    author = "Pénzes, Paul I. and Martin, Alain J.",
    
    
    
    
    month = "January",
    year = "2001",
    
    doi = "https://doi.org/10.7907/Z9FJ2DSS",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:2002.002",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/107031,
    title ="Slack elasticity in concurrent computing",
    author = "Manohar, Rajit and Martin, Alain J.",
    journal = "Lecture Notes in Computer Science",
    
    number = "1422",
    pages = "272-285",
    month = "January",
    year = "1998",
    doi = "https://doi.org/10.1007/bfb0054295",
    isbn = "9783540645917",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20201210-161233167",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/76460,
    title ="Specifying the Caltech asynchronous microprocessor",
    author = "Back, R. J. R. and Martin, A. J. and Sere, K.",
    journal = "Science of Computer Programming",
    volume = "26",
    number = "1-3",
    pages = "79-97",
    month = "May",
    year = "1996",
    doi = "https://doi.org/10.1016/0167-6423(95)00023-2",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170409-083932724",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26884,
    title ="Quasi-Delay-Insensitive Circuits are Turing-Complete",
    author = "Manohar, Rajit and Martin, Alain J.",
    
    
    
    
    month = "November",
    year = "1995",
    
    doi = "https://doi.org/10.7907/Z9H70CV1",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1995.cs-tr-95-11",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/106817,
    title ="An action system specification of the Caltech asynchronous microprocessor",
    author = "Back, R. J. R. and Martin, A. J. and Sere, K.",
    journal = "Lecture Notes in Computer Science",
    
    number = "947",
    pages = "159-179",
    month = "January",
    year = "1995",
    doi = "https://doi.org/10.1007/3-540-60117-1_9",
    isbn = "9783540601173",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20201124-174613902",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/10538,
    title ="A 100-MIPS GaAs asynchronous microprocessor",
    author = "Tierno, José A. and Martin, Alain J. and Borkovic, Drazen and Lee, Tak Kwan",
    journal = "IEEE Design and Test of Computers",
    volume = "11",
    number = "2",
    pages = "43-49",
    month = "January",
    year = "1994",
    doi = "https://doi.org/10.1109/54.282444",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:TIEieeedtc94",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26875,
    title ="Low-Energy Asynchronous Memory Design",
    author = "Tierno, Jose A. and Martin, Alain J.",
    
    
    
    
    month = "January",
    year = "1994",
    
    doi = "https://doi.org/10.7907/Z9X9289S",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-21",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26778,
    title ="Submicron Systems Architecture: Semiannual Technical Report",
    author = "Seitz, Charles L. and Martin, Alain J. and Van de Snepscheut, Jan L. A.",
    
    
    
    
    month = "November",
    year = "1993",
    
    doi = "https://doi.org/10.7907/Z9NS0RX7",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-37",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26860,
    title ="Submicron Systems Architecture",
    author = "Seitz, Charles L. and Martin, Alain J. and Van de Snepscheut, Jan L. A.",
    
    
    
    
    month = "April",
    year = "1993",
    
    doi = "https://doi.org/10.7907/Z9SJ1HNZ",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-10",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26779,
    title ="An Asynchronous Microprocessor in Gallium Arsenide",
    author = "Tierno, Jose A. and Martin, Alain J. and Borkovic, Drazen and Lee, Tak Kwan",
    
    
    
    
    month = "January",
    year = "1993",
    
    doi = "https://doi.org/10.7907/Z9BC3WJ5",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-38",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26766,
    title ="Tomorrow's Digital Hardware will be Asynchronous and Verified",
    author = "Martin, Alain J.",
    
    
    
    
    month = "January",
    year = "1993",
    
    doi = "https://doi.org/10.7907/Z9125QPR",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-26",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26759,
    title ="Submicron Systems Architecture Project : Semiannual Technical Report, 1 July 1992",
    author = "Seitz, Charles L. and Martin, Alain J. and Van de Snepscheut, Jan L. A.",
    
    
    number = "92-17",
    
    month = "July",
    year = "1992",
    
    doi = "https://doi.org/10.7907/Z9WS8RF5",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-17",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26749,
    title ="Delay-Insensitive Multiply-Accumulate Unit",
    author = "Nielsen, Christian D. and Martin, Alain J.",
    
    
    
    
    month = "January",
    year = "1992",
    
    doi = "https://doi.org/10.7907/Z9MG7MPP",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-03",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26740,
    title ="Asynchronous Datapaths and the Design of an Asynchronous Adder",
    author = "Martin, Alain J.",
    
    
    
    
    month = "January",
    year = "1991",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-08",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26746,
    title ="Synthesis of Asynchronous VLSI Circuits",
    author = "Martin, Alain J.",
    
    
    
    
    month = "January",
    year = "1991",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-93-28",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/80946,
    title ="Distributed sorting",
    author = "Hofstee, H. Peter and Martin, Alain J. and Van de Snepscheut, Jan L. A.",
    journal = "Science of Computer Programming",
    volume = "15",
    number = "2-3",
    pages = "119-133",
    month = "December",
    year = "1990",
    doi = "https://doi.org/10.1016/0167-6423(90)90081-N",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170830-083320673",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26725,
    title ="Asynchronous Circuits for Token-Ring Mutual Exclusion",
    author = "Martin, Alain J.",
    
    
    
    
    month = "January",
    year = "1990",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-09",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26721,
    title ="Limitations to Delay-Insensitivity in Asynchronous Circuits",
    author = "Martin, Alain J.",
    
    
    
    
    month = "January",
    year = "1990",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-02",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26733,
    title ="Performance Analysis and Optimization of Asynchronous Circuits",
    author = "Burns, Steven M. and Martin, Alain J.",
    
    
    
    
    month = "January",
    year = "1990",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-18",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26732,
    title ="Testing Delay-Insensitive Circuits",
    author = "Martin, Alain J. and Hazewindus, Pieter J.",
    
    
    
    
    month = "January",
    year = "1990",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1990.cs-tr-90-17",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/72466,
    title ="The design of an asynchronous microprocessor",
    author = "Martin, Alain J. and Burns, Steven M. and Lee, T. K. and Borkovic, Drazen and Hazewindus, Pieter J.",
    journal = "ACM SIGARCH Computer Architecture News",
    volume = "17",
    number = "4",
    pages = "99-110",
    month = "June",
    year = "1989",
    
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161130-144153368",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/72468,
    title ="The first asynchronous microprocessor: the test results",
    author = "Martin, Alain J. and Burns, Steven M. and Lee, T. K. and Borkovic, Drazen and Hazewindus, Pieter J.",
    journal = "ACM SIGARCH Computer Architecture News",
    volume = "17",
    number = "4",
    pages = "95-98",
    month = "June",
    year = "1989",
    doi = "https://doi.org/10.1145/71317.71324",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161130-145428229",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26899,
    title ="Programming in VLSI: From Communicating Processes to Delay-Insensitive Circuits",
    author = "Martin, Alain J.",
    
    
    
    
    month = "January",
    year = "1989",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-01",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26709,
    title ="The Design of an Asynchronous Microprocessor",
    author = "Martin, Alain J.",
    
    
    
    
    month = "January",
    year = "1989",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-02",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26713,
    title ="The First Aysnchronous Microprocessor: The Test Results",
    author = "Martin, Alain J. and Burns, Steven M. and Lee, T. K. and Borkovic, Drazen and Hazewindus, Pieter J.",
    
    
    
    
    month = "January",
    year = "1989",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-89-06",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/105938,
    title ="Design of Synchronization Algorithms",
    author = "Martin, Alain J. and Van de Snepscheut, Jan L. A.",
    
    
    number = "55",
    pages = "447-478",
    month = "January",
    year = "1989",
    doi = "https://doi.org/10.1007/978-3-642-74884-4_13",
    isbn = "9783642748868",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20201008-131242613",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26719,
    title ="Distributed Sorting",
    author = "Hofstee, H. Peter and Martin, Alain J. and Van de Snepscheut, Jan L. A.",
    
    
    
    
    month = "January",
    year = "1989",
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-90-06",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26699,
    title ="A Message-Passing Model for Highly Concurrent Computation",
    author = "Martin, Alain J.",
    
    
    
    
    month = "January",
    year = "1988",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-13",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26700,
    title ="Syntax-Directed Translation of Concurrent Programs into Self-Timed Circuits",
    author = "Burns, Steven M. and Martin, Alain J.",
    
    
    
    
    month = "January",
    year = "1988",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1988.cs-tr-88-14",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/72464,
    title ="A message-passing model for highly concurrent computation",
    author = "Martin, Alain J.",
    
    volume = "1",
    
    pages = "520-527",
    month = "January",
    year = "1988",
    
    isbn = "0-89791-278-0",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161130-143104095",
}
@book_section {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/72881,
    title ="The architecture and programming of the Ametek series 2010 multicomputer",
    author = "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",
    
    volume = "1",
    
    pages = "33-37",
    month = "January",
    year = "1988",
    doi = "https://doi.org/0-89791-278-0",
    isbn = "0-89791-278-0",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161215-172443490",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26687,
    title ="A Synthesis Method for Self-Timed VLSI Circuits",
    author = "Martin, Alain J.",
    
    
    
    
    month = "January",
    year = "1987",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1987.5256-tr-87",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26677,
    title ="Submicron Systems Architecture: Semiannual Technical Report",
    author = "Seitz, Charles L. and Martin, Alain J. and McEliece, Robert J. and Rem, Martin",
    
    
    
    
    month = "January",
    year = "1987",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1987.5240-tr-87",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26686,
    title ="Synthesis of Self-Timed Circuits by Program Transformation",
    author = "Burns, Steven M. and Martin, Alain J.",
    
    
    
    
    month = "January",
    year = "1987",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1987.5253-tr-87",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26661,
    title ="Compiling Communicating Processes into Delay-Insensitive VLSI Circuits",
    author = "Martin, Alain J.",
    
    
    
    
    month = "January",
    year = "1986",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5210-tr-86",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26900,
    title ="On Seitz' Arbiter",
    author = "Martin, Alain J.",
    
    
    
    
    month = "January",
    year = "1986",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5212-tr-86",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26911,
    title ="Self-Timed FIFO: An exercise in Compiling Programs into VLSI Circuits",
    author = "Martin, Alain J.",
    
    
    
    
    month = "January",
    year = "1986",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5211-tr-86",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26672,
    title ="Submicron Systems Architecture: Semiannual Technical Report",
    author = "Seitz, Charles L. and Kajiya, James T. and Martin, Alain J. and McEliece, Robert J. and Rem, Martin",
    
    
    
    
    month = "January",
    year = "1986",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5235-tr-86",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26662,
    title ="Submicron Systems Architecture: Semiannual Technical Report",
    author = "Seitz, Charles L. and Kajiya, James T. and Martin, Alain J. and McEliece, Robert J. and Rem, Martin",
    
    
    
    
    month = "January",
    year = "1986",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5220-tr-86",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26912,
    title ="The Sync Model: A Parallel Execution Method for Logic Programming",
    author = "Li, Peggy Pey-yun and Martin, Alain J.",
    
    
    
    
    month = "January",
    year = "1986",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1986.5221-tr-86",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26666,
    title ="Submicron Systems Architecture: Semiannual Technical Report",
    author = "Seitz, Charles L. and Kajiya, James T. and Martin, Alain J. and McEliece, Robert J. and Rem, Martin and Van Tilborg, Henk",
    
    
    
    
    month = "March",
    year = "1985",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5178-tr-85",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26952,
    title ="A Delay-insensitive Fair Arbiter",
    author = "Martin, Alain J.",
    
    
    
    
    month = "January",
    year = "1985",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5193-tr-85",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26950,
    title ="A New Generalization of Dekker's Algorithm for Mutual Exclusion",
    author = "Martin, Alain J.",
    
    
    
    
    month = "January",
    year = "1985",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5195-tr-85",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26668,
    title ="Submicron Systems Architecture: Semiannual Technical Report",
    author = "Seitz, Charles L. and Kajiya, James T. and Martin, Alain J. and McEliece, Robert J. and Rem, Martin",
    
    
    
    
    month = "January",
    year = "1985",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1985.5202-tr-85",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26992,
    title ="Distributed Mutual Exclusion on a Ring of Processes",
    author = "Martin, Alain J.",
    
    
    
    
    month = "January",
    year = "1984",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5080-tr-83",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26972,
    title ="Fair Mutual Exclusion with Unfair P and V Operations",
    author = "Martin, Alain J. and Burch, Jerry R.",
    
    
    
    
    month = "January",
    year = "1984",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5148-tr-84",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26971,
    title ="Networks of Machines for Distributed Recursive Computations",
    author = "Martin, Alain J. and Van de Snepscheut, Jan L. A.",
    
    
    
    
    month = "January",
    year = "1984",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5147-tr-84",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26965,
    title ="The Probe: An Addition to Communication Primitives",
    author = "Martin, Alain J.",
    
    
    
    
    month = "January",
    year = "1984",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5124-tr-84",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/72461,
    title ="On David Gries's plateau problem",
    author = "Martin, Alain J.",
    journal = "ACM SIGSOFT Software Engineering Notes",
    volume = "9",
    number = "1",
    pages = "29-30",
    month = "January",
    year = "1984",
    doi = "https://doi.org/10.1145/1005968.1005974",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20161130-142130832",
}
@article {CaltechAUTHORS_https://authors.library.caltech.edu/id/eprint/92224,
    title ="A Characterization of Product-Form Queuing Networks",
    author = "Chandy, K. M. and Martin, A. J.",
    journal = "Journal of the ACM",
    volume = "30",
    number = "2",
    pages = "286-299",
    month = "April",
    year = "1983",
    doi = "https://doi.org/10.1145/322374.322378",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190111-145202534",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26989,
    title ="A General Proof Rule for Procedures in Predicate Transformer Semantics",
    author = "Martin, Alain J",
    
    
    
    
    month = "January",
    year = "1983",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1983.5075-tr-83",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/26999,
    title ="The Design of a Self-timed Circuit for Distributed Mutual Exclusion",
    author = "Martin, Alain J.",
    
    
    
    
    month = "January",
    year = "1983",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1983.5097-tr-83",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/27085,
    title ="The torus: an exercise in constructing a processing surface",
    author = "Martin, Alain J.",
    
    
    
    
    month = "January",
    year = "1982",
    
    
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1982.5047-tr-82",
}
@article {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/47235,
    title ="An Axiomatic Definition of Synchronization Primitives",
    author = "Martin, Alain J.",
    journal = "Acta Informatica",
    volume = "16",
    number = "2",
    pages = "219-235",
    month = "October",
    year = "1981",
    doi = "https://doi.org/10.1007/BF00261260",
    
    url = "https://resolver.caltech.edu/CaltechCSTR:1982.5046-tr-82",
}
@techreport {CaltechCSTR_https://authors.library.caltech.edu/id/eprint/30168,
    title ="A Distributed Implementation Method for Parallel Programming",
    author = "Martin, A. J.",
    
    
    number = "1980.5045",
    
    month = "January",
    year = "1980",
    
    doi = "https://doi.org/10.7907/Z9QZ27X4",
    
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120418-114041991",
}