An Abstract Interpretation Frame of the Calculus of Boxed Ambients Based on the Ambient Occurrence Counting

Zhang Hong,Liu Lei
DOI: https://doi.org/10.1109/ISECS.2008.210
2008-01-01
Abstract:In order to statically validate the interesting and desired properties of concurrent and distributed system, an abstract interpretation frame based on the ambient occurrence counting for the calculus of boxed ambients, a variant of the calculus of mobile ambients, is developed. The analysis computes a safe approximation of the set of all processes to whom the given system can evolve. The frame is showed to be semantically correct: the set of acceptable solutions is closed under reduction, and it constitutes a Moore family.
What problem does this paper attempt to address?