Media type: E-Article Title: Agent and Multi-Agent Systems: Technologies and Applications: Modeling and Verifying Business Interactions via Commitments and Dialogue Actions Contributor: El-Menshawy, Mohamed; Bentahar, Jamal; Dssouli, Rachida imprint: Springer Berlin Heidelberg, 2010 Published in: Agent and Multi-Agent Systems: Technologies and Applications Language: Not determined DOI: 10.1007/978-3-642-13541-5_2 ISSN: 0302-9743; 1611-3349 Origination: Footnote: