KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Abstractions for mobile computations
Secure Internet programming
Formal methods for distributed processing
A survey of theories for mobile agents
World Wide Web
Seal: A Framework for Secure Mobile Computations
ICCL'98 Workshop on Internet Programming Languages
Notes on Nominal Calculi for Security and Mobility
FOSAD '00 Revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design on Foundations of Security Analysis and Design: Tutorial Lectures
An Overview of Mobile Object-Z
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
An Ada95 Implementation of a Network Coordination Language with Code Mobility
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Information and Computation
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models
Information and Computation
Hi-index | 0.00 |