963 search results - page 9 / 193 » Types for Mobile Ambients |
AINA
2009
IEEE
14 years 3 months ago
2009
IEEE
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambien...
IANDC
2008
13 years 8 months ago
2008
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the modelling of multi-level security policies. Ambients that may guarantee to proper...
CL
2004
Springer
13 years 8 months ago
2004
Springer
A new algorithm is introduced for analyzing possible nestings in mobile ambient calculus. It improves both time and space complexities of the technique proposed by Nielson and Sei...
DEXAW
1998
IEEE
14 years 19 days ago
1998
IEEE
The mobile agent approach has become popular due to recent developments in the mobile code paradigm and enabling programming technologies. Many existing agentbased systems lack cl...
CONCUR
2008
Springer
13 years 10 months ago
2008
Springer
We present a new labelled transition system (lts) for the ambient calculus on which ordinary bisimilarity coincides with contextual equivalence. The key feature of this lts is that...