{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:05:06Z","timestamp":1725541506670},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642106712"},{"type":"electronic","value":"9783642106729"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10672-9_22","type":"book-chapter","created":{"date-parts":[[2009,12,2]],"date-time":"2009-12-02T04:08:11Z","timestamp":1259726891000},"page":"311-326","source":"Crossref","is-referenced-by-count":8,"title":["The Higher-Order, Call-by-Value Applied Pi-Calculus"],"prefix":"10.1007","author":[{"given":"Nobuyuki","family":"Sato","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eijiro","family":"Sumii","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 104\u2013115 (2001)","DOI":"10.1145\/360204.360213"},{"key":"#cr-split#-22_CR2.1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: The spi calculus. Information and Computation??148(1), 1???70 (1999);","DOI":"10.1006\/inco.1998.2740"},{"key":"#cr-split#-22_CR2.2","unstructured":"Preliminary version appeared in Proceedings of the 4th ACM Conference on Computer and Communications Security, pp. 36???47 (1997)"},{"key":"22_CR3","volume-title":"Term Rewriting and All That","author":"F. Baader","year":"1999","unstructured":"Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1999)"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Blanchet, B., Abadi, M., Fournet, C.: Automated verification of selected equivalences for security protocols. In: 20th Annual IEEE Symposium on Logic in Computer Science, pp. 331\u2013340 (2005)","DOI":"10.1109\/LICS.2005.8"},{"key":"22_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/3-540-45719-4_20","volume-title":"Algebraic Methodology and Software Technology","author":"J. Borgstr\u00f6m","year":"2002","unstructured":"Borgstr\u00f6m, J., Nestmann, U.: On bisimulations for the spi calculus. In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol.\u00a02422, pp. 287\u2013303. Springer, Heidelberg (2002)"},{"key":"22_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1007\/978-3-540-88313-5_36","volume-title":"Computer Security - ESORICS 2008","author":"S. Maffeis","year":"2008","unstructured":"Maffeis, S., Abadi, M., Fournet, C., Gordon, A.D.: Code-carrying authorization. In: Jajodia, S., Lopez, J. (eds.) ESORICS 2008. LNCS, vol.\u00a05283, pp. 563\u2013579. Springer, Heidelberg (2008)"},{"key":"22_CR7","unstructured":"Sangiorgi, D.: Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigm. PhD thesis, University of Edinburgh (1992)"},{"key":"22_CR8","unstructured":"Sangiorgi, D., Kobayashi, N., Sumii, E.: Appendices to \u201cenvironmental bisimulations for higher-order languages\u201d, http:\/\/www.cs.unibo.it\/~sangio\/DOC_public\/appLICS07.pdf"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Sangiorgi, D., Kobayashi, N., Sumii, E.: Environmental bisimulations for higher-order languages. In: Twenty-Second Annual IEEE Symposium on Logic in Computer Science, pp. 293\u2013302 (2007)","DOI":"10.1109\/LICS.2007.17"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/BFb0084781","volume-title":"CONCUR \u201992","author":"D. Sangiorgi","year":"1992","unstructured":"Sangiorgi, D., Milner, R.: The problem of \u201cweak bisimulation up to\u201d. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol.\u00a0630, pp. 32\u201346. Springer, Heidelberg (1992)"},{"key":"22_CR11","volume-title":"The Pi Calculus \u2013 A Theory of Mobile Processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The Pi Calculus \u2013 A Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"},{"key":"22_CR12","unstructured":"Sato, N., Sumii, E.: Proofs for \u201cthe higher-order, call-by-value applied pi-calculus\u201d, http:\/\/www.kb.ecei.tohoku.ac.jp\/~nsato\/hoapp.pdf"},{"key":"22_CR13","volume-title":"Applied Cryptography","author":"B. Schneier","year":"1996","unstructured":"Schneier, B.: Applied Cryptography. John Wiley & Sons, Inc., Chichester (1996)"},{"issue":"1-3","key":"22_CR14","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/j.tcs.2006.12.032","volume":"375","author":"E. Sumii","year":"2004","unstructured":"Sumii, E., Pierce, B.C.: A bisimulation for dynamic sealing. Theoretical Computer Science\u00a0375(1-3), 169\u2013192 (2004); Extended abstract appeared in Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 161\u2013172 (2004)","journal-title":"Theoretical Computer Science"},{"key":"#cr-split#-22_CR15.1","doi-asserted-by":"crossref","unstructured":"Sumii, E., Pierce, B.C.: A bisimulation for type abstraction and recursion. Journal of the ACM??54(5-26), 1???43 (2007);","DOI":"10.1145\/1284320.1284325"},{"key":"#cr-split#-22_CR15.2","unstructured":"Extended abstract appeared in Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.??63???74 (2005)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10672-9_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:33:15Z","timestamp":1606167195000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10672-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642106712","9783642106729"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10672-9_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}