Mobile Ambients with Timers and Types

DOI10.1007/978-3-540-75292-9_4MaRDI QIDQ3525074zbMATH OpenOpenAlexFDO

Authors Bogdan Aman, Gabriel Ciobanu

Publication date 17 September 2008

Published in Theoretical Aspects of Computing – ICTAC 2007 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75292-9_4

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Timers and Proximities for Mobile Ambients
• Mobile ambients
• Mobile ambients
• Mobile Agents with Timers, and Their Implementation
• scientific article; zbMATH DE number 1231618
• Typed mobile ambients in Maude

Cited in

(9)

• Checking modal contracts for virtually timed ambients
• Virtually timed ambients: a calculus of nested virtualization
• A process calculus BigrTiMo of mobile systems and its formal semantics
• Interaction in time and space
• Employing costs in multiagent systems with timed migration and timed communication
• Timers and Proximities for Mobile Ambients
• A calculus of virtually timed ambients
• Timed mobility in process algebra and Petri nets
• Strategy based semantics for mobility with time and access permissions

This page was built for publication: Mobile Ambients with Timers and Types

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