{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:10:58Z","timestamp":1748664658744,"version":"3.41.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319246437"},{"type":"electronic","value":"9783319246444"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","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":[[2015]]},"DOI":"10.1007\/978-3-319-24644-4_10","type":"book-chapter","created":{"date-parts":[[2015,9,24]],"date-time":"2015-09-24T05:34:39Z","timestamp":1443072879000},"page":"143-158","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Behavioural Theory for a \u03c0-calculus with Preorders"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Hirschkoff","sequence":"first","affiliation":[]},{"given":"Jean-Marie","family":"Madiot","sequence":"additional","affiliation":[]},{"given":"Xian","family":"Xu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,12]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: Proc. of POPL, pp. 104\u2013115. ACM (2001)","DOI":"10.1145\/373243.360213"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Bengtson, J., Johansson, M., Parrow, J., Victor, B.: Psi-calculi: Mobile processes, nominal data, and logic. In: LICS, pp. 39\u201348. IEEE (2009)","DOI":"10.1109\/LICS.2009.20"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-540-30477-7_20","volume-title":"Programming Languages and Systems","author":"M. Boreale","year":"2004","unstructured":"Boreale, M., Buscemi, M.G., Montanari, U.: D-fusion: A distinctive fusion calculus. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol.\u00a03302, pp. 296\u2013310. Springer, Heidelberg (2004)"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/11580850_5","volume-title":"Trustworthy Global Computing","author":"M. Boreale","year":"2005","unstructured":"Boreale, M., Buscemi, M.G., Montanari, U.: A general name binding mechanism. In: De Nicola, R., Sangiorgi, D. (eds.) TGC 2005. LNCS, vol.\u00a03705, pp. 61\u201374. Springer, Heidelberg (2005)"},{"issue":"10","key":"10_CR5","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1016\/j.scico.2009.03.002","volume":"74","author":"S. Carpineti","year":"2009","unstructured":"Carpineti, S., Laneve, C., Padovani, L.: PiDuce - A project for experimenting Web services technologies. Sci. Comput. Program.\u00a074(10), 777\u2013811 (2009)","journal-title":"Sci. Comput. Program."},{"issue":"2-3","key":"10_CR6","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1016\/j.tcs.2005.10.029","volume":"350","author":"Y. Deng","year":"2006","unstructured":"Deng, Y., Sangiorgi, D.: Towards an algebraic theory of typed mobile processes. Theor. Comput. Sci.\u00a0350(2-3), 188\u2013212 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Ehrhard, T., Laurent, O.: Acyclic solos and differential interaction nets. Logical Methods in Computer Science\u00a06(3) (2010)","DOI":"10.2168\/LMCS-6(3:11)2010"},{"key":"10_CR8","unstructured":"Fu, Y.: The \u03c7-calculus. In: APDC, pp. 74\u201381. IEEE Computer Society (1997)"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/3-540-45694-5_28","volume-title":"CONCUR 2002 - Concurrency Theory","author":"P. Gardner","year":"2002","unstructured":"Gardner, P., Laneve, C., Wischik, L.: The fusion machine (Extended abstract). In: Brim, L., Jan\u010dar, P., K\u0159et\u00ednsk\u00fd, M., Ku\u010dera, A. (eds.) CONCUR 2002. LNCS, vol.\u00a02421, pp. 418\u2013433. Springer, Heidelberg (2002)"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Hirschkoff, D., Madiot, J.-M., Sangiorgi, D.: Name-passing calculi: From fusions to preorders and types. In: LICS, pp. 378\u2013387. IEEE Computer Society (2013)","DOI":"10.1109\/LICS.2013.44"},{"key":"10_CR11","unstructured":"Hirschkoff, D., Madiot, J.-M., Xu, X.: Long version of this paper, http:\/\/madiot.org"},{"issue":"2","key":"10_CR12","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/0304-3975(95)00074-7","volume":"152","author":"K. Honda","year":"1995","unstructured":"Honda, K., Yoshida, N.: On reduction-based process semantics. Theor. Comp. Sci.\u00a0152(2), 437\u2013486 (1995)","journal-title":"Theor. Comp. Sci."},{"issue":"5","key":"10_CR13","doi-asserted-by":"publisher","first-page":"657","DOI":"10.1017\/S0960129503004055","volume":"13","author":"C. Laneve","year":"2003","unstructured":"Laneve, C., Victor, B.: Solos in concert. Mathematical Structures in Computer Science\u00a013(5), 657\u2013683 (2003)","journal-title":"Mathematical Structures in Computer Science"},{"key":"10_CR14","series-title":"IFIP AICT","first-page":"229","volume-title":"IFIP TCS","author":"J. Liu","year":"2010","unstructured":"Liu, J., Lin, H.: Proof system for applied pi calculus. In: IFIP TCS. IFIP AICT, vol.\u00a0323, pp. 229\u2013243. Springer, Heidelberg (2010)"},{"issue":"2","key":"10_CR15","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1006\/inco.1995.1108","volume":"120","author":"J. Parrow","year":"1995","unstructured":"Parrow, J., Sangiorgi, D.: Algebraic theories for name-passing calculi. Inf. Comput.\u00a0120(2), 174\u2013197 (1995)","journal-title":"Inf. Comput."},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Parrow, J., Victor, B.: The fusion calculus: expressiveness and symmetry in mobile processes. In: LICS, pp. 176\u2013185. IEEE (1998)","DOI":"10.1109\/LICS.1998.705654"},{"issue":"5","key":"10_CR17","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1017\/S096012950007002X","volume":"6","author":"B.C. Pierce","year":"1996","unstructured":"Pierce, B.C., Sangiorgi, D.: Typing and subtyping for mobile processes. Mathematical Structures in Computer Science\u00a06(5), 409\u2013453 (1996)","journal-title":"Mathematical Structures in Computer Science"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Sangiorgi, D., Walker, D.: The Pi-Calculus: a theory of mobile processes. Cambridge University Press (2001)","DOI":"10.1017\/9781316134924"},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/BFb0055075","volume-title":"Automata, Languages and Programming","author":"B. Victor","year":"1998","unstructured":"Victor, B., Parrow, J.: Concurrent constraints in the fusion calculus. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, pp. 455\u2013469. Springer, Heidelberg (1998)"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/978-3-540-24727-2_34","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Wischik","year":"2004","unstructured":"Wischik, L., Gardner, P.: Strong bisimulation for the explicit fusion calculus. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 484\u2013498. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24644-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T19:53:10Z","timestamp":1748634790000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24644-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319246437","9783319246444"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24644-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"12 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}