{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:53:51Z","timestamp":1762458831146,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642152399"},{"type":"electronic","value":"9783642152405"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15240-5_18","type":"book-chapter","created":{"date-parts":[[2010,8,4]],"date-time":"2010-08-04T15:30:15Z","timestamp":1280935815000},"page":"244-258","source":"Crossref","is-referenced-by-count":9,"title":["Concurrent Pattern Calculus"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Given-Wilson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Gorla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barry","family":"Jay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"The Lambda Calculus. Its Syntax and Semantics","author":"H.P. Barendregt","year":"1985","unstructured":"Barendregt, H.P.: The Lambda Calculus. Its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics. Elsevier Science Publishers B.V., Amsterdam (1985)"},{"key":"18_CR2","unstructured":"bondi programming language, http:\/\/www-staff.it.uts.edu.au\/~cbj\/bondi"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/11549970_3","volume-title":"Formal Techniques for Computer Systems and Business Processes","author":"A.L. Brown","year":"2005","unstructured":"Brown, A.L., Laneve, C., Meredith, L.G.: Piduce: A process calculus with native XML datatypes. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW\/WS-EM 2005. LNCS, vol.\u00a03670, pp. 18\u201334. Springer, Heidelberg (2005)"},{"issue":"1","key":"18_CR4","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative communication in Linda. ACM Transactions on Programming Languages and Systems\u00a07(1), 80\u2013112 (1985)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Given-Wilson, T., Gorla, D., Jay, B.: Concurrent pattern calculus, long version (2010), http:\/\/www.progsoc.uts.edu.au\/~sanguinev\/files\/cpc-long.pdf","DOI":"10.1007\/978-3-642-15240-5_18"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Gordon, A., Abadi, M.: A calculus for cryptographic protocols: The spi calculus. In: 4th ACM Conference on Computer and Communications Security, pp. 36\u201347 (1997)","DOI":"10.1145\/266420.266432"},{"issue":"8","key":"18_CR7","doi-asserted-by":"publisher","first-page":"931","DOI":"10.1016\/j.ic.2008.05.001","volume":"206","author":"D. Gorla","year":"2008","unstructured":"Gorla, D.: Comparing communication primitives via their relative expressive power. Information and Computation\u00a0206(8), 931\u2013952 (2008)","journal-title":"Information and Computation"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1007\/978-3-540-85361-9_38","volume-title":"CONCUR 2008 - Concurrency Theory","author":"D. Gorla","year":"2008","unstructured":"Gorla, D.: Towards a unified approach to encodability and separation results for process calculi. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol.\u00a05201, pp. 492\u2013507. Springer, Heidelberg (2008)"},{"key":"18_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-89185-7","volume-title":"Pattern Calculus: Computing with Functions and Data Structures","author":"B. Jay","year":"2009","unstructured":"Jay, B.: Pattern Calculus: Computing with Functions and Data Structures. Springer, Heidelberg (2009)"},{"key":"18_CR10","unstructured":"Jay, B., Given-Wilson, T.: A combinatory account of internal structure (2010), http:\/\/www-staff.it.uts.edu.au\/~cbj\/Publications\/factorisation.pdf"},{"issue":"2","key":"18_CR11","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1017\/S0956796808007144","volume":"19","author":"B. Jay","year":"2009","unstructured":"Jay, B., Kesner, D.: First-class patterns. Journal of Functional Programming\u00a019(2), 34pages (2009)","journal-title":"Journal of Functional Programming"},{"key":"18_CR12","series-title":"F","volume-title":"Logic and Algebra of Specification","author":"R. Milner","year":"1993","unstructured":"Milner, R.: The polyadic \u03c0-calculus: A tutorial. In: Bauer, F.L., Brauer, W., Schwichtenberg, H. (eds.) Logic and Algebra of Specification. NATO ASI., vol.\u00a094. Springer, Heidelberg (1993)"},{"key":"18_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, part I\/II. Information and Computation\u00a0100, 1\u201377 (1992)","journal-title":"Information and Computation"},{"issue":"5","key":"18_CR14","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R.D. Nicola","year":"1998","unstructured":"Nicola, R.D., Ferrari, G., Pugliese, R.: KLAIM: A kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering\u00a024(5), 315\u2013330 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"18_CR15","first-page":"176","volume-title":"Proc. of LICS","author":"J. Parrow","year":"1998","unstructured":"Parrow, J., Victor, B.: The fusion calculus: Expressiveness and symmetry in mobile processes. In: Proc. of LICS, pp. 176\u2013185. IEEE Computer Society, Los Alamitos (1998)"},{"key":"18_CR16","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1145\/302405.302659","volume-title":"Proc. of the 21st Int. Conference on Software Engineering (ICSE\u201999)","author":"G. Picco","year":"1999","unstructured":"Picco, G., Murphy, A., Roman, G.-C.: Lime: Linda Meets Mobility. In: Garlan, D. (ed.) Proc. of the 21st Int. Conference on Software Engineering (ICSE\u201999), pp. 368\u2013377. ACM Press, New York (1999)"},{"issue":"3","key":"18_CR17","doi-asserted-by":"publisher","first-page":"606","DOI":"10.1016\/j.tcs.2005.03.017","volume":"340","author":"L. Wischik","year":"2005","unstructured":"Wischik, L., Gardner, P.: Explicit fusions. Theor. Comput. Sci.\u00a0340(3), 606\u2013630 (2005)","journal-title":"Theor. Comput. Sci."}],"container-title":["IFIP Advances in Information and Communication Technology","Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15240-5_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T20:23:34Z","timestamp":1740342214000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15240-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642152399","9783642152405"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15240-5_18","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2010]]}}}