{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T10:36:42Z","timestamp":1761647802119,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1109\/acsd.2008.4574604","type":"proceedings-article","created":{"date-parts":[[2010,12,8]],"date-time":"2010-12-08T09:27:32Z","timestamp":1291800452000},"page":"128-137","source":"Crossref","is-referenced-by-count":7,"title":["Verification of conditional partial order graphs"],"prefix":"10.1109","author":[{"given":"Andrey","family":"Mokhov","sequence":"first","affiliation":[]},{"given":"Alex","family":"Yakovlev","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"The Complexity of Boolean Functions","year":"1987","author":"wegener","key":"17"},{"key":"15","article-title":"scanning the technology: applications of asynchronous circuits","author":"kees van berkel","year":"1999","journal-title":"Proceedings of the IEEE"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/EDAC.1991.206431"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1049\/PBCS018E_ch16"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3385-3"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403654"},{"journal-title":"Automatic synthesis of burst-mode asynchronous controllers","year":"1993","author":"nowick","key":"12"},{"journal-title":"Lattice Theory","year":"1967","author":"birkhoff","key":"3"},{"key":"2","article-title":"the balsa asynchronous circuit synthesis system","author":"bardsley","year":"2000","journal-title":"Forum on Design Languages"},{"year":"0","key":"1"},{"article-title":"transition sequence encoder","year":"2006","author":"mokhov","key":"10"},{"year":"0","key":"7"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-65306-6_20","article-title":"decidability and complexity of petri net problems - an introduction","author":"esparza","year":"1998","journal-title":"Lectures on Petri Nets I Basic Models W Reisig and G Rozenberg (Eds )"},{"key":"5","first-page":"315","article-title":"petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers","volume":"e80 d","author":"cortadella","year":"1997","journal-title":"IEICE Transactions on Information and Systems"},{"journal-title":"Introduction to Algorithms","year":"2001","author":"cormen","key":"4"},{"journal-title":"Computer Science A Mathematical Introduction","year":"1985","author":"lew","key":"9"},{"journal-title":"Electronic Design Automation for Integrated Circuits Handbook","year":"2006","author":"lavagno","key":"8"}],"event":{"name":"2008 8th International Conference on Application of Concurrency to System Design","start":{"date-parts":[[2008,6,23]]},"location":"Xian, China","end":{"date-parts":[[2008,6,27]]}},"container-title":["2008 8th International Conference on Application of Concurrency to System Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4562770\/4574586\/04574604.pdf?arnumber=4574604","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T12:59:23Z","timestamp":1497877163000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4574604\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/acsd.2008.4574604","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}