Formalising Java RMI with explicit code mobility-Reference-Cited by-同舟云学术

Formalising Java RMI with explicit code mobility

Published:2007-12 Issue:3 Volume:389 Page:341-410
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

Ahern Alexander,Yoshida Nobuko

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference57 articles.

1. A Theory of Objects;Abadi,1996

2. Acute. Acute home page. http://www.cl.cam.ac.uk/users/pes20/acute, 2005

3. Alexander Ahern, Code mobility and Java RMI, Ph.D. Thesis, Department of Computing, Imperial College London, July 2007

4. Alexander Ahern, Nobuko Yoshida, Formal analysis of a distributed object-oriented language and runtime, Technical Report 2005/01, Department of Computing, Imperial College London. Available at: http://www.doc.ic.ac.uk/~aja/dcbl.html, 2005

5. Formalising Java RMI with explicit code mobility;Ahern,2005

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Call Center System based on Expert Systems for the Acquisition of Agricultural Knowledge Transferred from Text-to-Speech in China;The Computer Journal;2021-02-17

2. Static Checking for Multiple Start of Threads in a Type-Safe Multithreaded Java.;The Journal of Object Technology;2017

3. Middleware Reconfiguration Relying on Formal Methods;2015 IEEE International Conference on Computer and Information Technology; Ubiquitous Computing and Communications; Dependable, Autonomic and Secure Computing; Pervasive Intelligence and Computing;2015-10

4. Compositional reasoning about active objects with shared futures;Formal Aspects of Computing;2015-05

5. A sound and complete reasoning system for asynchronous communication with shared futures;Journal of Logical and Algebraic Methods in Programming;2014-09