Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli. Modeling and Verifying Business Interactions via Commitments and Dialogue Actions. In Piotr Jedrzejowicz, Ngoc Thanh Nguyen, Robert J. Howlett, Lakhmi C. Jain, editors, Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part II. Volume 6071 of Lecture Notes in Computer Science, pages 11-21, Springer, 2010. [doi]
Abstract is missing.