{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:11:57Z","timestamp":1729663917146,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/memcod.2005.1487889","type":"proceedings-article","created":{"date-parts":[[2005,7,27]],"date-time":"2005-07-27T13:52:28Z","timestamp":1122472348000},"page":"37-44","source":"Crossref","is-referenced-by-count":2,"title":["Deterministic receptive processes are kahn processes"],"prefix":"10.1109","author":[{"given":"S.A.","family":"Edwards","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"O.","family":"Tardieu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Handshake Circuits An Asynchronous Architecture for VLSI Programming","year":"1993","author":"van berkel","key":"19"},{"key":"22","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0031414","volume":"200","author":"van de snepscheut","year":"1985","journal-title":"Lecture Notes in Computer Science"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/BF01660032"},{"journal-title":"Handshake circuits An intermediary between communicating processes and VLSI","year":"1992","author":"van berkel","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/43.573835"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.2001.914072"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/5.381846"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.1998.666504"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(82)90065-5"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"21","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/978-1-4471-3575-3_4","article-title":"VLSI programming of asynchronous circuits for low power","author":"van berkel","year":"1995","journal-title":"Asynchronous Digital Circuit Design"},{"key":"3","article-title":"SHIM: A language for hardware\/software integration","author":"edwards","year":"2004","journal-title":"Proceedings of SYNCHRON"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/EDAC.1991.206431"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.1999.772889"},{"journal-title":"Balsa An asynchronous circuit synthesis system","year":"1998","author":"bardsley","key":"1"},{"key":"10","first-page":"471","article-title":"The semantics of a simple language for parallel programming","volume":"74","author":"kahn","year":"1974","journal-title":"Information Processing 74 Proceedings of IFIP Congress"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.2003.1199172"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/BF01178564"},{"key":"5","first-page":"31","article-title":"Simulation and analysis of synthesised asynchronous circuits","volume":"4","author":"janin","year":"2003","journal-title":"International Journal of Simulation Systems Science & Technology"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.1993.270632"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/5.740017"}],"event":{"name":"Third ACM & amp; IEEE International Conference on Formal Methods and Models for Co-Design","acronym":"MEMCOD-05","location":"Verona, Italy"},"container-title":["Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9956\/32009\/01487889.pdf?arnumber=1487889","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T17:36:14Z","timestamp":1497634574000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1487889\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/memcod.2005.1487889","relation":{},"subject":[]}}