Zhiming Chang, XinJun Mao, Zhichang Qi. Formal Analysis of Architectural Policies of Self-Adaptive Software by Bigraph. In Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008. pages 118-123, IEEE Computer Society, 2008. [doi]
Abstract is missing.