{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:53:40Z","timestamp":1762458820534,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642139611"},{"type":"electronic","value":"9783642139628"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13962-8_9","type":"book-chapter","created":{"date-parts":[[2010,6,26]],"date-time":"2010-06-26T12:33:57Z","timestamp":1277555637000},"page":"78-87","source":"Crossref","is-referenced-by-count":21,"title":["Processes in Space"],"prefix":"10.1007","author":[{"given":"Luca","family":"Cardelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippa","family":"Gardner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Berry, G., Boudol, G.: The Chemical Abstract Machine. In: Proc. POPL 1989, pp. 81\u201394 (1989)","key":"9_CR1","DOI":"10.1145\/96709.96717"},{"doi-asserted-by":"crossref","unstructured":"Cardelli, L., Gordon, A.D.: Mobile Ambients. In: Le M\u00e9tayer, D. (ed.) Theoretical Computer Science, Special Issue on Coordination, vol.\u00a0240(1), pp. 177\u2013213 (June 2000)","key":"9_CR2","DOI":"10.1016\/S0304-3975(99)00231-5"},{"key":"9_CR3","volume-title":"Introduction to geometry","author":"H.S.M. Coxeter","year":"1961","unstructured":"Coxeter, H.S.M.: Introduction to geometry. Wiley, Chichester (1961)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"844","DOI":"10.1007\/BFb0055107","volume-title":"Automata, Languages and Programming","author":"C. Fournet","year":"1998","unstructured":"Fournet, C., Gonthier, G.: A Hierarchy of Equivalences for Asynchronous Calculi. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, pp. 844\u2013855. Springer, Heidelberg (1998)"},{"key":"9_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0137-0","volume-title":"Geometric Methods and Applications for Computer Science and Engineering","author":"J. Gallier","year":"2001","unstructured":"Gallier, J.: Geometric Methods and Applications for Computer Science and Engineering. Springer, Heidelberg (2001)"},{"key":"9_CR6","doi-asserted-by":"crossref","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)"},{"issue":"2","key":"9_CR7","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. Theoretical Computer Science\u00a0152(2), 437\u2013486 (1995)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"9_CR8","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/j.entcs.2007.12.010","volume":"194","author":"M. John","year":"2008","unstructured":"John, M., Ewald, R., Uhrmacher, A.M.: A Spatial Extension to the \u03c0 Calculus. Electronic Notes in Theoretical Computer Science\u00a0194(3), 133\u2013148 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"doi-asserted-by":"crossref","unstructured":"Metzger, R.J., Klein, O.D., Martin, G.R., Krasnow, M.A.: The branching programme of mouse lung development. Nature\u00a0453(5) (June 2008)","key":"9_CR9","DOI":"10.1038\/nature07005"},{"key":"9_CR10","volume-title":"Communicating and Mobile Systems: The \u03c0-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: The \u03c0-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1007\/3-540-55719-9_114","volume-title":"Automata, Languages and Programming","author":"R. Milner","year":"1992","unstructured":"Milner, R., Sangiorgi, D.: Barbed Bisimulation. In: Kuich, W. (ed.) ICALP 1992. LNCS, vol.\u00a0623, pp. 685\u2013695. Springer, Heidelberg (1992)"},{"key":"9_CR12","volume-title":"The Algorithmic Beauty of Plants","author":"P. Prusinkiewicz","year":"1991","unstructured":"Prusinkiewicz, P., Lindenmayer, A.: The Algorithmic Beauty of Plants. Springer, Heidelberg (1991)"}],"container-title":["Lecture Notes in Computer Science","Programs, Proofs, Processes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13962-8_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T08:23:20Z","timestamp":1740212600000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13962-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642139611","9783642139628"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13962-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}