37 search results - page 2 / 8 » Behavioural Theory for Mobile Ambients |
ENTCS
2002
13 years 5 months ago
2002
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
IANDC
2006
13 years 5 months ago
2006
Abstract Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigra...
FOSSACS
2003
Springer
13 years 10 months ago
2003
Springer
CHI
2006
ACM
14 years 5 months ago
2006
ACM
Mobile phones have become a ubiquitous technology and for many people a daily companion, primarily used for communication and information access. The fact that the phone is accomp...
FOSSACS
2009
Springer
14 years 2 days ago
2009
Springer
Reactive systems, proposed by Leifer and Milner, represent a meta-framework aimed at deriving behavioral congruences for those specification formalisms whose operational semantics...