{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:30:03Z","timestamp":1767929403965,"version":"3.49.0"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319510453","type":"print"},{"value":"9783319510460","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,12,18]],"date-time":"2016-12-18T00:00:00Z","timestamp":1482019200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-51046-0_14","type":"book-chapter","created":{"date-parts":[[2016,12,17]],"date-time":"2016-12-17T07:05:53Z","timestamp":1481958353000},"page":"272-293","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A Branching Time Model of CSP"],"prefix":"10.1007","author":[{"given":"Rob","family":"van Glabbeek","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,12,18]]},"reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/3-540-54430-5_82","volume-title":"CONCUR 1991","author":"L Aceto","year":"1991","unstructured":"Aceto, L., Ing\u00f3lfsd\u00f3ttir, A.: A theory of testing for ACP. In: Baeten, J.C.M., Groote, J.F. (eds.) CONCUR 1991. LNCS, vol. 527, pp. 78\u201395. Springer, Heidelberg (1991). doi:\n                    10.1007\/3-540-54430-5_82"},{"key":"14_CR2","unstructured":"Bergstra, J.A., Klop, J.W., Olderog, E.-R.: Failures withoutchaos: a new process semantics for fair abstraction. In: Wirsing, M. (ed.) Formal Description of Programming Concepts - III, Proceedings of the 3th IFIP WG 2.2 working conference, Ebberup 1986, North-Holland, Amsterdam, pp. 77\u2013103 (1987)"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"JA Bergstra","year":"1984","unstructured":"Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communication. Inform. Control 60, 109\u2013137 (1984). doi:\n                    10.1016\/S0019-9958(84)80025-X","journal-title":"Inform. Control"},{"issue":"3","key":"14_CR4","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"SD Brookes","year":"1984","unstructured":"Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. J. ACM 31(3), 560\u2013599 (1984). doi:\n                    10.1145\/828.833","journal-title":"J. ACM"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/3-540-15670-4_14","volume-title":"Seminar on Concurrency","author":"SD Brookes","year":"1985","unstructured":"Brookes, S.D., Roscoe, A.W.: An improved failures model for communicating processes. In: Brookes, S.D., Roscoe, A.W., Winskel, G. (eds.) CONCURRENCY 1984. LNCS, vol. 197, pp. 281\u2013305. Springer, Heidelberg (1985). doi:\n                    10.1007\/3-540-15670-4_14"},{"issue":"1\u20133","key":"14_CR6","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1016\/S0019-9958(85)80048-6","volume":"64","author":"R Nicola De","year":"1985","unstructured":"De Nicola, R.: Two complete Axiom systems for a theory of communicating sequential processes. Inf. Control 64(1\u20133), 136\u2013172 (1985). doi:\n                    10.1016\/S0019-9958(85)80048-6","journal-title":"Inf. Control"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/3-540-57208-2_6","volume-title":"CONCUR 1993","author":"RJ Glabbeek","year":"1993","unstructured":"Glabbeek, R.J.: The linear time \u2014 branching time spectrum II. In: Best, E. (ed.) CONCUR 1993. LNCS, vol. 715, pp. 66\u201381. Springer, Heidelberg (1993). doi:\n                    10.1007\/3-540-57208-2_6"},{"issue":"2","key":"14_CR8","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/0304-3975(93)90006-F","volume":"113","author":"RJ Glabbeek van","year":"1993","unstructured":"van Glabbeek, R.J., Vaandrager, F.W.: Modular specification of process algebras. Theor. Comput. Sci. 113(2), 293\u2013348 (1993). doi:\n                    10.1016\/0304-3975(93)90006-F","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"14_CR9","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1016\/0890-5401(92)90013-6","volume":"100","author":"JF Groote","year":"1992","unstructured":"Groote, J.F., Vaandrager, F.W.: Structured operational semantics and bisimulation as a congruence. Inf. Comput. 100(2), 202\u2013260 (1992). doi:\n                    10.1016\/0890-5401(92)90013-6","journal-title":"Inf. Comput."},{"issue":"8","key":"14_CR10","doi-asserted-by":"publisher","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). doi:\n                    10.1145\/359576.359585","journal-title":"Commun. ACM"},{"key":"14_CR11","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Upper Saddle River (1985)"},{"key":"14_CR12","unstructured":"Milner, R.: Operational and algebraic semantics of concurrent processes. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, Chap. 19, pp. 1201\u20131242. Elsevier Science Publishers B.V., North-Holland (1990). Alternatively see Communication and Concurrency. Prentice-Hall (1989), of which an earlier version appeared as A Calculus of Communicating Systems. LNCS, vol. 92. Springer (1980)"},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/BF00268075","volume":"23","author":"E-R Olderog","year":"1986","unstructured":"Olderog, E.-R., Hoare, C.A.R.: Specification-oriented semantics for communicating processes. Acta Informatica 23, 9\u201366 (1986). doi:\n                    10.1007\/BF00268075","journal-title":"Acta Informatica"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"518","DOI":"10.1007\/BFb0084813","volume-title":"CONCUR 1992","author":"J Parrow","year":"1992","unstructured":"Parrow, J., Sj\u00f6din, P.: Multiway synchronization verified with coupled simulation. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol. 630, pp. 518\u2013533. Springer Berlin Heidelberg, Berlin, Heidelberg (1992). doi:\n                    10.1007\/BFb0084813"},{"key":"14_CR15","volume-title":"The Theory and Practice of Concurrency","author":"AW Roscoe","year":"1997","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Upper Saddle River (1997). \n                    http:\/\/www.comlab.ox.ac.uk\/bill.roscoe\/publications\/68b.pdf."},{"issue":"3","key":"14_CR16","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/j.jlap.2008.10.002","volume":"78","author":"AW Roscoe","year":"2009","unstructured":"Roscoe, A.W.: Revivals, stuckness and the hierarchy of CSP models. J. Logic Algebraic Program. 78(3), 163\u2013190 (2009). doi:\n                    10.1016\/j.jlap.2008.10.002","journal-title":"J. Logic Algebraic Program."},{"key":"14_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84882-258-0","volume-title":"Understanding Concurrent Systems","author":"AW Roscoe","year":"2010","unstructured":"Roscoe, A.W.: Understanding Concurrent Systems. Springer, London (2010). doi:\n                    10.1007\/978-1-84882-258-0"}],"container-title":["Lecture Notes in Computer Science","Concurrency, Security, and Puzzles"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51046-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T02:02:41Z","timestamp":1558317761000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51046-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,18]]},"ISBN":["9783319510453","9783319510460"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51046-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,12,18]]},"assertion":[{"value":"18 December 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}