Verifying Bigraphical Models of Architectural Reconfigurations

Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco. Verifying Bigraphical Models of Architectural Reconfigurations. In Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK. pages 135-138, IEEE, 2013. [doi]

Abstract

Abstract is missing.