{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:37:29Z","timestamp":1742924249383,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540729198"},{"type":"electronic","value":"9783540729525"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-72952-5_13","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T08:10:08Z","timestamp":1182845408000},"page":"206-220","source":"Crossref","is-referenced-by-count":1,"title":["Pict Correctness Revisited"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Bidinger","sequence":"first","affiliation":[]},{"given":"Adriana","family":"Compagnoni","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","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.\u00a03535, pp. 43\u201358. Springer, Heidelberg (2005)"},{"key":"13_CR2","series-title":"ENTCS","volume-title":"Proceedings of EXPRESS\u201906","author":"D. Cacciagrano","year":"2006","unstructured":"Cacciagrano, D., Corradini, F., Palamidessi, C.: Fairpi. In: Proceedings of EXPRESS\u201906. ENTCS, Elsevier, Amsterdam (2006)"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BFb0030305","volume-title":"Mathematical Foundations of Computer Science 1984","author":"G. Costa","year":"1984","unstructured":"Costa, G., Stirling, C.: Weak and strong fairness in CCS. In: Chytil, M.P., Koubek, V. (eds.) Mathematical Foundations of Computer Science 1984. LNCS, vol.\u00a0176, pp. 245\u2013254. Springer, Heidelberg (1984)"},{"key":"13_CR4","unstructured":"Corradini, F., Cacciagrano, D.R.: Fairness in the pi-calculus. Technical report, Dipartimenti di Informatica, Universit\u00e1 di L\u2019Aquila, TR 005\/2004 (2004)"},{"key":"13_CR5","unstructured":"Le Fessant, F.: JoCaml: Conception et Implantation d\u2019un Langage \u00e0 Agents Mobiles. PhD thesis, Ecole Polytechnique (2001)"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/3-540-61604-7_67","volume-title":"CONCUR \u201996: Concurrency Theory","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, pp. 406\u2013421. Springer, Heidelberg (1996)"},{"key":"13_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, pp. 348\u2013364. Springer, Heidelberg (2000)"},{"key":"13_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, pp. 418\u2013433. Springer, Heidelberg (2002)"},{"key":"13_CR9","unstructured":"Garralda, P.: Boxed Ambients for Global Computing. PhD thesis, Stevens Institute of Technology, New Jersey, USA (2007)"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Germain, F., Lacoste, M., Stefani, J.B.: An abstract machine for a higher-order distributed process calculus. In: F-WAN. Proceedings of the EACTS Workshop on Foundations of Wide Area Network Computing (July 2002)","DOI":"10.1016\/S1571-0661(04)80420-1"},{"issue":"3","key":"13_CR11","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/j.scico.2005.05.002","volume":"59","author":"P. Giannini","year":"2006","unstructured":"Giannini, P., Sangiorgi, D., Valente, A.: Safe ambients: abstract machine and distributed implementation. Sci. Comput. Program.\u00a059(3), 209\u2013249 (2006)","journal-title":"Sci. Comput. Program."},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/11417019_2","volume-title":"Coordination Models and Languages","author":"D. Hirschkoff","year":"2005","unstructured":"Hirschkoff, D., Pous, D., Sangiorgi, D.: A correct abstract machine for safe ambients. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol.\u00a03454, pp. 17\u201332. Springer, Heidelberg (2005)"},{"issue":"2","key":"13_CR13","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1016\/S0890-5401(02)93171-8","volume":"177","author":"N. Kobayashi","year":"2002","unstructured":"Kobayashi, N.: A type system for lock-free processes. Inf. Comput.\u00a0177(2), 122\u2013159 (2002)","journal-title":"Inf. Comput."},{"issue":"1","key":"13_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, parts I and II. Inf. Comput.\u00a0100(1), 1\u201378 (1992)","journal-title":"Inf. Comput."},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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, Springer, Heidelberg (2004)"},{"key":"13_CR16","doi-asserted-by":"crossref","first-page":"455","DOI":"10.7551\/mitpress\/5641.003.0022","volume-title":"Proof, Language and Interaction: Essays in Honour of Robin Milner","author":"B.C. Pierce","year":"2000","unstructured":"Pierce, B.C., Turner, D.N.: Pict: A programming language based on the pi-calculus. In: Plotkin, G., Stirling, C., Tofte, M. (eds.) Proof, Language and Interaction: Essays in Honour of Robin Milner, pp. 455\u2013494. MIT Press, Cambridge (2000)"},{"key":"13_CR17","volume-title":"The \u03c0-calculus: A Theory of Mobile Processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The \u03c0-calculus: A Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/3-540-63141-0_27","volume-title":"CONCUR 97: Concurrency Theory (Warsaw)","author":"P. Sewell","year":"1997","unstructured":"Sewell, P.: On implementations and semantics of a concurrent programming language. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol.\u00a01243, pp. 391\u2013405. Springer, Heidelberg (1997)"},{"key":"13_CR19","unstructured":"Turner, D.: The polymorphic \u03c0-calculus: Theory and implementation. Technical report, University of Edinburgh, GB (1996)"},{"key":"13_CR20","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1145\/360204.360214","volume-title":"POPL","author":"A. Unyapoth","year":"2001","unstructured":"Unyapoth, A., Sewell, P.: Nomadic Pict: Correct Communication Infrastructures for Mobile Computation. In: POPL. Proceedings ACM Int. Conf. on Principles of Programming Languages, pp. 116\u2013127. ACM Press, New York (2001)"},{"key":"13_CR21","unstructured":"Wischik, L.: Explicit Fusions: Theory and Implementation. PhD thesis, Computer Laboratory, University of Cambridge, Cambridge (2001)"},{"issue":"2","key":"13_CR22","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/4434.846193","volume":"8","author":"P. Wojciechowski","year":"2000","unstructured":"Wojciechowski, P., Sewell, P.: Nomadic Pict: Language and Infrastructure. IEEE Concurrency\u00a08(2), 42\u201352 (2000)","journal-title":"IEEE Concurrency"}],"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\/978-3-540-72952-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,15]],"date-time":"2024-02-15T13:34:43Z","timestamp":1708004083000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72952-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540729198","9783540729525"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72952-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}