28 search results - page 2 / 6 » A Kleene Analysis of Mobile Ambients |
DAGSTUHL
2006
13 years 6 months ago
2006
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. The technical contribution of this...
APLAS
2005
ACM
13 years 6 months ago
2005
ACM
In this paper we propose a new parametric abstract finite model of Mobile Ambients able to express several properties on processes. The model can be used for the analysis of these...
ISCC
2007
IEEE
13 years 11 months ago
2007
IEEE
Wireless operators incorporate multiradio access technologies aiming at expanding their customer base and benefiting from synergies of existing and planned infrastructure. The res...
CONCUR
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. The ambient calculus is a calculus of computation that allows active processes (mobile ambients) to move between sites. A firewall is said to be protective whenever it d...
SAS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...