Expressing and verifying temporal and structural properties of mobile agents

zbMATH Open1097.68081MaRDI QIDQ5486049FDOQ5486049

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

Publication date: 6 September 2006

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

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)

Cited In (6)

• Title not available (Why is that?)
• A Timed Mobility Semantics Based on Rewriting Strategies
• On mobile agent verifiable problems
• Strategy based semantics for mobility with time and access permissions
• Recent Trends in Algebraic Development Techniques
• Mobile Agents with Timers, and Their Implementation

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)