37 search results - page 2 / 8 » Behavioural Theory for Mobile Ambients |
110
Voted
ENTCS
2002
15 years 13 days 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...
95
Voted
IANDC
2006
15 years 19 days 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...
88
Voted
FOSSACS
2003
Springer
15 years 5 months ago
2003
Springer
101
Voted
CHI
2006
ACM
16 years 1 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...
96
Voted
FOSSACS
2009
Springer
15 years 7 months 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...