{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T20:44:36Z","timestamp":1760820276158,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540261810"},{"type":"electronic","value":"9783540315568"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"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":[[2005]]},"DOI":"10.1007\/11494881_3","type":"book-chapter","created":{"date-parts":[[2010,9,25]],"date-time":"2010-09-25T18:47:34Z","timestamp":1285440454000},"page":"31-46","source":"Crossref","is-referenced-by-count":8,"title":["An Abstract Machine for the Kell Calculus"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Bidinger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Schmitt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Bernard","family":"Stefani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Berry, G., Boudol, G.: The chemical abstract machine. Theoretical Computer Science\u00a096 (1992)","DOI":"10.1016\/0304-3975(92)90185-I"},{"key":"3_CR2","volume-title":"Proceedings of the 2000 ACM Symposium on Applied Computing","author":"L. Bettini","year":"2000","unstructured":"Bettini, L., Loreti, M., Pugliese, R.: Srtuctured nets in klaim. In: Proceedings of the 2000 ACM Symposium on Applied Computing, ACM Press, New York (2000)"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-540-39958-2_8","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"P. Bidinger","year":"2003","unstructured":"Bidinger, P., Stefani, J.B.: The Kell Calculus: Operational Semantics and Type System. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.\u00a02884, pp. 109\u2013123. Springer, Heidelberg (2003)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/3-540-36206-1_9","volume-title":"FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science","author":"G. Castagna","year":"2002","unstructured":"Castagna, G., Zappa, F.: The Seal Calculus Revisited. In: Agrawal, M., Seth, A.K. (eds.) FSTTCS 2002. LNCS, vol.\u00a02556, pp. 85\u201396. Springer, Heidelberg (2002)"},{"key":"3_CR5","unstructured":"Fabrice Le Fessant. JoCaml: Conception et Implantation d\u2019un Langage \u2018a Agents Mobiles. PhD thesis, Ecole Polytechnique (2001)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings 7th International Conference on Concurrency Theory (CONCUR \u201896)","author":"C. Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G., Levy, J.J., Maranget, L., Remy, D.: A calculus of mobile agents. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119. Springer, Heidelberg (1996)"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/3-540-44929-9_26","volume-title":"Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics","author":"C. Fournet","year":"2000","unstructured":"Fournet, C., Levy, J.J., Schmitt, A.: An asynchronous distributed implementation of mobile ambients. In: Watanabe, O., Hagiya, M., Ito, T., van Leeuwen, J., Mosses, P.D. (eds.) TCS 2000. LNCS, vol.\u00a01872. p. 348. Springer, Heidelberg (2000)"},{"key":"3_CR8","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. In: Brim, L., Jan\u010dar, P., K\u0159et\u00ednsk\u00fd, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol.\u00a02421, p. 418. Springer, Heidelberg (2002)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Germain, F., Lacoste, M., Stefani, J.B.: An abstract machine for a higher-order distributed process calculus. In: Proceedings of the EACTS Workshop on Foundations of Wide Area Network Computing, F-WAN (July 2002)","DOI":"10.1016\/S1571-0661(04)80420-1"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Hirschkoff, D., Pous, D., Sangiorgi, D.: An Efficient Abstract Machine for Safe Ambients (unpublished) (2004), http:\/\/www.cs.unibo.it\/~sangio\/DOCpublic\/gcpan.ps.gz","DOI":"10.1007\/11417019_2"},{"key":"3_CR11","unstructured":"The Kell calculus page, http:\/\/sardes.inrialpes.fr\/kells\/"},{"key":"3_CR12","unstructured":"Lopes, L., Silva, F., Figueira, A., Vasconcelos, V.: DiTyCO: An Experiment in Code Mobility from the Realm of Process Calculi. In: Proceedings 5th Mobile Object Systems Workshop, MOS\u201999 (1999)"},{"key":"3_CR13","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.\u00a02986, pp. 155\u2013170. Springer, Heidelberg (2004)"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1007\/3-540-48224-5_34","volume-title":"Automata, Languages and Programming","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Valente, A.: A Distributed Abstract Machine for Safe Ambients. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol.\u00a02076, p. 408. Springer, Heidelberg (2001)"},{"key":"3_CR15","volume-title":"The \u03c0-calculus: A Theory of Mobile Processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, S.: The \u03c0-calculus: A Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Schmitt, A., Stefani, J.B.: The M-calculus: A Higher-Order Distributed Process Calculus. In: Proceedings 30th Annual ACM Symposium on Principles of Programming Languages, POPL (2003)","DOI":"10.1145\/604131.604136"},{"key":"3_CR17","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":"3_CR18","unstructured":"Stefani, J.B.: A Calculus of Kells. In: Proceedings 2nd International Workshop on Foundations of Global Computing (2003)"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Unyapoth, A., Sewell, P.: Nomadic Pict: Correct Communication Infrastructures for Mobile Computation. In: Proceedings ACM Int. Conf. on Principles of Programming Languages, POPL (2001)","DOI":"10.1145\/360204.360214"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-47959-7_3","volume-title":"Internet Programming Languages","author":"J. Vitek","year":"1999","unstructured":"Vitek, J., Castagna, G.: Towards a calculus of secure mobile computations. In: Bal, H.E., Cardelli, L., Belkhouche, B. (eds.) ICCL-WS 1998. LNCS, vol.\u00a01686. Springer, Heidelberg (1999)"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Wojciechowski, P., Sewell, P.: Nomadic Pict: Language and Infrastructure. IEEE Concurrency\u00a08(2) (2000)","DOI":"10.1109\/4434.846193"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Open Object-Based Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11494881_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,10]],"date-time":"2021-11-10T17:46:05Z","timestamp":1636566365000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11494881_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261810","9783540315568"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11494881_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}