{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T11:40:02Z","timestamp":1770291602922,"version":"3.49.0"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319479576","type":"print"},{"value":"9783319479583","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47958-3_7","type":"book-chapter","created":{"date-parts":[[2016,10,8]],"date-time":"2016-10-08T09:40:52Z","timestamp":1475919652000},"page":"116-136","source":"Crossref","is-referenced-by-count":18,"title":["Static Trace-Based Deadlock Analysis for Synchronous Mini-Go"],"prefix":"10.1007","author":[{"given":"Kai","family":"Stadtm\u00fcller","sequence":"first","affiliation":[]},{"given":"Martin","family":"Sulzmann","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Thiemann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,9]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Lee, R., Rinard, M.C.: Ownership types for safe programming: preventing data races and deadlocks. In: Proceedings of OOPSLA 2002, pp. 211\u2013230. ACM (2002)","DOI":"10.1145\/583854.582440"},{"issue":"4","key":"7_CR2","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1145\/321239.321249","volume":"11","author":"JA Brzozowski","year":"1964","unstructured":"Brzozowski, J.A.: Derivatives of regular expressions. J. ACM 11(4), 481\u2013494 (1964)","journal-title":"J. ACM"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-642-18378-2_3","volume-title":"Practical Aspects of Declarative Languages","author":"M Christakis","year":"2011","unstructured":"Christakis, M., Sagonas, K.: Detection of asynchronous message passing errors using static analysis. In: Rocha, R., Launchbury, J. (eds.) PADL 2011. LNCS, vol. 6539, pp. 5\u201318. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-18378-2_3"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Colby, C.: Analyzing the communication topology of concurrent programs. In: Proceedings of PEPM 1995, pp. 202\u2013213. ACM (1995)","DOI":"10.1145\/215465.215592"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Engler, D.R., Ashcraft, K.: RacerX: effective, static detection of race conditions and deadlocks. In: Proceeding of SOSP 2003, pp. 237\u2013252. ACM (2003)","DOI":"10.1145\/945445.945468"},{"key":"7_CR6","unstructured":"The Go programming language. https:\/\/golang.org\/"},{"key":"7_CR7","unstructured":"Oracle: a tool for answering questions about go source code. https:\/\/godoc.org\/golang.org\/x\/tools\/cmd\/oracle"},{"key":"7_CR8","unstructured":"Gopherlyzer: Trace-based deadlock detection for mini-go. https:\/\/github.com\/KaiSta\/gopherlyzer"},{"issue":"8","key":"7_CR9","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 21(8), 666\u2013677 (1978)","journal-title":"Commun. ACM"},{"issue":"1","key":"7_CR10","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1145\/77606.77611","volume":"12","author":"ST Huang","year":"1990","unstructured":"Huang, S.T.: A distributed deadlock detection algorithm for CSP-like communication. ACM Trans. Program. Lang. Syst. 12(1), 102\u2013122 (1990)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"7_CR11","unstructured":"Kobayashi, N.: TyPiCal: type-based static analyzer for the Pi-Calculus. http:\/\/www-kb.is.s.u-tokyo.ac.jp\/~koba\/typical\/"},{"issue":"4\u20135","key":"7_CR12","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/s00236-005-0179-x","volume":"42","author":"N Kobayashi","year":"2005","unstructured":"Kobayashi, N.: Type-based information flow analysis for the pi-calculus. Acta Inf. 42(4\u20135), 291\u2013347 (2005)","journal-title":"Acta Inf."},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/11817949_16","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","author":"N Kobayashi","year":"2006","unstructured":"Kobayashi, N.: A new type system for deadlock-free processes. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 233\u2013247. Springer, Heidelberg (2006). doi: 10.1007\/11817949_16"},{"key":"7_CR14","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/978-1-4615-2271-3_5","volume-title":"Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems","author":"PB Ladkin","year":"1995","unstructured":"Ladkin, P.B., Simons, B.B.: Static deadlock analysis for CSP-type communications. In: Fussell, D.S., Malek, M. (eds.) Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems, pp. 89\u2013102. Springer, Boston (1995)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/10722468_16","volume-title":"SPIN Model Checking and Software Verification","author":"M Martel","year":"2000","unstructured":"Martel, M., Gengler, M.: Communication topology analysis for concurrent programs. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol. 1885, pp. 265\u2013286. Springer, Heidelberg (2000). doi: 10.1007\/10722468_16"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1007\/3-540-55511-0_16","volume-title":"Mathematical Foundations of Programming Semantics","author":"N Mercouroff","year":"1992","unstructured":"Mercouroff, N.: An algorithm for analyzing communicating processes. In: Brookes, S., Main, M., Melton, A., Mislove, M., Schmidt, D. (eds.) MFPS 1991. LNCS, vol. 598, pp. 312\u2013325. Springer, Heidelberg (1992). doi: 10.1007\/3-540-55511-0_16"},{"key":"7_CR17","volume-title":"Communicating and Mobile Systems: The $$\\pi $$ -Calculus","author":"R Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: The $$\\pi $$ -Calculus. Cambridge University Press, New York (1999)"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Ng, N., Yoshida, N.: Static deadlock detection for concurrent go by global session graph synthesis. In: Proceedings of CC 2016, pp. 174\u2013184. ACM (2016)","DOI":"10.1145\/2892208.2892232"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Nielson, H.R., Nielson, F.: Higher-order concurrent programs with finite communication topology. In: Proceedings of POPL 1994, pp. 84\u201397. ACM Press, January 1994","DOI":"10.1145\/174675.174538"},{"key":"7_CR20","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511574962","volume-title":"Concurrent Programming in ML","author":"JH Reppy","year":"1999","unstructured":"Reppy, J.H.: Concurrent Programming in ML. Cambridge University Press, New York (1999)"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-319-30000-9_15","volume-title":"Language and Automata Theory and Applications","author":"M Sulzmann","year":"2016","unstructured":"Sulzmann, M., Thiemann, P.: Forkable regular expressions. In: Dediu, A.-H., Janou\u0161ek, J., Mart\u00edn-Vide, C., Truthe, B. (eds.) LATA 2016. LNCS, vol. 9618, pp. 194\u2013206. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-30000-9_15"},{"key":"7_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"602","DOI":"10.1007\/11531142_26","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"A Williams","year":"2005","unstructured":"Williams, A., Thies, W., Ernst, M.D.: Static deadlock detection for Java libraries. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol. 3586, pp. 602\u2013629. Springer, Heidelberg (2005). doi: 10.1007\/11531142_26"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47958-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T07:30:56Z","timestamp":1568446256000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47958-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319479576","9783319479583"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47958-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}