Inproceedings,

Formalising Java RMI with explicit code mobility.

, and .
OOPSLA, page 403-422. ACM, (2005)

Meta data

Tags

Users

  • @dblp

Comments and Reviews