{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:43:10Z","timestamp":1750308190730,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,6,7]],"date-time":"2004-06-07T00:00:00Z","timestamp":1086566400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2004,6,7]]},"DOI":"10.1145\/996566.996788","type":"proceedings-article","created":{"date-parts":[[2004,7,20]],"date-time":"2004-07-20T15:55:38Z","timestamp":1090338938000},"page":"830-833","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Decomposing specifications with concurrent outputs to resolve state coding conflicts in asynchronous logic synthesis"],"prefix":"10.1145","author":[{"given":"Hemangee K.","family":"Kapoor","sequence":"first","affiliation":[{"name":"London South Bank University, London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark B.","family":"Josephs","sequence":"additional","affiliation":[{"name":"London South Bank University, London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2004,6,7]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1","volume":"34","author":"Carmona J.","year":"2002","unstructured":"J. Carmona , J. Cortadella , and E. Pastor . A Structural Encoding Technique for the Synthesis of Asynchronous Circuits. Fundamenta Informaticae , 34 : 1 -- 23 , 2002 . J. Carmona, J. Cortadella, and E. Pastor. A Structural Encoding Technique for the Synthesis of Asynchronous Circuits. Fundamenta Informaticae, 34:1--23, 2002.","journal-title":"Fundamenta Informaticae"},{"key":"e_1_3_2_1_3_1","volume-title":"Petrify: A Tool for Manipulating Concurrent Specifications and Synthesis of Asynchronous Controllers. IEICE Transactions on Information and Systems, 3(E80-D):315--325","author":"Cortadella J.","year":"1997","unstructured":"J. Cortadella , M. Kishinevsky , A. Kondratyev , L. Lavagno , and A. Yakovlev . Petrify: A Tool for Manipulating Concurrent Specifications and Synthesis of Asynchronous Controllers. IEICE Transactions on Information and Systems, 3(E80-D):315--325 , 1997 . J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, and A. Yakovlev. Petrify: A Tool for Manipulating Concurrent Specifications and Synthesis of Asynchronous Controllers. IEICE Transactions on Information and Systems, 3(E80-D):315--325, 1997."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.644602"},{"key":"e_1_3_2_1_5_1","volume-title":"Communicating Sequential Processes","author":"Hoare C. A. R.","year":"1985","unstructured":"C. A. R. Hoare . Communicating Sequential Processes . Prentice-Hall International Series in Computer Science, 1985 . C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall International Series in Computer Science, 1985."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/3-540-36190-1_2","volume-title":"Concurrency and Hardware Design Advances in Petri-Nets, LNCS","author":"Josephs M. B.","year":"2002","unstructured":"M. B. Josephs and D. P. Furey . A Programming Approach to the Design of Asynchronous Logic Blocks . In J. Cortadella, A. Yakovlev, and G. Rozenberg, editors, Concurrency and Hardware Design Advances in Petri-Nets, LNCS , volume 2549 , pages 34 -- 60 . Springer Verlag , 2002 . M. B. Josephs and D. P. Furey. A Programming Approach to the Design of Asynchronous Logic Blocks. In J. Cortadella, A. Yakovlev, and G. Rozenberg, editors, Concurrency and Hardware Design Advances in Petri-Nets, LNCS, volume 2549, pages 34--60. Springer Verlag, 2002."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.1993.270632"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/789083.1022842"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/785167.785332"},{"key":"e_1_3_2_1_10_1","first-page":"341","volume-title":"Practical Asynchronous Controller Design. International Conference on Computer Design, ICCD","author":"Nowick S. M.","year":"1992","unstructured":"S. M. Nowick , K. Y. Yun , and D. L. Dill . Practical Asynchronous Controller Design. International Conference on Computer Design, ICCD , pages 341 -- 345 , October 1992 . S. M. Nowick, K. Y. Yun, and D. L. Dill. Practical Asynchronous Controller Design. International Conference on Computer Design, ICCD, pages 341--345, October 1992."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/3-540-36190-1_5","volume-title":"Concurrency and Hardware Design Advances in Petri-Nets, LNCS","author":"Vogler W.","year":"2002","unstructured":"W. Vogler and R. Wollowski . Decomposition in Asynchronous Circuit Design . In J. Cortadella, A. Yakovlev, and G. Rozenberg, editors, Concurrency and Hardware Design Advances in Petri-Nets, LNCS , volume 2549 , pages 152 -- 190 . Springer Verlag , 2002 . W. Vogler and R. Wollowski. Decomposition in Asynchronous Circuit Design. In J. Cortadella, A. Yakovlev, and G. Rozenberg, editors, Concurrency and Hardware Design Advances in Petri-Nets, LNCS, volume 2549, pages 152--190. Springer Verlag, 2002."},{"key":"e_1_3_2_1_12_1","first-page":"576","volume-title":"International Conference on Computer-Aided Design, ICCAD","author":"Yun K. Y.","year":"1992","unstructured":"K. Y. Yun and D. L. Dill . Automatic Synthesis of 3D Asynchronous Controllers . International Conference on Computer-Aided Design, ICCAD , pages 576 -- 580 , November 1992 . K. Y. Yun and D. L. Dill. Automatic Synthesis of 3D Asynchronous Controllers. International Conference on Computer-Aided Design, ICCAD, pages 576--580, November 1992."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/645463.655514"}],"event":{"name":"DAC04: The 41st Annual Design Automation Conference 2004","sponsor":["ACM Association for Computing Machinery","SIGDA ACM Special Interest Group on Design Automation"],"location":"San Diego CA USA","acronym":"DAC04"},"container-title":["Proceedings of the 41st annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/996566.996788","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/996566.996788","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:24:44Z","timestamp":1750263884000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/996566.996788"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,6,7]]},"references-count":12,"alternative-id":["10.1145\/996566.996788","10.1145\/996566"],"URL":"https:\/\/doi.org\/10.1145\/996566.996788","relation":{},"subject":[],"published":{"date-parts":[[2004,6,7]]},"assertion":[{"value":"2004-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}