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. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
Paulino, H., Lopes, L., & Silva, F. (2003). Mob: A scripting language for mobile agents based on a process calculus. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2722, 40–43. https://doi.org/10.1007/3-540-45068-8_6
Mendeley helps you to discover research relevant for your work.