Xiang Ling. A Categorical Approach for Modeling and Verifying Dynamic Software Architecture. In Seventh International Conference on Software Security and Reliability, SERE 2012, Gaithersburg, Maryland, USA, 18-20 June 2013 - Companion Volume. pages 168-175, IEEE, 2013. [doi]
Abstract is missing.