{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,12,22]],"date-time":"2023-12-22T05:59:06Z","timestamp":1703224746240},"reference-count":18,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[2007,12,1]],"date-time":"2007-12-01T00:00:00Z","timestamp":1196467200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,8,22]],"date-time":"2013-08-22T00:00:00Z","timestamp":1377129600000},"content-version":"vor","delay-in-days":2091,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2007,12]]},"DOI":"10.1016\/j.tcs.2007.08.005","type":"journal-article","created":{"date-parts":[[2007,9,4]],"date-time":"2007-09-04T12:42:51Z","timestamp":1188909771000},"page":"243-266","source":"Crossref","is-referenced-by-count":10,"title":["Component refinement and CSC-solving for STG decomposition"],"prefix":"10.1016","volume":"388","author":[{"given":"Mark","family":"Schaefer","sequence":"first","affiliation":[]},{"given":"Walter","family":"Vogler","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.tcs.2007.08.005_b1","unstructured":"Josep Carmona, Structural methods for the synthesis of well-formed concurrent specifications, Ph.D. Thesis, Universitat Polit\u00e8cnica de Catalunya, 2003"},{"key":"10.1016\/j.tcs.2007.08.005_b2","series-title":"Formal Methods in Computer-Aided Design","first-page":"360","article-title":"Input\/output compatibility of reactive systems","volume":"vol. 2517","author":"Carmona","year":"2002"},{"key":"10.1016\/j.tcs.2007.08.005_b3","doi-asserted-by":"crossref","unstructured":"J. Carmona, J. Cortadella, ILP models for the synthesis of asynchronous control circuits, in: Proc. of the IEEE\/ACM International Conference on Computer Aided Design, 2003, pp. 818\u2013825","DOI":"10.1109\/ICCAD.2003.159771"},{"key":"10.1016\/j.tcs.2007.08.005_b4","unstructured":"T.-A. Chu, Synthesis of self-timed VLSI circuits from graph-theoretic specifications, in: IEEE Int. Conf. Computer Design ICCD \u201987, 1987, pp. 220\u2013223"},{"key":"10.1016\/j.tcs.2007.08.005_b5","first-page":"315","article-title":"Petrify: A tool for manipulating concurrent specifications and synthesis of asynchronous controllers","volume":"3","author":"Cortadella","year":"1997","journal-title":"IEICE Transactions on Information and Systems, E80-D"},{"key":"10.1016\/j.tcs.2007.08.005_b6","series-title":"Logic Synthesis of Asynchronous Controllers and Interfaces","author":"Cortadella","year":"2002"},{"key":"10.1016\/j.tcs.2007.08.005_b7","series-title":"Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits","author":"Dill","year":"1988"},{"key":"10.1016\/j.tcs.2007.08.005_b8","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0167-6423(92)90017-6","article-title":"Arbiters: An exercise in specifying and decomposing asynchronously communicating components","volume":"18","author":"Ebergen","year":"1992","journal-title":"Science of Computer Programming"},{"key":"10.1016\/j.tcs.2007.08.005_b9","unstructured":"F. Garc-Vall, J.M. Colom, Structural analysis of signal transition graphs, in: Petri Nets in System Engineering, 1997"},{"key":"10.1016\/j.tcs.2007.08.005_b10","unstructured":"A. Kondratyev, M. Kishinevsky, A. Taubin, Synthesis method in self-timed design. Decompositional approach, in: IEEE Int. Conf. VLSI and CAD, 1993, pp. 324\u2013327"},{"key":"10.1016\/j.tcs.2007.08.005_b11","doi-asserted-by":"crossref","unstructured":"V. Khomenko, M. Koutny, A. Yakovlev, Logic synthesis for asynchronous circuits based on Petri net unfoldings and incremental sat, in: M.\u00a0Canada Kishinevsky, Ph. Darondeau (Eds.), ACSD 2004, 2004, pp. 16\u201325","DOI":"10.1109\/CSD.2004.1309112"},{"key":"10.1016\/j.tcs.2007.08.005_b12","series-title":"Proceedings of an International Symposium on the Theory of Switching","first-page":"204","article-title":"A theory of asynchronous circuits","author":"Muller","year":"1959"},{"key":"10.1016\/j.tcs.2007.08.005_b13","series-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"10.1016\/j.tcs.2007.08.005_b14","doi-asserted-by":"crossref","unstructured":"M. Schaefer, W. Vogler, R. Wollowski, V. Khomenko, Strategies for optimised STG decomposition. in: Proc. ACSD\u201906, 2006","DOI":"10.1109\/ACSD.2006.30"},{"key":"10.1016\/j.tcs.2007.08.005_b15","first-page":"161","article-title":"Improved decomposition of signal transition graphs","volume":"76","author":"Vogler","year":"2006","journal-title":"Fundamenta Informaticae"},{"key":"10.1016\/j.tcs.2007.08.005_b16","series-title":"Concurrency and Hardware Design","first-page":"152","article-title":"Decomposition in asynchronous circuit design","volume":"vol. 2549","author":"Vogler","year":"2002"},{"key":"10.1016\/j.tcs.2007.08.005_b17","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/BF00122082","article-title":"On the models for asynchronous circuit behaviour with or causality","volume":"9","author":"Yakovlev","year":"1996","journal-title":"Formal Methods in System Design"},{"key":"10.1016\/j.tcs.2007.08.005_b18","doi-asserted-by":"crossref","unstructured":"T. Yoneda, H. Onda, C. Myers, Synthesis of speed independent circuits based on decomposition, in: ASYNC 2004, 2004, pp. 135\u2013145","DOI":"10.1109\/ASYNC.2004.1299295"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397507006214?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397507006214?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,1,4]],"date-time":"2019-01-04T20:54:43Z","timestamp":1546635283000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397507006214"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,12]]},"references-count":18,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2007,12]]}},"alternative-id":["S0304397507006214"],"URL":"https:\/\/doi.org\/10.1016\/j.tcs.2007.08.005","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2007,12]]}}}