Zhang Hong, Liu Lei. An Abstract Interpretation Frame of the Calculus of Boxed Ambients Based on the Ambient Occurrence Counting. In Fei Yu, Qi Luo, Yongjun Chen, Zhigang Chen, editors, Proceedings of The International Symposium on Electronic Commerce and Security, ISECS 2008, August 3-5, 2008, Guangzhou, China. pages 623-626, IEEE Computer Society, 2008. [doi]
Abstract is missing.