{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:05Z","timestamp":1772163965961,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,10,12]],"date-time":"2005-10-12T00:00:00Z","timestamp":1129075200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,10,12]]},"DOI":"10.1145\/1094811.1094843","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T12:34:39Z","timestamp":1131366879000},"page":"403-422","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Formalising Java RMI with explicit code mobility"],"prefix":"10.1145","author":[{"given":"Alexander","family":"Ahern","sequence":"first","affiliation":[{"name":"Imperial College London, London, UK"}]},{"given":"Nobuko","family":"Yoshida","sequence":"additional","affiliation":[{"name":"Imperial College London, London, UK"}]}],"member":"320","published-online":{"date-parts":[[2005,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Acute home page. www.cl.cam.ac.uk\/users\/pes20\/acute.  Acute home page. www.cl.cam.ac.uk\/users\/pes20\/acute."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/547964"},{"key":"e_1_3_2_1_3_1","unstructured":"A. Ahern and N. Yoshida. Full version of this paper. www.doc.ic.ac.uk\/~aja\/dcbl.html.  A. Ahern and N. Yoshida. Full version of this paper. www.doc.ic.ac.uk\/~aja\/dcbl.html."},{"key":"e_1_3_2_1_5_1","volume-title":"DISI - Univ. di Genova","author":"Ancona D.","year":"2002","unstructured":"D. Ancona , G. Lagorio , and E. Zucca . Simplifying types in a calculus for Java exceptions. Technical report , DISI - Univ. di Genova , 2002 . D. Ancona, G. Lagorio, and E. Zucca. Simplifying types in a calculus for Java exceptions. Technical report, DISI - Univ. di Genova, 2002."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01191894"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/191080.191133"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/646817.771616"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.391.0004"},{"key":"e_1_3_2_1_12_1","volume-title":"Manifestations of Dynamic Linking. In USE 2002","author":"Drossopoulou S.","year":"2002","unstructured":"S. Drossopoulou and S. Eisenbach . Manifestations of Dynamic Linking. In USE 2002 , M\u00e1laga, Spain , June 2002 . S. Drossopoulou and S. Eisenbach. Manifestations of Dynamic Linking. In USE 2002, M\u00e1laga, Spain, June 2002."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"S.\n      Drossopoulou G.\n      Lagorio and \n      S.\n      Eisenbach\n  . \n  Flexible Models for Dynamic Linking\n  . In P. Degano editor ESOP'03 volume \n  2618\n   of \n  LNCS pages \n  38\n  --\n  53\n  . \n  Springer-Verlag April \n  2003\n  .   S. Drossopoulou G. Lagorio and S. Eisenbach. Flexible Models for Dynamic Linking. In P. Degano editor ESOP'03 volume 2618 of LNCS pages 38--53. Springer-Verlag April 2003.","DOI":"10.1007\/3-540-36575-3_4"},{"key":"e_1_3_2_1_14_1","volume-title":"Java Examples in a Nutshell. O'Reilly UK","author":"Flanagan D.","year":"2000","unstructured":"D. Flanagan . Java Examples in a Nutshell. O'Reilly UK , 2000 . D. Flanagan. Java Examples in a Nutshell. O'Reilly UK, 2000."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360228"},{"key":"e_1_3_2_1_17_1","unstructured":"T. Greanier. Discover the secrets of the Java Serialization API. java.sun.com\/developer\/technicalArticles\/Programming\/serialization\/.  T. Greanier. Discover the secrets of the Java Serialization API. java.sun.com\/developer\/technicalArticles\/Programming\/serialization\/."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237802"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/646149.679191"},{"key":"e_1_3_2_1_20_1","series-title":"LNCS","first-page":"22","volume-title":"ESOP'98","author":"Honda K.","year":"1998","unstructured":"K. Honda , V. T. Vasconcelos , and M. Kubo . Language primitives and type disciplines for structured communication-based programming . In ESOP'98 , volume 1381 of LNCS , pages 22 -- 138 . Springer-Verlag , 1998 . K. Honda, V. T. Vasconcelos, and M. Kubo. Language primitives and type disciplines for structured communication-based programming. In ESOP'98, volume 1381 of LNCS, pages 22--138. Springer-Verlag, 1998."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00074-7"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_1_23_1","volume-title":"A Distributed Object Calculus","author":"Jeffrey A.","year":"2000","unstructured":"A. Jeffrey . A Distributed Object Calculus . In FOOL. ACM Press , 2000 . A. Jeffrey. A Distributed Object Calculus. In FOOL. ACM Press, 2000."},{"key":"e_1_3_2_1_24_1","series-title":"LNCS","first-page":"136","volume-title":"TAPSOFT'93","author":"Jones C.","year":"1993","unstructured":"C. Jones . Constraining interference in an object-based design method . In TAPSOFT'93 , volume 668 of LNCS , pages 136 -- 150 . Springer-Verlag , 1993 . C. Jones. Constraining interference in an object-based design method. In TAPSOFT'93, volume 668 of LNCS, pages 136--150. Springer-Verlag, 1993."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/35037.42182"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/776261.776266"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/330249.330251"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320412"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286945"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.877857"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(02)93172-X"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(02)93172-X"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158529"},{"key":"e_1_3_2_1_35_1","unstructured":"B. C. Pierce. Types and Programming Languages. MIT Press 2002.   B. C. Pierce. Types and Programming Languages. MIT Press 2002."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/353171.353193"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512766"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.56097"},{"key":"e_1_3_2_1_40_1","unstructured":"Sun Microsystems Inc. Java Remote Method Invocation (RMI). java.sun.com\/products\/jdk\/rmi\/.  Sun Microsystems Inc. Java Remote Method Invocation (RMI). java.sun.com\/products\/jdk\/rmi\/."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/258993.259019"},{"key":"e_1_3_2_1_42_1","volume-title":"Implementation of a distributed mobile Java. Master's thesis","author":"Tejani F.","year":"2005","unstructured":"F. Tejani . Implementation of a distributed mobile Java. Master's thesis , Imperial College London , 2005 . F. Tejani. Implementation of a distributed mobile Java. Master's thesis, Imperial College London, 2005."},{"key":"e_1_3_2_1_43_1","series-title":"LNCS","first-page":"497","volume-title":"CONCUR'04","author":"Vasconcelos V. T.","year":"2004","unstructured":"V. T. Vasconcelos , A. Ravara , and S. Gay . Session types for functional multithreading . In CONCUR'04 , volume 3170 of LNCS , pages 497 -- 511 . Springer-Verlag , 2004 . V. T. Vasconcelos, A. Ravara, and S. Gay. Session types for functional multithreading. In CONCUR'04, volume 3170 of LNCS, pages 497--511. Springer-Verlag, 2004."},{"key":"e_1_3_2_1_44_1","volume-title":"Electronic Commerce Objects","author":"Vitek J.","year":"1998","unstructured":"J. Vitek , C. Bryce , and W. Binder . Designing JavaSeal or how to make Java safe for agents . Electronic Commerce Objects , 1998 . J. Vitek, C. Bryce, and W. Binder. Designing JavaSeal or how to make Java safe for agents. Electronic Commerce Objects, 1998."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266668"},{"key":"e_1_3_2_1_46_1","volume-title":"Imperial College London","author":"Yeung K.","year":"2004","unstructured":"K. Yeung . Dynamic performance optimisation of distributed Java applications. PhD thesis , Imperial College London , 2004 . K. Yeung. Dynamic performance optimisation of distributed Java applications. PhD thesis, Imperial College London, 2004."},{"key":"e_1_3_2_1_47_1","series-title":"LNCS","first-page":"324","volume-title":"Middleware'03","author":"Yeung K.","year":"2003","unstructured":"K. Yeung and P. Kelly . Optimizing Java RMI programs by communication restructuring . In Middleware'03 , volume 2672 of LNCS , pages 324 -- 343 . Springer-Verlag , 2003 . K. Yeung and P. Kelly. Optimizing Java RMI programs by communication restructuring. In Middleware'03, volume 2672 of LNCS, pages 324--343. Springer-Verlag, 2003."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964014"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2003.08.004"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964005"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2004.51"},{"key":"e_1_3_2_1_52_1","series-title":"LNCS","first-page":"1","volume-title":"GPCE'04","author":"Zook D.","year":"2004","unstructured":"D. Zook , S. S. Huang , and Y. Smaragdakis . Generating AspectJ Programs with Meta-AspectJ . In GPCE'04 , volume 3286 of LNCS , pages 1 -- 19 . Springer-Verlag , 2004 . D. Zook, S. S. Huang, and Y. Smaragdakis. Generating AspectJ Programs with Meta-AspectJ. In GPCE'04, volume 3286 of LNCS, pages 1--19. Springer-Verlag, 2004."}],"event":{"name":"OOPSLA05: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference","location":"San Diego CA USA","acronym":"OOPSLA05","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1094811.1094843","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1094811.1094843","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:09Z","timestamp":1750248489000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1094811.1094843"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,10,12]]},"references-count":47,"alternative-id":["10.1145\/1094811.1094843","10.1145\/1094811"],"URL":"https:\/\/doi.org\/10.1145\/1094811.1094843","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1103845.1094843","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,10,12]]},"assertion":[{"value":"2005-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}