Formalising Java RMI with explicit code mobility.

Alexander Joseph Ahern, Nobuko Yoshida

Browse the full OOPSLA paper archive.