Media type: E-Article Title: Declarative Agent Languages and Technologies VIII: Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS Contributor: Baldoni, Matteo; Baroglio, Cristina; Marengo, Elisa imprint: Springer Berlin Heidelberg, 2011 Published in: Declarative Agent Languages and Technologies VIII Language: Not determined DOI: 10.1007/978-3-642-20715-0_4 ISSN: 0302-9743; 1611-3349 Origination: Footnote: