A notation and logic for mobile computing

DOI10.1023/A:1012908529306MaRDI QIDQ5959858zbMATH OpenOpenAlexFDO

Authors Peter J. McCann, Gruia-Catalin Roman

Publication date 11 April 2002

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1012908529306

zbMATH Keywords

concurrent mobile systemMobile UNITY

Mathematics Subject Classification ID

Distributed systems (68M14) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Mobile UNITY schemas for agent coordination
• scientific article; zbMATH DE number 1231618
• A calculus of mobile agents
• Towards a mobile temporal logic of actions.
• A coordination approach to mobile components

Cited in

(9)

• Mobile computation with functions
• Mark, a reasoning kit for mobility
• Towards a mobile temporal logic of actions.
• Mobile UNITY schemas for agent coordination
• ASUR++: A design notation for mobile mixed systems
• Nomadic Pict: correct communication infrastructure for mobile computation
• A principled exploration of coordination models
• Stream-based specification of mobile systems
• Modeling adaptive behaviors in Context UNITY

This page was built for publication: A notation and logic for mobile computing

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