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

by M Alberti, D Daolio, P Torroni, M Gavanelli, E Lamma, P Mello
Venue:In 2004 ACM Symposium on Applied Computing