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

model checkingtemporal logicsdynamic mobile agentsPetri hypernets

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)

• Recent Trends in Algebraic Development Techniques
• Strategy based semantics for mobility with time and access permissions
• 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
• On mobile agent verifiable problems

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)