An Abstract Interpretation Frame of the Calculus of Boxed Ambients Based on the Ambient Occurrence Counting | IEEE Conference Publication | IEEE Xplore