Treffer: Formalising Java RMI with explicit code mobility

Title:
Formalising Java RMI with explicit code mobility
Source:
Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. :403-422
Database:
ACM Full-Text Collection