Hind Fadil, Jean-Luc Koning. A Formal Approach to Model Multiagent Interactions Using the B Formal Method. In Félix F. Ramos Corchado, Victor Larios-Rosillo, Herwig Unger, editors, Advanced Distributed Systems: 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers. Volume 3563 of Lecture Notes in Computer Science, pages 516-528, Springer, 2005. [doi]
Abstract is missing.