Faisal Abouzaid, John Mullins, Manuel Mazzara, Nicola Dragoni. Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus. In Gordan Jezic, Mario Kusek, Ngoc Thanh Nguyen, Robert J. Howlett, Lakhmi C. Jain, editors, Agent and Multi-Agent Systems. Technologies and Applications - 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings. Volume 7327 of Lecture Notes in Computer Science, pages 534-543, Springer, 2012. [doi]
Abstract is missing.