Expressing and verifying temporal and structural properties of mobile agents

MaRDI QIDQ5486049zbMATH OpenFDO

Authors Marek Bednarczyk, Wojciech Jamroga, Wiesław Pawłowski

Publication date 6 September 2006

zbMATH Keywords

dynamic mobile agentsmodel checkingPetri hypernetstemporal logics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Recent Trends in Algebraic Development Techniques
• A predicate spatial logic for mobile process
• scientific article; zbMATH DE number 2087391
• Model checking multi-agent systems with logic based Petri nets
• On complexity of verification of interacting agents' behavior

Cited in

(6)

• On mobile agent verifiable problems
• Mobile Agents with Timers, and Their Implementation
• scientific article; zbMATH DE number 2087391 (Why is no real title available?)
• A Timed Mobility Semantics Based on Rewriting Strategies
• Recent Trends in Algebraic Development Techniques
• Strategy based semantics for mobility with time and access permissions

This page was built for publication: Expressing and verifying temporal and structural properties of mobile agents

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