A modal logic for mobile agents

DOI10.1145/963927.963930zbMath1367.68064OpenAlexW2026960406WikidataQ124439135 ScholiaQ124439135MaRDI QIDQ5277692

Michele Loreti, Rocco De Nicola

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

proof systemsmobilitycoordination modelsmobile code languagestemporal logics of programs

Mathematics Subject Classification ID

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

Related Items (3)

Model checking mobile stochastic logic ⋮ A formal approach to the engineering of domain-specific distributed systems ⋮ Generalization of some properties of relations in the context of functional temporal×modal logic

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