Paulino, Hervé; Lopes, Luís; Silva, Fernando Mob: A scripting language for mobile agents based on a process calculus. (English) Zbl 1029.68850 Cueva Lovelle, Juan Manuel (ed.) et al., Web engineering. International conference, ICWE 2003, Oviedo, Spain, July 14-18, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2722, 40-43 (2003). Summary: 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.For the entire collection see [Zbl 1025.68697]. MSC: 68U99 Computing methodologies and applications 68U35 Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) 68M10 Network design and communication in computer systems Software:Klava PDFBibTeX XMLCite \textit{H. Paulino} et al., Lect. Notes Comput. Sci. 2722, 40--43 (2003; Zbl 1029.68850) Full Text: Link