{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:39:40Z","timestamp":1725586780188},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214363"},{"type":"electronic","value":"9783642214370"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21437-0_22","type":"book-chapter","created":{"date-parts":[[2011,6,18]],"date-time":"2011-06-18T07:33:16Z","timestamp":1308382396000},"page":"278-292","source":"Crossref","is-referenced-by-count":0,"title":["Termination without $\\checkmark$ in CSP"],"prefix":"10.1007","author":[{"given":"Steve","family":"Dunne","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/11526841_16","volume-title":"FM 2005: Formal Methods","author":"M. Butler","year":"2005","unstructured":"Butler, M., Leuschel, M.: Combining CSP and B for specification and property verification. In: Fitzgerald, J., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 221\u2013236. Springer, Heidelberg (2005)"},{"key":"22_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-642-14521-6_4","volume-title":"Unifying Theories of Programming","author":"A.L.C. Cavalcanti","year":"2010","unstructured":"Cavalcanti, A.L.C., Gaudel, M.-C.: A note on traces refinement and the conf relation in the unifying theories of programming. In: Butterfield, A. (ed.) UTP 2008. LNCS, vol.\u00a05713, pp. 42\u201361. Springer, Heidelberg (2010)"},{"key":"22_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/11889229_6","volume-title":"Refinement Techniques in Software Engineering","author":"A.L.C. Cavalcanti","year":"2006","unstructured":"Cavalcanti, A.L.C., Woodcock, J.C.P.: A tutorial introduction to CSP in unifying theories of programming. In: Cavalcanti, A., Sampaio, A., Woodcock, J. (eds.) PSSE 2004. LNCS, vol.\u00a03167, pp. 220\u2013268. Springer, Heidelberg (2006)"},{"key":"22_CR4","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.entcs.2009.12.016","volume":"259","author":"S.E. Dunne","year":"2009","unstructured":"Dunne, S.E.: Of wlp and CSP. Electron. Notes Theor. Comput. Sci.\u00a0259, 35\u201345 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"22_CR5","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"22_CR6","volume-title":"Unifying Theories of Programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., Jifeng, H.: Unifying Theories of Programming. Prentice-Hall, Englewood Cliffs (1998)"},{"issue":"5","key":"22_CR7","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/s00165-008-0098-z","volume":"21","author":"P. Howells","year":"2009","unstructured":"Howells, P., d\u2019Inverno, M.: A CSP model with flexible parallel termination semantics. Formal Aspects of Computing\u00a021(5), 421\u2013449 (2009)","journal-title":"Formal Aspects of Computing"},{"key":"22_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/11423348_6","volume-title":"Communicating Sequential Processes. The First 25 Years","author":"M.B. Josephs","year":"2005","unstructured":"Josephs, M.B.: Models for data-flow sequential processes. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol.\u00a03525, pp. 85\u201397. Springer, Heidelberg (2005)"},{"key":"22_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-540-88194-0_18","volume-title":"Formal Methods and Software Engineering","author":"M. Leuschel","year":"2008","unstructured":"Leuschel, M., Fontaine, M.: Probing the depths of CSP-M: A new fdr-compliant validation tool. In: Liu, S., Maibaum, T., Araki, K. (eds.) ICFEM 2008. LNCS, vol.\u00a05256, pp. 278\u2013297. Springer, Heidelberg (2008)"},{"key":"22_CR10","unstructured":"Formal Systems\u00a0(Europe) Ltd. Failures-divergence refinement: FDR2 user manual (2010), \n                    \n                      http:\/\/www.fsel.com\/fdr2_manual.html"},{"key":"22_CR11","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"22_CR12","volume-title":"Concurrent and Real-time Systems: The CSP Approach","author":"S. Schneider","year":"2000","unstructured":"Schneider, S.: Concurrent and Real-time Systems: The CSP Approach. Wiley, Chichester (2000)"},{"key":"22_CR13","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1016\/0020-0190(94)00214-J","volume":"53","author":"A. Valmari","year":"1995","unstructured":"Valmari, A.: The weakest deadlock-preserving congruence. Information Processing Letters\u00a053, 341\u2013346 (1995)","journal-title":"Information Processing Letters"}],"container-title":["Lecture Notes in Computer Science","FM 2011: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21437-0_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,29]],"date-time":"2019-03-29T01:53:31Z","timestamp":1553824411000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21437-0_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214363","9783642214370"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21437-0_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}