{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:50:05Z","timestamp":1762458605435},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540787990"},{"type":"electronic","value":"9783540788003"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-78800-3_21","type":"book-chapter","created":{"date-parts":[[2008,4,2]],"date-time":"2008-04-02T08:26:19Z","timestamp":1207124779000},"page":"299-314","source":"Crossref","is-referenced-by-count":49,"title":["Context-Bounded Analysis of Concurrent Queue Systems"],"prefix":"10.1007","author":[{"given":"Salvatore","family":"La Torre","sequence":"first","affiliation":[]},{"given":"P.","family":"Madhusudan","sequence":"additional","affiliation":[]},{"given":"Gennaro","family":"Parlato","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","first-page":"160","volume-title":"LICS","author":"P. Abdulla","year":"1993","unstructured":"Abdulla, P., Jonsson, B.: Verifying programs with unreliable channels. In: LICS, pp. 160\u2013170. IEEE Computer Society, Los Alamitos (1993)"},{"key":"21_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/11590156_28","volume-title":"FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science","author":"A. Bouajjani","year":"2005","unstructured":"Bouajjani, A., Esparza, J., Schwoon, S., Strejcek, J.: Reachability analysis of multithreaded software with asynchronous communication. In: Ramanujam, R., Sen, S. (eds.) FSTTCS 2005. LNCS, vol.\u00a03821, pp. 348\u2013359. Springer, Heidelberg (2005)"},{"key":"21_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-540-73368-3_24","volume-title":"Computer Aided Verification","author":"A. Bouajjani","year":"2007","unstructured":"Bouajjani, A., Fratani, S., Qadeer, S.: Context-bounded analysis of multithreaded programs with dynamic linked structures. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 207\u2013220. Springer, Heidelberg (2007)"},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1007\/3-540-63166-6_31","volume-title":"Computer Aided Verification","author":"G. C\u00e9c\u00e9","year":"1997","unstructured":"C\u00e9c\u00e9, G., Finkel, A.: Programs with quasi-stable channels are effectively recognizable (extended abstract). In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 304\u2013315. Springer, Heidelberg (1997)"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74407-8_10","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"R. Chadha","year":"2007","unstructured":"Chadha, R., Viswanathan, M.: Decidability results for well-structured transition systems with auxiliary storage. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR. LNCS, vol.\u00a04703, Springer, Heidelberg (2007)"},{"issue":"1-2","key":"21_CR6","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0304-3975(94)00231-7","volume":"147","author":"A. Cheng","year":"1995","unstructured":"Cheng, A., Esparza, J., Palsberg, J.: Complexity Results for 1-Safe Nets. Theor. Comput. Sci.\u00a0147(1-2), 117\u2013136 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"21_CR7","first-page":"1","volume-title":"PLDI","author":"D. Gay","year":"2003","unstructured":"Gay, D., Levis, P., von Behren, J.R., Welsh, M., Brewer, E.A., Culler, D.E.: The Nesc language: A holistic approach to networked embedded systems. In: PLDI, pp. 1\u201311. ACM Press, New York (2003)"},{"key":"21_CR8","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J.E. Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (1979)"},{"issue":"1","key":"21_CR9","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1142\/S0129054102000984","volume":"13","author":"O.H. Ibarra","year":"2002","unstructured":"Ibarra, O.H.: Verification in queue-connected multicounter machines. Int. J. Found. Comput. Sci.\u00a013(1), 115\u2013127 (2002)","journal-title":"Int. J. Found. Comput. Sci."},{"issue":"3","key":"21_CR10","doi-asserted-by":"publisher","first-page":"1713","DOI":"10.1016\/S0304-3975(02)00076-2","volume":"290","author":"O.H. Ibarra","year":"2003","unstructured":"Ibarra, O.H., Dang, Z., San Pietro, P.: Verification in loosely synchronous queue-connected discrete timed automata. Theor. Comput. Sci.\u00a0290(3), 1713\u20131735 (2003)","journal-title":"Theor. Comput. Sci."},{"key":"21_CR11","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1145\/1190216.1190266","volume-title":"POPL","author":"R. Jhala","year":"2007","unstructured":"Jhala, R., Majumdar, R.: Interprocedural analysis of asynchronous programs. In: POPL, pp. 339\u2013350. ACM Press, New York (2007)"},{"key":"21_CR12","first-page":"161","volume-title":"LICS","author":"S. La Torre","year":"2007","unstructured":"La Torre, S., Madhusudan, P., Parlato, G.: A robust class of context-sensitive languages. In: LICS, pp. 161\u2013170. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"21_CR13","unstructured":"Libasync, http:\/\/pdos.csail.mit.edu\/6.824-2004\/async\/ ."},{"key":"21_CR14","first-page":"446","volume-title":"PLDI","author":"M. Musuvathi","year":"2007","unstructured":"Musuvathi, M., Qadeer, S.: Iterative context bounding for systematic testing of multithreaded programs. In: PLDI, pp. 446\u2013455. ACM, New York (2007)"},{"issue":"6\/7","key":"21_CR15","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1007\/BF01185558","volume":"29","author":"W. Peng","year":"1992","unstructured":"Peng, W., Purushothaman, S.: Analysis of a class of communicating finite state machines. Acta Inf.\u00a029(6\/7), 499\u2013522 (1992)","journal-title":"Acta Inf."},{"key":"21_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/978-3-540-31980-1_7","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Qadeer","year":"2005","unstructured":"Qadeer, S., Rehof, J.: Context-bounded model checking of concurrent software. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 93\u2013107. Springer, Heidelberg (2005)"},{"key":"21_CR17","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1145\/996841.996845","volume-title":"PLDI","author":"S. Qadeer","year":"2004","unstructured":"Qadeer, S., Wu, D.: Kiss: keep it simple and sequential. In: PLDI, pp. 14\u201324. ACM, New York (2004)"},{"key":"21_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/11817963_29","volume-title":"Computer Aided Verification","author":"K. Sen","year":"2006","unstructured":"Sen, K., Viswanathan, M.: Model checking multithreaded programs with asynchronous atomic methods. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol.\u00a04144, pp. 300\u2013314. Springer, Heidelberg (2006)"},{"key":"21_CR19","unstructured":"Zeldovich, N., Yip, A., Dabek, F., Morris, R., Mazi\u00e8res, D., Kaashoek, M.F.: Multiprocessor support for event-driven programs. In: USENIX (2003)"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78800-3_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,17]],"date-time":"2023-05-17T11:35:07Z","timestamp":1684323307000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78800-3_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540787990","9783540788003"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78800-3_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}