{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:50:11Z","timestamp":1725663011111},"publisher-location":"New York, NY","reference-count":9,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9780387972268"},{"type":"electronic","value":"9780387348018"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/0-387-97226-9_32","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T10:11:21Z","timestamp":1330164681000},"page":"244-259","source":"Crossref","is-referenced-by-count":7,"title":["The design of a delay-insensitive microprocessor: An example of circuit synthesis by program transformation"],"prefix":"10.1007","author":[{"given":"Alain J.","family":"Martin","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Steven M. Burns and Alain J. Martin, Syntax-directed Translation of Concurrent Programs into Self-timed Circuits. In J. Allen and F. Leighton (ed), Fifth MIT Conference on Advanced Research in VLSI, pp 35\u201340, MIT Press, 1988.","DOI":"10.21236\/ADA447033"},{"issue":"8","key":"13_CR2","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"C.A.R. Hoare, Communicating Sequential Processes. Comm. ACM 21,8, pp 666\u2013677, August, 1978.","journal-title":"Comm. ACM"},{"key":"13_CR3","unstructured":"Alain J. Martin, The Design of a Self-timed Circuit for Distributed Mutual Exclusion. In Henry Fuchs (ed), 1985 Chapel Hill Conf. VLSI, Computer Science Press, pp 247\u2013260, 1985."},{"issue":"4","key":"13_CR4","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/BF01660034","volume":"1","author":"A. J. Martin","year":"1986","unstructured":"Alain J. Martin, Compiling Communicating Processes into Delay-insensitive VLSI Circuits. Distributed Computing, 1,(4), Springer-Verlag, pp 226\u2013234 1986.","journal-title":"Distributed Computing"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Alain J. Martin, A Synthesis Method for Self-timed VLSI Circuits. ICCD 87: 1987 IEEE International Conference on Computer Design, IEEE Computer Society Press, pp 224\u2013229, 1987.","DOI":"10.21236\/ADA444293"},{"key":"13_CR6","volume-title":"UT Year of Programming Institute on Concurrent Programming","author":"A. J. Martin","year":"1989","unstructured":"Alain J. Martin, Programming in VLSI: From Communicating Processes to Delay-insensitive Circuits. In C.A.R. Hoare (ed), UT Year of Programming Institute on Concurrent Programming, Addison-Wesley, Reading MA, 1989."},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Alain J. Martin, Steve Burns, Tony Lee, Drazen Borkovic, and Pieter Hazewindus, The Design of an Asynchronus Microprocessor. In C.L. Seitz (ed), Decennial Caltech Conference on VLSI, MIT Press, 1989.","DOI":"10.21236\/ADA447727"},{"key":"13_CR8","volume-title":"Introduction to VLSI Systems","author":"C. Mead","year":"1980","unstructured":"Carver Mead and Lynn Conway, Introduction to VLSI Systems, Addison-Wesley, Reading MA, 1980."},{"key":"13_CR9","volume-title":"Introduction to VLSI Systems","author":"C. L. Seitz","year":"1980","unstructured":"Charles L. Seitz, System Timing, Chapter 7 in Mead & Conway, Introduction to VLSI Systems, Addison-Wesley, Reading MA, 1980."}],"container-title":["Lecture Notes in Computer Science","Hardware Specification, Verification and Synthesis: Mathematical Aspects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/0-387-97226-9_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:21:34Z","timestamp":1605626494000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/0-387-97226-9_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9780387972268","9780387348018"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/0-387-97226-9_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}