scientific article; zbMATH DE number 2087391

MaRDI QIDQ4738174zbMATH OpenFDO

Authors Lorenzo Bettini, Rocco De Nicola, Michele Loreti

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2315/23150072.htm

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Distributed systems (68M14)

Recommendations

• A multi-agent system formalization in mobile environments
• Expressing and verifying temporal and structural properties of mobile agents
• A formal model-based approach for developing an interoperable mobile agent system
• scientific article; zbMATH DE number 2084804
• scientific article; zbMATH DE number 1969693
• scientific article; zbMATH DE number 2087354
• Objects, Agents, and Features
• A calculus of mobile agents

Cited in

(13)

• On mobile agent verifiable problems
• Causality for debugging mobile agents
• Mark, a reasoning kit for mobility
• scientific article; zbMATH DE number 1686286 (Why is no real title available?)
• A formal model-based approach for developing an interoperable mobile agent system
• Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines
• A multi-agent system formalization in mobile environments
• scientific article; zbMATH DE number 2084804 (Why is no real title available?)
• Klava: a Java package for distributed and mobile applications
• A modal logic for mobile agents
• Expressing and verifying temporal and structural properties of mobile agents
• Towards a logic for performance and mobility
• Model checking mobile stochastic logic

Describes a project that uses

Uses Software

• OCaml
• KLAIM

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4738174)