{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T08:54:16Z","timestamp":1725699256041},"publisher-location":"Boston, MA","reference-count":23,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781475710182"},{"type":"electronic","value":"9780387355207"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"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":[[2000]]},"DOI":"10.1007\/978-0-387-35520-7_2","type":"book-chapter","created":{"date-parts":[[2012,8,10]],"date-time":"2012-08-10T08:32:14Z","timestamp":1344587534000},"page":"23-43","source":"Crossref","is-referenced-by-count":0,"title":["Elements of an Object-Based Model for Distributed and Mobile Computation"],"prefix":"10.1007","author":[{"given":"Jean-Bernard","family":"Stefani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florence","family":"Germain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elie","family":"Najm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63383-9_92","volume-title":"An asynchronous model of locality, failure, and process mobility","author":"R Amadio","year":"1997","unstructured":"R. Amadio : \u201cAn asynchronous model of locality, failure, and process mobility\u201d \u2014 Research Report RR-3109, INRIA, Sophia-Antipolis, France, February 1997."},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"G. Berry, G. Boudol: \u201cThe chemical abstract machine \u201d \u2014 Theoretical Computer Science, vol. 96, 1992.","DOI":"10.1016\/0304-3975(92)90185-I"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"G. Boudol: \u201cThe \u03c0-Calculus in Direct Style\u201d \u2014 Higher-Order and Symbolic Computation, vol. 11, 1998.","DOI":"10.1023\/A:1010064516533"},{"key":"2_CR4","volume-title":"Lecture Notes in Computer Science","author":"L Cardelli","year":"1998","unstructured":"L. Cardelli, A. Gordon: \u201cMobile Ambients\u201d \u2014 Foundations of Software Science and Computational Structures, Maurice Nivat (Ed.), Lecture Notes in Computer Science, Vol. 1378, Springer, 1998."},{"key":"2_CR5","volume-title":"The reflexive chemical abstract machine and the join-calculus","author":"C Fournet","year":"1996","unstructured":"C. Fournet, G. Gonthier: \u201cThe reflexive chemical abstract machine and the join-calculus\u201d \u2014 In proceedings 23rd ACM Symposium on Principles of Programming Languages (POPL), January 1996."},{"key":"2_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61604-7_67","volume-title":"A calculus of mobile agents","author":"C Fournet","year":"1996","unstructured":"C. Fournet, G. Gonthier, J.J. Levy, L. Maranget, D. Remy: \u201cA calculus of mobile agents\u201d \u2014 in Proceedings CONCUR \u201886, LNCS 1119, Springer Verlag, 1996."},{"key":"2_CR7","volume-title":"A distributed implementation of ambients","author":"C Fournet","year":"1999","unstructured":"C. Fournet, J.J. Levy, A. Schmitt: \u201cA distributed implementation of ambients\u201d \u2014 INRIA Research Report, August 1999."},{"key":"2_CR8","unstructured":"M. Hennessy, J. Riely: \u201cResource access control in systems of mobile agents\u201d \u2014 Technical Report 2\/98, School of Cognitive and Computer Sciences, University of Sussex, UK."},{"key":"2_CR9","unstructured":"ITU-T Recommendation X.902 ISO\/IEC International Standard 10746\u20132: \u201cODP Reference Model: Foundations\u201d \u2014 November 1995."},{"key":"2_CR10","unstructured":"ITU-T Recommendation X.903 I ISO\/IEC International Standard 10746\u20133: \u201cODP Reference Model: Architecture\u201d \u2014 November 1995."},{"key":"2_CR11","doi-asserted-by":"publisher","DOI":"10.1145\/325694.325741","volume-title":"Controlling Interference in Ambients","author":"F Levi","year":"2000","unstructured":"F. Levi, D. Sangiorgi: \u201cControlling Interference in Ambients\u201d \u2014 in Proceedings 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2000 ), Boston, MA, USA, Jan. 2000."},{"key":"2_CR12","unstructured":"J. McAffer: \u201cMeta-Level Architecture Support for Distributed Objects\u201d \u2014 Proceedings of Reflection 96, G. Kiczales (ed), San Francisco, USA, April 1996."},{"key":"2_CR13","volume-title":"Cambridge University Press","author":"R Milner","year":"1999","unstructured":"R. Milner: \u201cCommunicating and mobile systems: the ir-calculus\u201d \u2014 Cambridge University Press, 1999."},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1016\/0169-7552(94)00032-O","volume":"27","author":"E Najm","year":"1995","unstructured":"E. Najm, J.B. Stefani: \u201cA formal semantics for the ODP computational model \u201d \u2014 Computer Networks and ISDN Systems 27, pp. 1305\u20131329, 1995.","journal-title":"Computer Networks and ISDN Systems"},{"key":"2_CR15","volume-title":"Computational Models for Open Distributed Systems","author":"E Najm","year":"1997","unstructured":"E. Najm, J.B. Stefani: \u201cComputational Models for Open Distributed Systems\u201d, \u2014 2nd IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS `97), Canterbury, UK, July 1997."},{"key":"2_CR16","unstructured":"Object Management Group: \u201cThe Common Object request Broker: Architecture and Specification\u201d \u2014 CORBA v2.0, July 1995."},{"key":"2_CR17","unstructured":"Object Management Group: \u201cCORBA Components\u201d \u2014 OMG document orbos\/99\u201302\u201301, March 1999."},{"key":"2_CR18","unstructured":"J.B. Stefani, F. Germain: \u201cEl\u00e9ments d\u2019un mod\u00e8le de traitement pour Marvel\u201d \u2014 RNRT project Marvel, Deliverable D2. 0, January 2000."},{"key":"2_CR19","unstructured":"Sun Microsystems: \u201cJava Remote Method Invocation Specification\u201d \u2014 Technical Report, Sun Microsystems, Mountain View CA, USA, May 1997."},{"key":"2_CR20","unstructured":"Sun Microsystems: \u201cEnterprise Java Beans\u201d \u2014 Specification v1.0, March 1998."},{"key":"2_CR21","unstructured":"Sun Microsystems: \u201cJini Architecture Specification\u201d \u2014 Specification v1.0, January 1999."},{"key":"2_CR22","volume-title":"Towards a calculus of secure mobile computations","author":"J Vitek","year":"1998","unstructured":"J. Vitek, G. Castagna: \u201cTowards a calculus of secure mobile computations\u201d \u2014 Workshop on Internet Programming Languages, Chicago, Illinois, USA, 1998."},{"key":"2_CR23","doi-asserted-by":"publisher","DOI":"10.1145\/62083.62111","volume-title":"Reflection in an object-oriented concurrent language","author":"T Watanabe","year":"1988","unstructured":"T. Watanabe, A. Yonezawa: \u201cReflection in an object-oriented concurrent language\u201d \u2014 in Proceedings OOPSLA \u201888, San Diego, California, USA, 1988."}],"container-title":["IFIP Advances in Information and Communication Technology","Formal Methods for Open Object-Based Distributed Systems IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-35520-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,2]],"date-time":"2019-07-02T14:30:06Z","timestamp":1562077806000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-35520-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9781475710182","9780387355207"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-35520-7_2","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2000]]}}}