Mobile ambients calculus is a formalism for mobile computing able to express local communications inside ambients. Ambients mobility is controlled by capabilities: in, out, and open. We add timers to communication channels, capabilities and ambients, and use a typing system for communication. The passage of time is given by a discrete global time progress function. We prove that structural congruence and passage of time do not interfere with the typing system. Moreover, once well-typed, an ambient remains well-typed. A timed extension of the cab protocol illustrates how the new formalism is working. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Aman, B., & Ciobanu, G. (2007). Mobile ambients with timers and types. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4711 LNCS, pp. 50–63). Springer Verlag. https://doi.org/10.1007/978-3-540-75292-9_4
Mendeley helps you to discover research relevant for your work.