Maurice H. ter Beek, Fabio Gadducci, Francesco Santini. Validating reconfigurations of reo circuits in an e-Banking scenario. In Philippe Kruchten, Sam Malek, editors, Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, ISARCS 2013, Vancouver, BC, Canada, June 17-21, 2013. pages 39-48, ACM, 2013. [doi]
Abstract is missing.