Combinatory representation of mobile processes
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Introducing data decomposition into VDM for tractable development of programs
ACM SIGPLAN Notices
Formalising Java RMI with explicit code mobility
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Theoretical Computer Science
Formalising Java RMI with explicit code mobility
Theoretical Computer Science
Hi-index | 0.00 |