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 properties by means of model checking techniques. The precision of the model can be increased by modifying certain numeric parameters increasingly avoiding thereby the occurrences of false counterexamples in the analysis. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Distefano, D. (2005). A parametric model for the analysis of mobile ambients. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3780 LNCS, pp. 401–417). https://doi.org/10.1007/11575467_26
Mendeley helps you to discover research relevant for your work.