A modal logic for mobile agents

DOI10.1145/963927.963930MaRDI QIDQ5277692zbMATH OpenOpenAlexWikidataFDO

Authors Rocco De Nicola, Michele Loreti

Publication date 12 July 2017

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/963927.963930

zbMATH Keywords

coordination modelsmobile code languagesmobilityproof systemstemporal logics of programs

Mathematics Subject Classification ID

Temporal logic (03B44) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1696899
• Formal Methods for Components and Objects
• The Klaim project: Theory and practice
• scientific article; zbMATH DE number 2087391
• Anytime, anywhere: modal logics for mobile ambients

Cited in

(13)

• Stabilizing mobile philosophers
• Types for access control
• A formal approach to the engineering of domain-specific distributed systems
• scientific article; zbMATH DE number 1231561 (Why is no real title available?)
• Programming Languages and Systems
• Generalization of some properties of relations in the context of functional temporal×modal logic
• scientific article; zbMATH DE number 2209389 (Why is no real title available?)
• The Klaim project: Theory and practice
• Formal Methods for Components and Objects
• Programming rational agents in a modal action logic
• Modal logics for mobile processes
• Towards a logic for performance and mobility
• Model checking mobile stochastic logic

This page was built for publication: A modal logic for mobile agents

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