{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:33:34Z","timestamp":1742391214350,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/async.2002.1000303","type":"proceedings-article","created":{"date-parts":[[2004,4,23]],"date-time":"2004-04-23T14:38:15Z","timestamp":1082731095000},"page":"127-136","source":"Crossref","is-referenced-by-count":16,"title":["Asynchronous circuit synthesis by direct mapping: interfacing to environment"],"prefix":"10.1109","author":[{"given":"A.","family":"Bystrov","sequence":"first","affiliation":[]},{"given":"A.","family":"Yakovlev","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1982.1675937"},{"key":"ref11","first-page":"3","article-title":"The synthesis of sequential switching circuits","volume":"257","author":"huffman","year":"1964","journal-title":"Sequential Machines Selected Papers"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0023748"},{"key":"ref13","article-title":"Concurrent Hardware: The Theory and Practice of Self-Timed Design","author":"kishinevsky","year":"1994","journal-title":"Series in Parallel Computing"},{"article-title":"Communication and Concurrency","year":"1989","author":"milner","key":"ref14"},{"journal-title":"Acta Informatica","year":"1995","author":"montanari","key":"ref15"},{"key":"ref16","first-page":"204","article-title":"A theory of asynchronous circuits","author":"muller","year":"1959","journal-title":"Proceedings of an International Symposium on the Theory of Switching"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ARVLSI.1995.515610"},{"article-title":"Automatic Synthesis of Burst-Mode Asynchronous Controllers","year":"1993","author":"nowick","key":"ref18"},{"key":"ref19","first-page":"199","article-title":"Signal graphs: from self-timed to timed ones","author":"rosenblum","year":"1985","journal-title":"Proceedings of International Workshop on Timed Petri Nets"},{"key":"ref4","first-page":"407","article-title":"A design methodology for concurrent VLSI systems","author":"chu","year":"1985","journal-title":"Proc International Conf Computer Design (ICCD)"},{"key":"ref3","first-page":"128","article-title":"Priority arbiters","author":"bystrov","year":"2000","journal-title":"Proc International Symposium on Advanced Research in Asynchronous Circuits and Systems"},{"key":"ref6","first-page":"727","article-title":"Modular design of asynchronous circuits defined by graphs","volume":"26","author":"ren\u00e9","year":"1977","journal-title":"IEEE Transactions on Computers"},{"key":"ref5","article-title":"Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers","author":"cortadella","year":"1996","journal-title":"XI Conference on Design of Integrated Circuits and Systems"},{"key":"ref8","article-title":"An environment for the synthesis, verification and testability of burst-mode asynchronous machines","author":"fuhrer","year":"1999","journal-title":"Technical Report TR CUCS-020-99"},{"journal-title":"Translating programs into delay insensitive circuits","year":"1987","author":"ebergen","key":"ref7"},{"key":"ref2","article-title":"Handshake Circuits: an Asynchronous Architecture for VLSI Programming","author":"van berkel","year":"1993","journal-title":"volume 5 of International Series on Parallel Computation"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/4.766818"},{"key":"ref9","first-page":"611","article-title":"On the analysis of switching circuits by means of petri nets","volume":"14","author":"grabowski","year":"1978","journal-title":"Elektron Inf verarb Kybern"},{"key":"ref20","first-page":"10","article-title":"Ideas about arbiters","volume":"1","author":"seitz","year":"1980","journal-title":"Lambda"},{"journal-title":"Classification and Composition of Delay-Insensitive Circuits","year":"1984","author":"tijmen udding","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.2001.914068"},{"key":"ref24","first-page":"332","article-title":"Hardware support of discrete event coordination","author":"varshavsky","year":"1996","journal-title":"Workshop on Discrete Event Systems WODES'06"},{"article-title":"Asynchronous Sequential Switching Circuits","year":"1969","author":"unger","key":"ref23"}],"event":{"name":"Eighth International Symposium on Asynchronous Circuits and Systems","acronym":"ASYNC-02","location":"Manchester, UK"},"container-title":["Proceedings Eighth International Symposium on Asynchronous Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7846\/21599\/01000303.pdf?arnumber=1000303","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,10]],"date-time":"2017-03-10T18:25:23Z","timestamp":1489170323000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1000303\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/async.2002.1000303","relation":{},"subject":[]}}