{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:23Z","timestamp":1761611243273},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642005954"},{"type":"electronic","value":"9783642005961"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00596-1_19","type":"book-chapter","created":{"date-parts":[[2009,3,26]],"date-time":"2009-03-26T21:13:03Z","timestamp":1238101983000},"page":"257-271","source":"Crossref","is-referenced-by-count":12,"title":["Normal Bisimulations in Calculi with Passivation"],"prefix":"10.1007","author":[{"given":"Sergue\u00ef","family":"Lenglet","sequence":"first","affiliation":[]},{"given":"Alan","family":"Schmitt","sequence":"additional","affiliation":[]},{"given":"Jean-Bernard","family":"Stefani","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/11690634_5","volume-title":"Foundations of Software Science and Computation Structures","author":"Z. Cao","year":"2006","unstructured":"Cao, Z.: More on bisimulations for higher order \u03c0-calculus. In: Aceto, L., Ing\u00f3lfsd\u00f3ttir, A. (eds.) FOSSACS 2006. LNCS, vol.\u00a03921, pp. 63\u201378. Springer, Heidelberg (2006)"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.\u00a01378, p. 140. Springer, Heidelberg (1998)"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Castagna, G., Vitek, J., Zappa Nardelli, F.: The Seal Calculus. Information and Computation\u00a0201(1) (2005)","DOI":"10.1016\/j.ic.2004.11.005"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/11590156_11","volume-title":"FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science","author":"J.C. Godskesen","year":"2005","unstructured":"Godskesen, J.C., Hildebrandt, T.: Extending howe\u2019s method to early bisimulations for typed mobile embedded resources with local names. In: Ramanujam, R., Sen, S. (eds.) FSTTCS 2005. LNCS, vol.\u00a03821, pp. 140\u2013151. Springer, Heidelberg (2005)"},{"key":"19_CR5","unstructured":"Hildebrandt, T., Godskesen, J.C., Bundgaard, M.: Bisimulation congruences for Homer \u2014 a calculus of higher order mobile embedded resources. Technical Report ITU-TR-2004-52, IT University of Copenhagen (2004)"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Howe, D.J.: Proving congruence of bisimulation in functional programming languages. Information and Computation\u00a0124(2) (1996)","DOI":"10.1006\/inco.1996.0008"},{"key":"19_CR7","volume-title":"23rd Annual IEEE Symposium on Logic in Computer Science (LICS)","author":"I. Lanese","year":"2008","unstructured":"Lanese, I., P\u00e9rez, J.A., Sangiorgi, D., Schmitt, A.: On the expressiveness and decidability of higher-order process calculi. In: 23rd Annual IEEE Symposium on Logic in Computer Science (LICS). IEEE Computer Society, Los Alamitos (2008)"},{"key":"19_CR8","unstructured":"Lenglet, S., Schmitt, A., Stefani, J.B.: Normal bisimulations in process calculi with passivation. Technical Report RR 6664, INRIA (2008), \n                    \n                      http:\/\/sardes.inrialpes.fr\/papers\/files\/RR-6664.pdf"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Merro, M., Zappa Nardelli, F.: Behavioral theory for mobile ambients. Journal of the ACM\u00a052(6) (2005)","DOI":"10.1145\/1101821.1101825"},{"key":"19_CR10","unstructured":"Sangiorgi, D.: Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. PhD thesis, Department of Computer Science, University of Edinburgh (1992)"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Sangiorgi, D.: Bisimulation for higher-order process calculi. Information and Computation\u00a0131(2) (1996)","DOI":"10.1006\/inco.1996.0096"},{"key":"19_CR12","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 University Press, Cambridge (2001)"},{"key":"19_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-540-31794-4_9","volume-title":"Global Computing","author":"A. Schmitt","year":"2005","unstructured":"Schmitt, A., Stefani, J.B.: The Kell Calculus: A Family of Higher-Order Distributed Process Calculi. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol.\u00a03267, pp. 146\u2013178. Springer, Heidelberg (2005)"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Thomsen, B.: Plain chocs: A second generation calculus for higher order processes. Acta Informatica\u00a030(1) (1993)","DOI":"10.1007\/BF01200262"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computational Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00596-1_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,7]],"date-time":"2019-03-07T03:23:03Z","timestamp":1551928983000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00596-1_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642005954","9783642005961"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00596-1_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}