{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:10:50Z","timestamp":1725563450765},"publisher-location":"London","reference-count":26,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781848829114"},{"type":"electronic","value":"9781848829121"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-1-84882-912-1_16","type":"book-chapter","created":{"date-parts":[[2010,8,20]],"date-time":"2010-08-20T16:27:13Z","timestamp":1282321633000},"page":"371-404","source":"Crossref","is-referenced-by-count":7,"title":["CSP is Expressive Enough for \u03c0"],"prefix":"10.1007","author":[{"given":"A. W.","family":"Roscoe","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,7,21]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: the Spi calculus. Proceedings of the 4th ACM conference on Computer and communications security (1997).","DOI":"10.1145\/266420.266432"},{"key":"16_CR2","unstructured":"Brookes, S.D.: A model for Communicating Sequential Processes. Oxford University DPhil thesis (1983)."},{"key":"16_CR3","unstructured":"Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating Sequential Processes. Appeared as monograph PRG-16, 1981. http:\/\/web.comlab.ox.ac.uk\/people\/Bill.Roscoe\/publications\/1.pdf and extended in JACM 31, pp. 560\u2013599 (1984)."},{"key":"16_CR4","volume-title":"Walker","author":"SD Brookes","year":"1986","unstructured":"Brookes, S.D., Roscoe, A.W., Walker, D.J.: An operational semantics for CSP. Oxford University Technical Report (1986)."},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"He, J., Hoare, C.A.R.: CCS is a retract of CCS. Unifying Theories of Programming symposium, Springer LNCS 4010 (2006).","DOI":"10.1007\/11768173_3"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall (1985).","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"16_CR7","unstructured":"Kleiner, E.: A web services security study using Casper and FDR. Oxford University DPhil thesis (2008)."},{"key":"16_CR8","unstructured":"Lazi\u0107, R.S.: A semantic study of data-independence with applications to the mechanical verification of concurrent systems. Oxford University D.Phil thesis (1998)."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Milner, R.: A Calculus of Communicating Systems. LNCS 92 (1980).","DOI":"10.1007\/3-540-10235-3"},{"key":"16_CR10","unstructured":"Milner, R.: Communication and concurrency. Prentice-Hall (1989)."},{"key":"16_CR11","unstructured":"Milner, R.: Communicating and mobile systems: the \u03c0-calculus. CUP (1999)."},{"key":"16_CR12","volume-title":"A calculus of mobile systems","author":"R Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile systems, Parts I\/II, Information and Computation (1992)."},{"key":"16_CR13","unstructured":"Roscoe, A.W.: A mathematical theory of Communicating Sequential Processes. Oxford University DPhil thesis (1982)."},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Roscoe, A.W.: Denotational semantics for occam, Proceedings of the 1984 Pittsburgh Seminar on Concurrency, Springer LNCS 197","DOI":"10.1007\/3-540-15670-4_15"},{"key":"16_CR15","unstructured":"Roscoe, A.W.: Model-checking CSP, in A Classical Mind, essays in honour of C.A.R. Hoare, Prentice-Hall (1994)."},{"key":"16_CR16","unstructured":"Roscoe, A.W.: The theory and practice of concurrency. Prentice-Hall (1998)."},{"key":"16_CR17","unstructured":"Roscoe, A.W.: Seeing beyond divergence, Communicating Sequential Processes, the first 25 years, Springer LNCS 3525 (2005)."},{"issue":"3","key":"16_CR18","first-page":"163","volume":"78","author":"AW Roscoe","year":"2009","unstructured":"Roscoe, A.W.: Revivals, stuckness and the hierarchy of CSP models, JLaP 78, 3, pp. 163\u2013190 (2009).","journal-title":"JLaP"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Roscoe, A.W.: The three platonic models of divergence-strict CSP. Proceedings of ICTAC (2008).","DOI":"10.1007\/978-3-540-85762-4_3"},{"key":"16_CR20","unstructured":"Roscoe, A.W.: On the expressiveness of CSP, Submitted for publication."},{"key":"16_CR21","doi-asserted-by":"crossref","first-page":"147","DOI":"10.3233\/JCS-1999-72-303","volume":"7","author":"AW Roscoe","year":"1999","unstructured":"Roscoe, A.W., Broadfoot, P.J.: Proving security protocols with model checkers by data independence techniques. J. Comput. Secur. 7, pp. 147\u2013190 (1999).","journal-title":"J. Comput. Secur."},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Roscoe, A. W., Gardiner, P.H.B., Goldsmith, M.H., Hulance, J.R., Jackson, D.M., Scattergood, J.B.: Hierarchical compression for model-checking CSP, or How to check 102\u03020 dining philosophers for deadlock. In Proceedings of TACAS 1995 LNCS 1019.","DOI":"10.1007\/3-540-60630-0_7"},{"key":"16_CR23","unstructured":"Sangiorgi, D., Walker, D.: The \u03c0-calculus: A theory of mobile processes. Cambridge University press (2001)."},{"key":"16_CR24","unstructured":"Stoy, J.E.: Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press (1977)."},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"van Glabbeek, R.J.: On cool congruence formats for weak bisimulation, Proceedings of ICTAC 2005, Springer LNCS 3722.","DOI":"10.1007\/11560647_21"},{"key":"16_CR26","unstructured":"Welch, P.H., Barnes, F.R.M.: A CSP model for mobile processes, Proc CPA 2008, IOS Press (2008)."}],"container-title":["Reflections on the Work of C.A.R. Hoare"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-84882-912-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,6]],"date-time":"2021-11-06T19:18:21Z","timestamp":1636226301000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-84882-912-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9781848829114","9781848829121"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-1-84882-912-1_16","relation":{},"subject":[],"published":{"date-parts":[[2010]]}}}