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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
V. Vasconcelos, L. Lopes, F. Silva: Distribution and Mobility with Lexical Electronic Notes in Theoretical Computer Science 16(3), Elsevier Science Publishers, 1998.
Lange D.: Java Aglet Application Programming Interface. IBM Tokyo Research Laboratory. 1997.
Straber K., Baumann J., Hohl F.: Mole — A Java Based Mobile Agent System. Inst. for Parallel and Distributed Computer Systems, University of Stuttgart. 1997.
Bettini L., De Nicola R., Pugliese R.: Klava: a Java Framework for Distributed and Mobile Applications. Software — Practice and Experience, 32(14):1365–1394, John Wiley & Sons, 2002.
Gray R.: Agent TCL: A flexible and secure mobile-agent system. Department of Computer Science. Dartmouth College. 1996.
MPI Forum: The MPI Message Passing Interface Standard. www-unix.mcs.anl.gov/mpi/. 1994
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Paulino, H., Lopes, L., Silva, F. (2003). Mob: A Scripting Language for Mobile Agents Based on a Process Calculus. In: Lovelle, J.M.C., Rodríguez, B.M.G., Gayo, J.E.L., del Puerto Paule Ruiz, M., Aguilar, L.J. (eds) Web Engineering. ICWE 2003. Lecture Notes in Computer Science, vol 2722. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45068-8_6
Download citation
DOI: https://doi.org/10.1007/3-540-45068-8_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40522-1
Online ISBN: 978-3-540-45068-9
eBook Packages: Springer Book Archive