Specification and Verification of Agent Interaction Protocols in a Logic-based System (2004)

by Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello
Venue:PROCEEDINGS OF THE 2004 ACM SYMPOSIUM ON APPLIED COMPUTING (SAC)