Mob: a scripting language for mobile agents based on a process calculus

Authors:
Hervé Paulino;Luís Lopes;Fernando Silva
Affiliations:
Department of Informatics, Faculty of Sciences and Technology, New University of Lisbon, Monte de Caparica, Portugal;Department of Computer Science, University of Oporto, Porto, Portugal;Department of Computer Science, University of Oporto, Porto, Portugal
Venue:
ICWE'03 Proceedings of the 2003 international conference on Web engineering
Year:
2003

Citing 1
Cited 2

KLAVA: a Java package for distributed and mobile applications

Software—Practice & Experience

A service-oriented language for programming mobile agents

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
A mobile agent service-oriented scripting language encoded on a process calculus

JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

Mobile agents are the latest software technology to program flexible and efficient distributed applications. Most current systems implement semantics that are hard if not impossible to prove correct. In this paper we present MoB, a scripting language for Internet agents encoded on top of a process calculus and with provably sound semantics.