{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T21:04:34Z","timestamp":1760821474085,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031626449"},{"type":"electronic","value":"9783031626456"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-62645-6_7","type":"book-chapter","created":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T05:01:51Z","timestamp":1718168511000},"page":"118-135","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Leaf-First Zipper Semantics"],"prefix":"10.1007","author":[{"given":"Sergue\u00ef","family":"Lenglet","sequence":"first","affiliation":[]},{"given":"Alan","family":"Schmitt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,6,13]]},"reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/11494881_3","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"P Bidinger","year":"2005","unstructured":"Bidinger, P., Schmitt, A., Stefani, J.-B.: An abstract machine for the kell calculus. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol. 3535, pp. 31\u201346. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11494881_3"},{"key":"7_CR2","unstructured":"Biernacka, M., Biernacki, D., Lenglet, S., Schmitt, A.: Non-deterministic abstract machines. Tech. Rep. 9475, Inria (2022), available at https:\/\/hal.inria.fr\/hal-03545768"},{"key":"7_CR3","unstructured":"Biernacka, M., Biernacki, D., Lenglet, S., Schmitt, A.: Non-deterministic abstract machines. In: Klin, B., Lasota, S., Muscholl, A. (eds.) 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland. LIPIcs, vol. 243, pp. 7:1\u20137:24. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2022)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Bugliesi, M., Crafa, S., Merro, M., Sassone, V.: Communication and mobility control in boxed ambients. Inf. Comput. 202(1), 39\u201386 (2005)","DOI":"10.1016\/j.ic.2005.06.002"},{"key":"7_CR5","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. 1378, pp. 140\u2013155. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0053547"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Castagna, G., Vitek, J., Nardelli, F.Z.: The seal calculus. Inf. Comput. 201(1), 1\u201354 (2005)","DOI":"10.1016\/j.ic.2004.11.005"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-642-04652-0_3","volume-title":"Advanced Functional Programming","author":"O Danvy","year":"2009","unstructured":"Danvy, O.: From reduction-based to reduction-free normalization. In: Koopman, P., Plasmeijer, R., Swierstra, D. (eds.) AFP 2008. LNCS, vol. 5832, pp. 66\u2013164. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04652-0_3"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Felleisen, M., Hieb, R.: The revised report on the syntactic theories of sequential control and state. Theor. Comput. Sci. 103(2), 235\u2013271 (1992)","DOI":"10.1016\/0304-3975(92)90014-7"},{"key":"7_CR9","unstructured":"Fessant, F.L.: JoCaml: conception et impl\u00e9mentation d\u2019un langage \u00e0 agents mobiles. Ph.D. thesis, \u00c9cole polytechnique (2001)"},{"key":"7_CR10","doi-asserted-by":"publisher","unstructured":"Fessant, F.L., Maranget, L.: Compiling join-patterns. In: Nestmann, U., Pierce, B.C. (eds.) 3rd International Workshop on High-Level Concurrent Languages, HLCL 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 12, 1998, pp. 205\u2013224. No. 16(3) in Electronic Notes in Theoretical Computer Science, Elsevier (1998). https:\/\/doi.org\/10.1016\/S1571-0661(04)00143-4, https:\/\/www.sciencedirect.com\/journal\/electronic-notes-in-theoretical-computer-science\/vol\/16\/issue\/3","DOI":"10.1016\/S1571-0661(04)00143-4"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Fournet, C., Gonthier, G.: The reflexive CHAM and the join-calculus. In: Boehm, H., Jr., G.L.S. (eds.) Conference Record of POPL\u201996: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 372\u2013385. ACM Press (1996)","DOI":"10.1145\/237721.237805"},{"key":"7_CR12","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 \u2014 Concurrency Theory","author":"P Gardner","year":"2002","unstructured":"Gardner, P., Laneve, C., Wischik, L.: The fusion machine. In: Brim, L., K\u0159et\u00ednsk\u00fd, M., Ku\u010dera, A., Jan\u010dar, P. (eds.) CONCUR 2002. LNCS, vol. 2421, pp. 418\u2013433. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45694-5_28"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Germain, F., Lacoste, M., Stefani, J.: An abstract machine for a higher-order distributed process calculus. Electron. Notes Theor. Comput. Sci. 66(3), 145\u2013169 (2002)","DOI":"10.1016\/S1571-0661(04)80420-1"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Giannini, P., Sangiorgi, D., Valente, A.: Safe ambients: abstract machine and distributed implementation. Sci. Comput. Program. 59(3), 209\u2013249 (2006)","DOI":"10.1016\/j.scico.2005.05.002"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/3-540-45694-5_19","volume-title":"CONCUR 2002 \u2014 Concurrency Theory","author":"JC Godskesen","year":"2002","unstructured":"Godskesen, J.C., Hildebrandt, T., Sassone, V.: A calculus of mobile resources*. In: Brim, L., K\u0159et\u00ednsk\u00fd, M., Ku\u010dera, A., Jan\u010dar, P. (eds.) CONCUR 2002. LNCS, vol. 2421, pp. 272\u2013287. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45694-5_19"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Hirschkoff, D., Pous, D., Sangiorgi, D.: An efficient abstract machine for safe ambients. J. Log. Algebraic Methods Program. 71(2), 114\u2013149 (2007)","DOI":"10.1016\/j.jlap.2007.02.003"},{"key":"7_CR17","unstructured":"Lenglet, S., Schmitt, A.: Leaf-first zipper semantics (2024), available at https:\/\/inria.hal.science\/hal-04537440"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Lenglet, S., Schmitt, A., Stefani, J.: Characterizing contextual equivalence in calculi with passivation. Inf. Comput. 209(11), 1390\u20131433 (2011)","DOI":"10.1016\/j.ic.2011.08.002"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/10704567_15","volume-title":"Principles and Practice of Declarative Programming","author":"L Lopes","year":"1999","unstructured":"Lopes, L., Silva, F., Vasconcelos, V.T.: A virtual machine for a process calculus. In: Nadathur, G. (ed.) PPDP 1999. LNCS, vol. 1702, pp. 244\u2013260. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/10704567_15"},{"key":"7_CR20","doi-asserted-by":"publisher","unstructured":"Nestmann, U.: On the expressive power of joint input. In: Castellani, I., Palamidessi, C. (eds.) Fifth International Workshop on Expressiveness in Concurrency, EXPRESS 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 7, 1998, pp. 145\u2013152. No. 16(2) in Electronic Notes in Theoretical Computer Science, Elsevier (1998). https:\/\/doi.org\/10.1016\/S1571-0661(04)00123-9, https:\/\/doi.org\/10.1016\/S1571-0661(04)00123-9","DOI":"10.1016\/S1571-0661(04)00123-9"},{"key":"7_CR21","unstructured":"Phillips, A., Cardelli, L.: A correct abstract machine for the stochastic pi-calculus. In: Concurrent Models in Molecular Biology (2004)"},{"key":"7_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-540-24725-8_12","volume-title":"Programming Languages and Systems","author":"A Phillips","year":"2004","unstructured":"Phillips, A., Yoshida, N., Eisenbach, S.: A distributed abstract machine for boxed ambient calculi. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol. 2986, pp. 155\u2013170. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24725-8_12"},{"key":"7_CR23","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Tech. Rep. FN-19, DAIMI, Department of Computer Science, Aarhus University, Aarhus, Denmark (1981)"},{"key":"7_CR24","unstructured":"Sangiorgi, D.: Bisimulation in higher-order process calculi. In: Olderog, E. (ed.) Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2\/WG2.1\/WG2.2\/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET \u201994) San Miniato, Italy, 6-10 June, 1994. IFIP Transactions, vol.\u00a0A-56, pp. 207\u2013224. North-Holland (1994)"},{"key":"7_CR25","unstructured":"Sangiorgi, D., Walker, D.: The Pi-Calculus - a theory of mobile processes. Cambridge University Press (2001)"},{"key":"7_CR26","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. 3267, pp. 146\u2013178. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-31794-4_9"},{"key":"7_CR27","unstructured":"Turner, D.: The polymorphic pi-calculus:theory and implementation. Ph.D. Thesis, University of Edinburgh (1995)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Objects, Components, and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-62645-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T05:02:46Z","timestamp":1718168566000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-62645-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031626449","9783031626456"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-62645-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"13 June 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FORTE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Techniques for Distributed Objects, Components, and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Groningen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"44","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"forte2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}