{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T06:35:23Z","timestamp":1743057323886,"version":"3.40.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319155784"},{"type":"electronic","value":"9783319155791"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-15579-1_11","type":"book-chapter","created":{"date-parts":[[2015,2,23]],"date-time":"2015-02-23T08:36:13Z","timestamp":1424680573000},"page":"145-160","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Building Bridges Between Sets of Partial Orders"],"prefix":"10.1007","author":[{"given":"Hern\u00e1n","family":"Ponce-de-Le\u00f3n","sequence":"first","affiliation":[]},{"given":"Andrey","family":"Mokhov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,2,24]]},"reference":[{"key":"11_CR1","unstructured":"Berkeley Logic Synthesis and Verification Group: ABC: A System for Sequential Synthesis and Verification, Release 70930. http:\/\/www.eecs.berkeley.edu\/alanmi\/abc\/"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"D\u2019Alessandro, C., Mokhov, A., Bystrov, A.V., Yakovlev, A.: Delay\/phase regeneration circuits. In: 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2007), 12\u201314 March 2006, Berkeley. pp. 105\u2013116. IEEE Computer Society (2007). http:\/\/doi.ieeecomputersociety.org\/10.1109\/ASYNC.2007.14","DOI":"10.1109\/ASYNC.2007.14"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/3-540-61042-1_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J Esparza","year":"1996","unstructured":"Esparza, J., R\u00f6mer, S., Vogler, W.: An improvement of McMillan\u2019s unfolding. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol. 1055, pp. 87\u2013106. Springer, Heidelberg (1996)"},{"issue":"6","key":"11_CR4","doi-asserted-by":"publisher","first-page":"1552","DOI":"10.1109\/TC.2013.37","volume":"63","author":"A Mokhov","year":"2014","unstructured":"Mokhov, A., Iliasov, A., Sokolov, D., Rykunov, M., Yakovlev, A., Romanovsky, A.: Synthesis of processor instruction sets from high-level ISA specifications. IEEE Trans. Computers 63(6), 1552\u20131566 (2014). http:\/\/doi.ieeecomputersociety.org\/10.1109\/TC.2013.37","journal-title":"IEEE Trans. Computers"},{"issue":"11","key":"11_CR5","doi-asserted-by":"publisher","first-page":"1480","DOI":"10.1109\/TC.2010.58","volume":"59","author":"A Mokhov","year":"2010","unstructured":"Mokhov, A., Yakovlev, A.: Conditional partial order graphs: Model, synthesis, and application. IEEE Trans. Computers 59(11), 1480\u20131493 (2010)","journal-title":"IEEE Trans. Computers"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G.D., Winskel, G.: Petri nets, event structures and domains, part I. Theoretical Computer Science 13, 85\u2013108 (1981)","journal-title":"Theoretical Computer Science"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1007\/978-3-540-73094-1_30","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"I Poliakov","year":"2007","unstructured":"Poliakov, I., Sokolov, D., Mokhov, A.: Workcraft: a static data flow structure editing, visualisation and analysis tool. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 505\u2013514. Springer, Heidelberg (2007)"},{"key":"11_CR8","unstructured":"Ponce de Le\u00f3n, H., Mokhov, A.: Building bridges between sets of partial orders. (2014), technical report. http:\/\/hal.inria.fr\/hal-01060449 (Visited on September 4, 2014)"},{"key":"11_CR9","unstructured":"Sung-hyuk, C.: A genetic algorithm for constructing compact binary decision trees. In: International Journal of Information Security and Privacy. pp. 32\u201360 (2010)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Wegener, I.: The Complexity of Boolean Functions. Johann Wolfgang Goethe-Universitat (1987)","DOI":"10.1007\/3-540-18170-9_185"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/3-540-45657-0_2","volume-title":"Computer Aided Verification","author":"L Zhang","year":"2002","unstructured":"Zhang, L., Malik, S.: The Quest for Efficient Boolean Satisfiability Solvers. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 17\u201336. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Language and Automata Theory and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15579-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,8]],"date-time":"2023-02-08T07:49:08Z","timestamp":1675842548000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-15579-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319155784","9783319155791"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15579-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"24 February 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}