Mob: A scripting language for mobile agents based on a process calculus

• Type: Article in International Scientific Journal
• Date: 2003

Authors

Paulino, H (Author) Other; Lopes, L (Author) FCUP; Silva, F (Author) FCUP

Journal

The Journal is awaiting validation by the Administrative Services.

Title: WEB ENGINEERING, PROCEEDINGS

Vol. 15

Pages: 40-43

Indexing

ISI Web of Knowledge - 2 Citations

Scopus - 3 Citations

Scientific classification

FOS: Natural sciences > Computer and information sciences

Other information

Authenticus ID: P-000-KRV

DOI: 10.1007/3-540-45068-8_6

Abstract (EN): 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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 4