An Abstract Interpretation Frame of the Calculus of Boxed Ambients Based on the Ambient Occurrence Counting - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Zhang Hong' in GoogleThis author has not been identified. Look up 'Liu Lei' in Google

runs on WebDSL