A calculus of mobile processes, II
Information and Computation
The Jini architecture for network-centric computing
Communications of the ACM
Programming and Deploying Java Mobile Agents Aglets
Programming and Deploying Java Mobile Agents Aglets
Nomadic Pict: Language and Infrastructure Design for Mobile Agents
IEEE Concurrency
Concurrent Constraint Programming Based on Functional Programming (Extended Abstract)
ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
An Object Calculus for Asynchronous Communication
ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
The Architecture of the Ara Platform for Mobile Agents
MA '97 Proceedings of the First International Workshop on Mobile Agents
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
Introducing Microsoft .NET, Third Edition
Introducing Microsoft .NET, Third Edition
Mob: a scripting language for mobile agents based on a process calculus
ICWE'03 Proceedings of the 2003 international conference on Web engineering
Service-Oriented Agents for Collaborative Industrial Automation and Production Systems
HoloMAS '09 Proceedings of the 4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems: Holonic and Multi-Agent Systems for Manufacturing
Injecting service-orientation into multi-agent systems in industrial automation
ICAISC'10 Proceedings of the 10th international conference on Artifical intelligence and soft computing: Part II
Hi-index | 0.00 |
In this paper we present MOB, a service-oriented scripting language for programming mobile agents in distributed systems. The main feature of the language is the integration of the service-oriented and the mobile agent paradigms. MOB is encoded onto a process calculus with a well studied semantics which provides us with a tool to prove the soundness of the language relative to the underlying calculus.