{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T03:43:41Z","timestamp":1761968621559,"version":"build-2065373602"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2011,11,1]],"date-time":"2011-11-01T00:00:00Z","timestamp":1320105600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. Technol."],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1007\/s11390-011-1199-3","type":"journal-article","created":{"date-parts":[[2011,11,28]],"date-time":"2011-11-28T13:47:57Z","timestamp":1322488077000},"page":"1031-1040","source":"Crossref","is-referenced-by-count":2,"title":["Structure-Based Deadlock Checking of Asynchronous Circuits"],"prefix":"10.1007","volume":"26","author":[{"given":"Hong-Guang","family":"Ren","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhi-Ying","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Doug","family":"Edwards","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,11,28]]},"reference":[{"issue":"1","key":"1199_CR1","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1093\/comjnl\/45.1.12","volume":"45","author":"D Edwards","year":"2002","unstructured":"Edwards D, Bardsley A. Balsa: An asynchronous hardware synthesis language. The Computer Journal, 2002, 45(1): 12-18.","journal-title":"The Computer Journal"},{"key":"1199_CR2","doi-asserted-by":"crossref","unstructured":"van Berkel K. Handshake Circuits: An Asynchronous Architecture for VLSI Programming. 1st edition, Cambridge University Press, 1993.","DOI":"10.1017\/CBO9780511585777"},{"key":"1199_CR3","doi-asserted-by":"crossref","unstructured":"Brunvand E, Sproull R F. Translating concurrent programs into delay-insensitive circuits. In Proc. the 7th International Conference on Computer-Aided Design, Santa Clara, USA, November 5\u20139, 1989, pp.262-265.","DOI":"10.1109\/ICCAD.1989.76949"},{"key":"1199_CR4","doi-asserted-by":"crossref","unstructured":"Queille J P, Sifakis J. Specification and verification of concurrent systems in CESAR. In Proc. the 5th International Symposium on Programming, Turin, Italy, April 6\u20138, 1982, pp.337-350.","DOI":"10.1007\/3-540-11494-7_22"},{"issue":"3","key":"1199_CR5","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/BFb0025774","volume":"131","author":"EM Clarke","year":"1982","unstructured":"Clarke E M, Emerson E A. Design and synthesis of synchronization skeletons using branching time temporal logic. Logics of Programs, 1982, 131(3): 52\u201371.","journal-title":"Logics of Programs"},{"issue":"4","key":"1199_CR6","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1109\/43.275352","volume":"13","author":"JR Burch","year":"1994","unstructured":"Burch J R, Clarke E M, Long D E, McMillan K L, Dill D L. Symbolic model checking for sequential circuit verification. IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, 1994, 13(4): 401\u2013424.","journal-title":"IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems"},{"issue":"8","key":"1199_CR7","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"RE Bryant","year":"1986","unstructured":"Bryant R E. Graph-based algorithms for boolean function manipulation. IEEE Trans. Computers, 1986, 35(8): 677-691.","journal-title":"IEEE Trans. Computers"},{"key":"1199_CR8","doi-asserted-by":"crossref","unstructured":"McMillan K L. Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits. In Proc. the 4th Workshop on Computer Aided Verification, Montreal, Canada, June 29-July 1, 1992, pp.164-177.","DOI":"10.1007\/3-540-56496-9_14"},{"issue":"4","key":"1199_CR9","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 1989, 77(4): 541\u2013580.","journal-title":"Proceedings of the IEEE"},{"key":"1199_CR10","doi-asserted-by":"crossref","unstructured":"Roig O, Cortadella J, Pastor E. Verification of asynchronous circuits by BDD-based model checking of Petri nets. In Proc. the 16th International Conference on Application and Theory of Petri Nets, Turin, Italy, June 26\u201330, 1995, pp.374-391.","DOI":"10.1007\/3-540-60029-9_50"},{"key":"1199_CR11","doi-asserted-by":"crossref","unstructured":"Melzer S, R\u00f6mer S. Deadlock checking using net unfoldings. In Proc. the 9th International Conference on Computer Aided Verification, Haifa, Israel, June 22\u201325, 1997, pp.352-363.","DOI":"10.1007\/3-540-63166-6_35"},{"key":"1199_CR12","doi-asserted-by":"crossref","unstructured":"Khomenko V, Koutny M. LP deadlock checking using partial order dependencies. In Proc. the 11th International Conference on Concurrency Theory, Pennsylvania, USA, August 22\u201325, 2000, pp.410-425.","DOI":"10.1007\/3-540-44618-4_30"},{"key":"1199_CR13","doi-asserted-by":"crossref","unstructured":"Poliakov I, Mokhov A, Rafiev A, Sokolov D, Yakovlev A. Automated verification of asynchronous circuits using circuit Petri nets. In Proc. the 14th International Symposium on Asynchronous Circuits and Systems, Newcastle, UK, April 7\u201310, 2008, pp.161-170.","DOI":"10.1109\/ASYNC.2008.18"},{"issue":"1","key":"1199_CR14","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF01384314","volume":"6","author":"KL McMillan","year":"1995","unstructured":"McMillan K L. A technique of state space search based on unfolding. Formal Methods in System Design, 1995, 6(1): 45\u201365.","journal-title":"Formal Methods in System Design"},{"issue":"6","key":"1199_CR15","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1109\/T-C.1971.223314","volume":"20","author":"J Bruno","year":"1971","unstructured":"Bruno J, Altman S M. A theory of asynchronous control networks. IEEE Trans. Computers, 1971, 20(6): 629\u2013638.","journal-title":"IEEE Trans. Computers"},{"key":"1199_CR16","doi-asserted-by":"crossref","unstructured":"Manohar R, Martin A J. Slack elasticity in concurrent computing. In Proc. the 4th International Conference on the Mathematics of Program Construction, Marstrand, Sweden, June 15\u201317, 1998, pp.272-285.","DOI":"10.1007\/BFb0054295"},{"key":"1199_CR17","doi-asserted-by":"crossref","unstructured":"Bardsley A, Tarazona L, Edwards D. Teak: A token-flow implementation for the Balsa language. In Proc. the 9th International Conference on Application of Concurrency to System Design, Augsburg, Germany, July 1\u20133, 2009, pp.23-31.","DOI":"10.1109\/ACSD.2009.15"},{"key":"1199_CR18","doi-asserted-by":"crossref","unstructured":"Spars\u00f8 J, Furber S. Principles of Asynchronous Circuit Design \u2014 A Systems Perspective, Kluwer Academic Publishers, 2001.","DOI":"10.1007\/978-1-4757-3385-3"},{"key":"1199_CR19","doi-asserted-by":"crossref","unstructured":"Beerel P A, Kim N H, Lines A, Davies M. Slack matching asynchronous designs. In Proc. the 12th International Symposium on Asynchronous Circuits and Systems, Grenoble, France, March 13\u201315, 2006, pp.184-194.","DOI":"10.1109\/ASYNC.2006.26"},{"key":"1199_CR20","doi-asserted-by":"crossref","unstructured":"Prakash P, Martin A J. Slack matching quasi delay-insensitive circuits. In Proc. the 12th International Symposium on Asynchronous Circuits and Systems, Grenoble, France, March 13\u201315, 2006, pp.195-204.","DOI":"10.1109\/ASYNC.2006.27"},{"key":"1199_CR21","doi-asserted-by":"crossref","unstructured":"Gill G, Gupta V, Singh M. Performance estimation and slack matching for pipelined asynchronous architectures with choice. In Proc. the 45th International Conference on Computer-Aided Design, San Jose, USA, November 10\u201313, 2008, pp.449-456.","DOI":"10.1109\/ICCAD.2008.4681614"},{"key":"1199_CR22","first-page":"211","volume":"2","author":"R Tarjan","year":"1973","unstructured":"Tarjan R E. Enumeration of the elementary circuits of a directed graph. SIAM Journal on Computing, 1973, 2: 211\u2013216.","journal-title":"Enumeration of the elementary circuits of a directed graph. SIAM Journal on Computing"},{"key":"1199_CR23","unstructured":"Khomenko V. Punf documentation and user guide manual, Version 6.03, 2003."},{"key":"1199_CR24","unstructured":"Khomenko V. A usable reachability analyser, CS-TR-1140, Newcastle Univ., http:\/\/homepages.cs.ncl.ac.uk\/victorkhomenko\/tods\/mpsat\/CS-TR-1140.pdf , 2009."},{"key":"1199_CR25","unstructured":"The SPARC architecture manual (Version 9), SPARC International, Inc., Weaver D L, Germond T (eds.), http:\/\/www.sparc.com\/standards\/SPARCV9.pdf , 1994."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-011-1199-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11390-011-1199-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-011-1199-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T15:51:51Z","timestamp":1741967511000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11390-011-1199-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11]]},"references-count":25,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2011,11]]}},"alternative-id":["1199"],"URL":"https:\/\/doi.org\/10.1007\/s11390-011-1199-3","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"type":"print","value":"1000-9000"},{"type":"electronic","value":"1860-4749"}],"subject":[],"published":{"date-parts":[[2011,11]]}}}