{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:09:37Z","timestamp":1725494977717},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540653882"},{"type":"electronic","value":"9783540493662"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49366-2_22","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T18:48:47Z","timestamp":1194979727000},"page":"300-304","source":"Crossref","is-referenced-by-count":1,"title":["Mobile Computation: Calculus and Languages (A Tutorial)"],"prefix":"10.1007","author":[{"given":"N.","family":"Raja","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. K.","family":"Shyamasundar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1998,11,30]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Gordon, A.D.: A calculus for Cryptographic Protocols: the SPI Calculus. Proc. ACM Conference on Computer and Communications Security, ACM Press (1997) 36\u201347.","DOI":"10.1145\/266420.266432"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Agha, G.: Actors: A Model of Concurrent Computing in Distributed Systems. MIT Press (1986).","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"22_CR3","unstructured":"Arnold, K., Gosling, J.: The Java Programming Language. Sun Microsystems (1996)."},{"key":"22_CR4","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/BF01221098","volume":"6","author":"G. Boudol","year":"1994","unstructured":"Boudol, G., Castellani, I., Hennessy, M., Kiehn, A.: A Theory of Processes with Localities. Formal Aspects of Computing, 6 (1994) 165\u2013200.","journal-title":"Formal Aspects of Computing"},{"key":"22_CR5","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M. Burrows","year":"1990","unstructured":"Burrows, M., Abadi, M., Needham, R.: A Logic of Authentication. ACM Transactions on Computer Systems, 8 (1990) 18\u201336.","journal-title":"ACM Transactions on Computer Systems"},{"key":"22_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computational Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.D.: Mobile Ambients. Foundations of Software Science and Computational Structures, Lecture Notes in Computer Science, Vol. 1378, Springer-Verlag (1998) 140\u2013155."},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Cardelli, L.: Abstractions for Mobile Computation. Manuscript (1998).","DOI":"10.1007\/3-540-48749-2_4"},{"key":"22_CR8","unstructured":"Cardelli, L., Davies, R.: Service Combinators for Web Computing. DEC Research Report(1997)."},{"key":"22_CR9","first-page":"27","volume":"8","author":"L. Cardelli","year":"1995","unstructured":"Cardelli, L.: A Language with Distributed Scope. Computing Systems 8 (1995) 27\u201359.","journal-title":"Computing Systems"},{"key":"22_CR10","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"Carriero, N., Gelernter, D.: Linda in Context. Communications of the ACM 32 (1989) 444\u2013458.","journal-title":"Communications of the ACM"},{"key":"22_CR11","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/3-540-59450-7_5","volume":"924","author":"N. Carriero","year":"1995","unstructured":"Carriero, N., Gelernter, D., Zuck, L.: Bauhaus Linda. Proc. Object-Based Models and Languages for Concurrent Systems, Lecture Notes in Computer Science, Vol. 924. Springer-Verlag (1995) 66\u201376.","journal-title":"Lecture Notes in Computer Science"},{"key":"22_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-68671-1_1","volume-title":"Mobile Agents and Security","author":"D.M. Chess","year":"1998","unstructured":"Chess, D.M.: Security Issues in Mobile Code Systems. Mobile Agents and Security, Lecture Notes in Computer Science, Vol 1419. Springer-Verlag (1998)."},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Fournet, C, Gonthier G.: The Reflexive CHAM and the Join Calculus. Proc. POPL, ACM Press (1996) 372\u2013385.","DOI":"10.1145\/237721.237805"},{"key":"22_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/3-540-61604-7_67","volume-title":"Proc. CONCUR\u201996","author":"C. Fournet","year":"1996","unstructured":"Fournet, C, Gonthier G., L\u00e9vy, J-J., Maranget, L., R\u00e9my, D.: A Calculus of Mobile Agents. Proc. CONCUR\u201996, Lecture Notes in Computer Science, Springer-Verlag (1996) 406\u2013421."},{"key":"22_CR15","unstructured":"General Magic: The Telescript Home Page. Available at http:\/\/www.genmagic.com\/Telescript ."},{"key":"22_CR16","unstructured":"General Magic: Mobile Agents White Paper."},{"key":"22_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BFb0057019","volume-title":"Proc. ECOOP\u201991","author":"K. Honda","year":"1991","unstructured":"Honda, K., Tokoro, M.: An Object Calculus for Asynchronous Communication. Proc. ECOOP\u201991, Lecture Notes in Computer Science, Vol. 521. Springer-Verlag (1991) 133\u2013147."},{"key":"22_CR18","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall (1988)."},{"key":"22_CR19","unstructured":"Leroy, X.: Objective Caml. Available at http:\/\/www.pauillac.inria.fr\/ocaml\/ ."},{"key":"22_CR20","unstructured":"Lucent Technologies: The Inferno Home Page. Available at http:\/\/www.inferno.belllabs.com\/inferno\/index.html ."},{"key":"22_CR21","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall (1988)."},{"key":"22_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 1-2. Information and Computation 100 (1992) 1\u201377.","journal-title":"Information and Computation"},{"key":"22_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-68671-1_5","volume-title":"Mobile Agents and Security","author":"G.C. Necula","year":"1998","unstructured":"Necula, G.C., Lee P.: Safe, Untrusted Agents Using Proof-Carrying Code. Mobile Agents and Security, Lecture Notes in Computer Science, Vol 1419. Springer-Verlag (1998)."},{"key":"22_CR24","unstructured":"Ousterhout, J.K.: Tcl and the TkToolkit. Addison-Wesley (1994)."},{"key":"22_CR25","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/3-540-62064-8_17","volume-title":"Perspectives of System Informatics","author":"N. Raja","year":"1996","unstructured":"Raja, N., Shyamasundar, R.K.: Actors as a Coordinating Model of Computation. Perspectives of System Informatics, Lecture Notes in Computer Science, Vol 1181. Springer-Verlag (1996) 191\u2013202."},{"key":"22_CR26","unstructured":"Reisig, W.: Petrinets. EATCS Monographs on Theoretical Computer Science (1990)."},{"key":"22_CR27","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1145\/258077.258079","volume":"6","author":"G.-C. Roman","year":"1997","unstructured":"Roman, G-C., McCann, P.J., Plun, J.Y.: Mobile UNITY: reasoning and Specification in Mobile Computing. ACM Transactions on Software Engineering and Methodology, 6 (1997) 250\u2013282.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"22_CR28","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1145\/88616.88631","volume":"12","author":"J.W. Stamos","year":"1990","unstructured":"Stamos, J.W., Gifford, D.K.: Remote Evaluation. ACM Transactions on Programming Languages and Systems 12 (1990) 537\u2013565.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"22_CR29","unstructured":"Thomsen, B.: Calculi for higher-order communicating systems, Ph.D. thesis, Imperial College, London University (1990)."},{"key":"22_CR30","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/262009.262010","volume":"29","author":"T. Thorn","year":"1997","unstructured":"Thorn, T.: Programming Languages for Mobile Code. ACM Computing Surveys, 29 (1997) 213\u2013239.","journal-title":"ACM Computing Surveys"}],"container-title":["Lecture Notes in Computer Science","Advances in Computing Science ASIAN 98"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49366-2_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,27]],"date-time":"2021-08-27T11:41:09Z","timestamp":1630064469000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49366-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540653882","9783540493662"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-49366-2_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}