×

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
Full Text: Link