A calculus of mobile processes, II
Information and Computation
The m-calculus: a higher-order distributed process calculus
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An Object Calculus for Asynchronous Communication
ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
Distributed Processes and Location Failures (Extended Abstract)
ICALP '97 Proceedings of the 24th International Colloquium on Automata, Languages and Programming
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Jocaml: Mobile Agents for Objective-Caml
ASAMA '99 Proceedings of the First International Symposium on Agent Systems and Applications Third International Symposium on Mobile Agents
A mobile agent service-oriented scripting language encoded on a process calculus
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
A software framework for rapid prototyping of run-time systems for mobile calculi
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
A generic membrane model (note)
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Hi-index | 0.00 |
The current trend in the organization of computational systems is propitious to the definition of run-time infrastructures that embed distribution and mobility. Most of these grow from existent virtual machines that execute sequential or concurrent code. In this paper we present SuMo, a platform that factorizes all communication and mobility dependent operations into a reusable layer. Our purpose is to provide a framework to intuitively and easily extend existing virtual machines to execute mobile distributed computations.