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 Proceedings of the 2004 ACM symposium on Applied computing