{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:55:11Z","timestamp":1725566111141},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642154041"},{"type":"electronic","value":"9783642154058"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15405-8_3","type":"book-chapter","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T01:50:40Z","timestamp":1284601840000},"page":"23-34","source":"Crossref","is-referenced-by-count":1,"title":["Deadlock Detection for Parallel Composition of Components"],"prefix":"10.1007","author":[{"given":"Hongwei","family":"Zeng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huaikou","family":"Miao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/10722167_15","volume-title":"Computer Aided Verification","author":"E. Clarke","year":"2000","unstructured":"Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 154\u2013169. Springer, Heidelberg (2000)"},{"issue":"5","key":"3_CR2","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1145\/381694.378846","volume":"36","author":"T. Ball","year":"2001","unstructured":"Ball, T., Majumdar, R., Millstein, T., Rajamani, S.K.: Automatic predicate abstraction of C programs. ACM SIGPLAN Notices\u00a036(5), 203\u2013213 (2001)","journal-title":"ACM SIGPLAN Notices"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-540-45069-6_27","volume-title":"Computer Aided Verification","author":"T.A. Henzinger","year":"2003","unstructured":"Henzinger, T.A., Jhala, R., Majumdar, R., Qadeer, S.: Thread-modular abstraction refinement. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol.\u00a02725, pp. 262\u2013274. Springer, Heidelberg (2003)"},{"key":"3_CR4","first-page":"245","volume-title":"Proceedings of the 2000 International Conference on Computer-Aided Design (ICCAD 2000)","author":"T.A. Henzinger","year":"2000","unstructured":"Henzinger, T.A., Qadeer, S., Rajamani, S.K.: Decomposing refinement proofs using assume-guarantee reasoning. In: Proceedings of the 2000 International Conference on Computer-Aided Design (ICCAD 2000), pp. 245\u2013252. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/3-540-36577-X_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J.M. Cobleigh","year":"2003","unstructured":"Cobleigh, J.M., Giannakopoulou, D., P\u0103s\u0103reanu, C.S.: Learning assumptions for compositional verification. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 331\u2013346. Springer, Heidelberg (2003)"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1109\/MEMCOD.2004.1459856","volume-title":"Proceedings of the Second ACM-IEEE International Conference on Formal Methods and models for Codesign (MEMOCODE)","author":"S. Chaki","year":"2004","unstructured":"Chaki, S., Clarke, E., Ouaknine, J., Sharygina, N.: Automated, Compositional and Iterative Deadlock Detection. In: Proceedings of the Second ACM-IEEE International Conference on Formal Methods and models for Codesign (MEMOCODE), pp. 201\u2013210. IEEE Press, Los Alamitos (2004)"},{"issue":"3","key":"3_CR7","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1109\/32.489078","volume":"22","author":"J.C. Corbett","year":"1996","unstructured":"Corbett, J.C.: Evaluating deadlock detection methods for concurrent software. Software Engineering\u00a022(3), 161\u2013180 (1996)","journal-title":"Software Engineering"},{"issue":"7","key":"3_CR8","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1002\/(SICI)1097-024X(199906)29:7<577::AID-SPE246>3.0.CO;2-V","volume":"29","author":"C. Demartini","year":"1999","unstructured":"Demartini, C., Iosif, R., Sisto, R.: A deadlock detection tool for concurrent java programs. Software: Practice & Experience\u00a029(7), 577\u2013603 (1999)","journal-title":"Software: Practice & Experience"},{"doi-asserted-by":"crossref","unstructured":"Awad, A., Puhlmann, F.: Structural Detection of Deadlocks in Business Process Models. In: Proceedings. of the 11th International Conference on Business Information Systems (BIS 2008). Lecture Notes in Business Information Processing, vol.\u00a07, pp. 239\u2013250 (2008)","key":"3_CR9","DOI":"10.1007\/978-3-540-79396-0_21"},{"issue":"3","key":"3_CR10","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/S0164-1212(02)00037-7","volume":"65","author":"P. Inverardi","year":"2003","unstructured":"Inverardi, P., Tivoli, M.: Deadlock-free software architectures for COM\/DCOM applications. Journal of Systems & Software\u00a065(3), 173\u2013183 (2003)","journal-title":"Journal of Systems & Software"},{"issue":"1","key":"3_CR11","doi-asserted-by":"publisher","first-page":"19","DOI":"10.2316\/Journal.202.2006.1.202-1383","volume":"28","author":"W. Haque","year":"2006","unstructured":"Haque, W.: Concurrent deadlock detection in parallel programs. International Journal of Computers and Applications\u00a028(1), 19\u201325 (2006)","journal-title":"International Journal of Computers and Applications"},{"issue":"6","key":"3_CR12","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1109\/TSE.2004.22","volume":"30","author":"S. Chaki","year":"2004","unstructured":"Chaki, S., Clarke, E., Groce, A., Jha, S., Veith, H.: Modular verification of software components in C. IEEE Transactions on Software Engineering\u00a030(6), 388\u2013402 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"3_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11741-010-0101-2","volume":"14","author":"H. Zeng","year":"2010","unstructured":"Zeng, H.: Deadlock detection using abstraction refinement. Journal of Shanghai University\u00a014(1), 1\u20135 (2010)","journal-title":"Journal of Shanghai University"}],"container-title":["Studies in Computational Intelligence","Computer and Information Science 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15405-8_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T08:53:47Z","timestamp":1619772827000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15405-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642154041","9783642154058"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15405-8_3","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2010]]}}}