{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:35:13Z","timestamp":1759638913602},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540401322"},{"type":"electronic","value":"9783540448334"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-44833-4_5","type":"book-chapter","created":{"date-parts":[[2011,1,17]],"date-time":"2011-01-17T14:05:30Z","timestamp":1295273130000},"page":"129-158","source":"Crossref","is-referenced-by-count":14,"title":["JoCaml: A Language for Concurrent Distributed and Mobile Programming"],"prefix":"10.1007","author":[{"given":"C\u00e9dric","family":"Fournet","sequence":"first","affiliation":[]},{"given":"Fabrice","family":"Le Fessant","sequence":"additional","affiliation":[]},{"given":"Luc","family":"Maranget","sequence":"additional","affiliation":[]},{"given":"Alan","family":"Schmitt","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Abadi, M., Fournet, C., Gonthier, G.: Secure implementation of channel abstractions. Information and Computation (2000)"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Alexander, D.S., Hicks, M.W., Kakkar, P., Keromytis, A.D., Shaw, M., Moore, J.T., Gunter, C.A., Jim, T., Nettles, S.M., Smith, J.M.: The switchware active network implementation. In: The ML Workshop, International Conference on Functional Programming (ICFP). ACM SIGPLAN (September 1998)","DOI":"10.1109\/65.690959"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/3-540-47993-7_18","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"N. Benton","year":"2002","unstructured":"Benton, N., Cardelli, L., Fournet, C.: Modern concurrency abstractions for C#. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 415\u2013440. Springer, Heidelberg (2002)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Birrell, A.D., Guttag, J.V., Horning, J.J., Levin, R.: Synchronization primitives for a multiprocessor: A formal specification. Research Report 20, DEC SRC (August 1987)","DOI":"10.1145\/41457.37509"},{"key":"5_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.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.\u00a01378, pp. 140\u2013155. Springer, Heidelberg (1998)"},{"key":"5_CR6","first-page":"22","volume-title":"ASA\/MA 1999","author":"S. Conchon","year":"1999","unstructured":"Conchon, S., Le Fessant, F.: Jocaml: Mobile agents for objective-caml. In: ASA\/MA 1999, pp. 22\u201329. IEEE Computer Society, Los Alamitos (1999)"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1145\/237721.237805","volume-title":"Proceedings of POPL 1996","author":"C. Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G.: The reflexive chemical abstract machine and the join-calculus. In: Proceedings of POPL 1996, pp. 372\u2013385. ACM, New York (1996)"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/3-540-45699-6_6","volume-title":"Applied Semantics","author":"C. Fournet","year":"2002","unstructured":"Fournet, C., Gonthier, G.: The join calculus: a language for distributed mobile programming. In: Barthe, G., Dybjer, P., Pinto, L., Saraiva, J. (eds.) APPSEM 2000. LNCS, vol.\u00a02395, pp. 268\u2013332. Springer, Heidelberg (2002), Also available from http:\/\/research.microsoft.com\/~fournet"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/3-540-63141-0_14","volume-title":"CONCUR\u201997: Concurrency Theory","author":"C. Fournet","year":"1997","unstructured":"Fournet, C., Laneve, C., Maranget, L., R\u00e9my, D.: Implicit typing \u00e0 la ML for the join-calculus. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol.\u00a01243, pp. 196\u2013212. Springer, Heidelberg (1997)"},{"key":"5_CR10","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., L\u00e9vy, 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":"5_CR11","unstructured":"Gray, R.S.: Agent tcl: A transportable agent system. In: CIKM Workshop on Intelligent Information Agents, Fourth International Conference on Information and Knowledge Management (CIKM 1995), Baltimore, Maryland (December 1995)"},{"key":"5_CR12","unstructured":"Hayden, M.: Distributed communication in ML. Technical Report TR97-1652, Cornell University, Computer Science, November 11 (1997)"},{"issue":"8","key":"5_CR13","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Communications of the ACM\u00a021(8), 666\u2013677 (1978)","journal-title":"Communications of the ACM"},{"key":"5_CR14","unstructured":"Johansen, D., Renesse, R.V., Schneider, F.B.: An introduction to the tacoma distributed system version 1.0. Technical Report 95-23, University of TromsO, Norway (June 1995)"},{"key":"5_CR15","unstructured":"Le Fessant, F.: The JoCAML system prototype (beta 1.08) (1998\u20132002), Software and documentation available from http:\/\/pauillac.inria.fr\/jocaml"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Le Fessant, F.: Detecting distributed cycles of garbage in large-scale systems. In: Principles of Distributed Computing (PODC), Rhodes Island (August 2001)","DOI":"10.1145\/383962.384018"},{"key":"5_CR17","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"HLCL 1998: High-Level Concurrent Languages","author":"F. Fessant Le","year":"1998","unstructured":"Le Fessant, F., Maranget, L.: Compiling join-patterns. In: Nestmann, U., Pierce, B.C. (eds.) HLCL 1998: High-Level Concurrent Languages. Electronic Notes in Theoretical Computer Science, vol.\u00a016(3). Elsevier Science Publishers, Amsterdam (1998)"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Le Fessant, F., Piumarta, I., Shapiro, M.: An implementation of complete, asynchronous, distributed garbage collection. In: Conf. on Prog. Lang. Design and Impl. (PLDI), Montreal, Canada. ACM SIGPLAN (June 1998)","DOI":"10.1145\/277650.277715"},{"key":"5_CR19","volume-title":"Concurrent Programming in Java: Design Principles and Patterns","author":"D. Lea","year":"1999","unstructured":"Lea, D.: Concurrent Programming in Java: Design Principles and Patterns, 2nd edn. Addison-Wesley, Reading (1999)","edition":"2"},{"key":"5_CR20","unstructured":"Leroy, X., et al.: The Objective CAML system 3.05. Software and documentation available from http:\/\/caml.inria.fr"},{"key":"5_CR21","volume-title":"Communication and Mobile Systems: the \u03c0-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communication and Mobile Systems: the \u03c0-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"5_CR22","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. Information and Computation\u00a0100, 1\u201340, 41\u201377 (1992)","journal-title":"Information and Computation"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-46425-5_1","volume-title":"Programming Languages and Systems","author":"M. Odersky","year":"2000","unstructured":"Odersky, M.: Functional nets. In: Smolka, G. (ed.) ESOP 2000. LNCS, vol.\u00a01782, pp. 1\u201325. Springer, Heidelberg (2000)"},{"key":"5_CR24","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.D., Stirling, C., Tofte, M. (eds.) Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, Cambridge (2000)"},{"key":"5_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/3-540-56883-2_10","volume-title":"Functional Programming, Concurrency, Simulation and Automated Reasoning","author":"J.H. Reppy","year":"1993","unstructured":"Reppy, J.H.: Concurrent ML: Design, application and semantics. In: Lauer, P.E. (ed.) Functional Programming, Concurrency, Simulation and Automated Reasoning. LNCS, vol.\u00a0693, pp. 165\u2013198. Springer, Heidelberg (1993)"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Rouaix, F.: A web navigator with applets in caml. In: Fifth WWW Conference, Paris (May 1996)","DOI":"10.1016\/0169-7552(96)00032-3"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Schmitt, A.: Safe dynamic binding in the join calculus. In: IFIP TCS 2002, Montreal, Canada (2002)","DOI":"10.1007\/978-0-387-35608-2_46"},{"key":"5_CR28","volume-title":"Proceeding 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2003)","author":"A. Schmitt","year":"2003","unstructured":"Schmitt, A., Stefani, J.-B.: The M-calculus: A higher order distributed process calculus. In: Proceeding 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2003). ACM, New York (2003)"},{"key":"5_CR29","unstructured":"White, J.: Telescript technology: Mobile agents. In: Bradshaw, J. (ed.) Software Agents. AAAI Press\/MIT Press (1996)"}],"container-title":["Lecture Notes in Computer Science","Advanced Functional Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-44833-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T18:53:31Z","timestamp":1559933611000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-44833-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540401322","9783540448334"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-44833-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}