Matteo Baldoni, Cristina Baroglio, Elisa Marengo. Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS. In Andrea Omicini, Sebastian Sardiña, Wamberto Weber Vasconcelos, editors, Declarative Agent Languages and Technologies VIII - 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers. Volume 6619 of Lecture Notes in Computer Science, pages 60-77, Springer, 2010. [doi]
Abstract is missing.