Mob: A Process-Calculus Based Mobile Agent’s Scripting Language

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 web agents encoded on top of a process calculus and with provably sound semantics.