Timers and proximities for mobile ambients

Authors:
Bogdan Aman;Gabriel Ciobanu
Affiliations:
"A. I.Cuza" University, Faculty of Computer Science, Iaşi, Romania;"A. I.Cuza" University, Faculty of Computer Science, Iaşi, Romania and Romanian, Academy, Institute of Computer Science
Venue:
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Year:
2007

Citing 6
Cited 2

Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Coordination models: a guided tour

Coordination of Internet agents
Models and technologies for the coordination of Internet agents: a survey

Coordination of Internet agents
Using Ambients to Control Resources

CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Mobile Ambients

FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Coordination by Timers for Channel-Based Anonymous Communications

Electronic Notes in Theoretical Computer Science (ENTCS)

Describing the Immune System Using Enhanced Mobile Membranes

Electronic Notes in Theoretical Computer Science (ENTCS)
Interaction in Time and Space

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we extend mobile ambients with timers and proximities, and so we get a clear notion of location and mobility. Timers define timeouts for various resources, making them available only for a determined period of time; we add timers to ambients and capabilities. We present an example how the new model is working. The coordination of the ambients in time and space is given by assigning specific values to timers, and by a set of coordination rules.