18 search results - page 1 / 4 » The Complexity of Model Checking Mobile Ambients |
FOSSACS
2001
Springer
14 years 3 months ago
2001
Springer
APLAS
2005
ACM
14 years 26 days 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...
ESOP
2004
Springer
14 years 4 months ago
2004
Springer
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to e...
CALCO
2005
Springer
14 years 4 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
ESOP
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...