{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:11:22Z","timestamp":1760202682334,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319082592"},{"type":"electronic","value":"9783319082608"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08260-8_9","type":"book-chapter","created":{"date-parts":[[2014,6,24]],"date-time":"2014-06-24T07:13:31Z","timestamp":1403594011000},"page":"147-167","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["On the Expressiveness of Parameterization in Process-Passing"],"prefix":"10.1007","author":[{"given":"Xian","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qiang","family":"Yin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huan","family":"Long","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,6,25]]},"reference":[{"key":"9_CR1","unstructured":"Bundgaard, M., Godskesen, J.C., Hildebrandt, T.: Encoding the pi-calculus in higher-order calculi. Technical report TR-2008-106, IT University of Copenhagen (2008)"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1016\/j.tcs.2006.02.006","volume":"356","author":"M Bundgaard","year":"2006","unstructured":"Bundgaard, M., Hildebrandt, T., Godskesen, J.C.: A CPS encoding of name-passing in higher-order mobile embedded resources. Theoret. Comput. Sci. 356, 422\u2013439 (2006)","journal-title":"Theoret. Comput. Sci."},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-642-03466-4_10","volume-title":"Theoretical Aspects of Computing - ICTAC 2009","author":"C Di Giusto","year":"2009","unstructured":"Di Giusto, C., P\u00e9rez, J.A., Zavattaro, G.: On the expressiveness of forwarding in higher-order communication. In: Leucker, M., Morgan, C. (eds.) ICTAC 2009. LNCS, vol. 5684, pp. 155\u2013169. Springer, Heidelberg (2009)"},{"key":"9_CR4","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. 5201, pp. 492\u2013507. Springer, Heidelberg (2008). (Journal version in [5])"},{"issue":"9","key":"9_CR5","doi-asserted-by":"publisher","first-page":"1031","DOI":"10.1016\/j.ic.2010.05.002","volume":"208","author":"D Gorla","year":"2010","unstructured":"Gorla, D.: Towards a unified approach to encodability and separation results for process calculi. Inf. Comput. 208(9), 1031\u20131053 (2010)","journal-title":"Inf. Comput."},{"key":"9_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511611063","volume-title":"A Distributed Pi-Calculus","author":"M Hennessy","year":"2007","unstructured":"Hennessy, M.: A Distributed Pi-Calculus. Cambridge University Press, Cambridge (2007)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BFb0057019","volume-title":"ECOOP \u201991 European Conference on Object-Oriented Programming","author":"K Honda","year":"1991","unstructured":"Honda, K., Tokoro, M.: An object calculus for asynchronous communication. In: America, P. (ed.) ECOOP 1991. LNCS, vol. 512, pp. 133\u2013147. Springer, Heidelberg (1991)"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Lago, U.D., Martini, S., Sangiorgi, D.: Light logics and higher-order processes. In: Proceedings of Workshop on Expressiveness in Concurrency 2010 (EXPRESS 2010). EPTCS, vol. 41, pp. 46\u201360 (2010)","DOI":"10.4204\/EPTCS.41.4"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/978-3-642-37036-6_21","volume-title":"Programming Languages and Systems","author":"I Lanese","year":"2013","unstructured":"Lanese, I., Lienhardt, M., Mezzina, C.A., Schmitt, A., Stefani, J.-B.: Concurrent flexible reversibility. In: Felleisen, M., Gardner, P. (eds.) Programming Languages and Systems. LNCS, vol. 7792, pp. 370\u2013390. Springer, Heidelberg (2013)"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1007\/978-3-642-14162-1_37","volume-title":"Automata, Languages and Programming","author":"I Lanese","year":"2010","unstructured":"Lanese, I., P\u00e9rez, J.A., Sangiorgi, D., Schmitt, A.: On the expressiveness of polyadic and synchronous communication in higher-order process calculi. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010. LNCS, vol. 6199, pp. 442\u2013453. Springer, Heidelberg (2010)"},{"issue":"2","key":"9_CR11","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1016\/j.ic.2010.10.001","volume":"209","author":"I Lanese","year":"2011","unstructured":"Lanese, I., P\u00e9rez, J.A., Sangiorgi, D., Schmitt, A.: On the expressiveness and decidability of higher-order process calculi. Inf. Comput. 209(2), 198\u2013226 (2011)","journal-title":"Inf. Comput."},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Lanese, I., Perez, J., Sangiorgi, D., Schmitt, A.: On the expressiveness and decidability of higher-order process calculi. In: Proceedings of the 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008), pp. 293\u2013302 (2008)","DOI":"10.1109\/LICS.2008.8"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/978-3-540-68746-7_22","volume-title":"Applications and Theory of Petri Nets","author":"R Meyer","year":"2008","unstructured":"Meyer, R., Khomenko, V., Strazny, T.: A practical approach to verification of mobile systems using net unfoldings. In: van Hee, K.M., Valk, R. (eds.) PETRI NETS 2008. LNCS, vol. 5062, pp. 327\u2013347. Springer, Heidelberg (2008)"},{"issue":"2","key":"9_CR14","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1017\/S0960129500001407","volume":"2","author":"R Milner","year":"1992","unstructured":"Milner, R.: Functions as processes. J. Math. Struct. Comput. Sci. 2(2), 119\u2013141 (1992). (Research report 1154. INRIA, Sofia Antipolis, 1990)","journal-title":"J. Math. Struct. Comput. Sci."},{"issue":"1","key":"9_CR15","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 (parts i and ii). Inf. Comput. 100(1), 1\u201377 (1992). (Academic Press)","journal-title":"Inf. Comput."},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1017\/S0960129503004043","volume":"13","author":"C Palamidessi","year":"2003","unstructured":"Palamidessi, C.: Comparing the expressive power of the synchronous and the asynchronous pi-calculus. Math. Struct. Comput. Sci. 13, 685\u2013719 (2003)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9_CR17","unstructured":"Sangiorgi, D.: Expressing mobility in process algebras: first-order and higher-order paradigms. Ph.d. thesis, University of Edinburgh (1992)"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/3-540-56610-4_62","volume-title":"TAPSOFT \u201993: Theory and Practice of Software Development","author":"D Sangiorgi","year":"1993","unstructured":"Sangiorgi, D.: From $$\\pi $$-calculus to higher-order $$\\pi $$-calculus\u2013and back. In: Gaudel, M.-C., Jouannaud, J.-P. (eds.) CAAP 1993, FASE 1993, and TAPSOFT 1993. LNCS, vol. 668, pp. 151\u2013166. Springer, Heidelberg (1993)"},{"issue":"2","key":"9_CR19","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1006\/inco.1996.0096","volume":"131","author":"D Sangiorgi","year":"1996","unstructured":"Sangiorgi, D.: Bisimulation for higher-order process calculi. Inf. Comput. 131(2), 141\u2013178 (1996). (Preliminary Version in Proceedings PROCOMET\u201994 (IFIP Working Conference on Programming Concepts, Methods and Calculi), pp. 207\u2013224, North Holland, 1994)","journal-title":"Inf. Comput."},{"issue":"2","key":"9_CR20","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0304-3975(96)00075-8","volume":"167","author":"D Sangiorgi","year":"1996","unstructured":"Sangiorgi, D.: Pi-calculus, internal mobility and agent-passing calculi. Theor. Comput. Sci. 167(2), 235\u2013274 (1996). (Extracts of parts of the material contained in this paper can be found in the Proceedings of TAPSOFT\u201995 and ICALP\u201995)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR21","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511777110","volume-title":"Introduction to Bisimulation and Coinduction","author":"D Sangiorgi","year":"2011","unstructured":"Sangiorgi, D.: Introduction to Bisimulation and Coinduction. Cambridge University Press, Cambridge (2011)"},{"key":"9_CR22","volume-title":"The Pi-Calculus: A Theory of Mobile Processes","author":"D Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The Pi-Calculus: A Theory of Mobile Processes. Cambridge Universtity Press, Cambridge (2001)"},{"key":"9_CR23","unstructured":"Thomsen, B.: Calculi for higher order communicating systems. Ph.d. thesis, Department of Computing, Imperial College (1990)"},{"issue":"1","key":"9_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01200262","volume":"30","author":"B Thomsen","year":"1993","unstructured":"Thomsen, B.: Plain chocs, a second generation calculus for higher-order processes. Acta Inf. 30(1), 1\u201359 (1993)","journal-title":"Acta Inf."},{"issue":"1","key":"9_CR25","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/s11390-009-9210-y","volume":"24","author":"X Xu","year":"2009","unstructured":"Xu, X.: Expressing first-order $$\\pi $$-calculus in higher-order calculus of communicating systems. J. Comput. Sci. Technol. 24(1), 122\u2013137 (2009)","journal-title":"J. Comput. Sci. Technol."},{"key":"9_CR26","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-642-04856-2_10","volume":"5800","author":"X Xu","year":"2009","unstructured":"Xu, X.: On bisimulation theory in linear higher-order pi-calculus. Trans. Petri Nets Other Models Concurr. III 5800, 244\u2013274 (2009)","journal-title":"Trans. Petri Nets Other Models Concurr. III"},{"key":"9_CR27","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/s00236-012-0168-9","volume":"49","author":"X Xu","year":"2012","unstructured":"Xu, X.: Distinguishing and relating higher-order and first-order processes by expressiveness. Acta Inf. 49, 445\u2013484 (2012)","journal-title":"Acta Inf."},{"key":"9_CR28","unstructured":"Xu, X.: On the expressiveness of higher-order processes with name parameterization. Technical report, East China University of Science and Technology (2012). Presented and discussed at the 4th NSFC-JSPS Joint Workshop on Formal Methods (Nara Japan) (2011)"},{"key":"9_CR29","unstructured":"Xu, X.: On context bisimulation for parameterized higher-order processes. In: Proceedings of 6th Interaction and Concurrency Experience (ICE 2013), Satellite workshop of DisCoTec 2013 (2013). (to appear in EPTCS)"},{"key":"9_CR30","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/s12204-013-1365-6","volume":"18","author":"Q Yin","year":"2013","unstructured":"Yin, Q., Long, H.: Process passing calculus, revisited. J. Shanghai Jiaotong Univ. (Science) 18, 29\u201336 (2013)","journal-title":"J. Shanghai Jiaotong Univ. (Science)"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08260-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,24]],"date-time":"2023-01-24T05:15:47Z","timestamp":1674537347000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-08260-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319082592","9783319082608"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08260-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"25 June 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}