Specification and verification of agent interaction protocols in a logic-based system. - Marco Alberti 001; Davide Daolio; Paolo Torroni; Marco Gavanelli; Evelina Lamma; Paola Mello (SAC, 2004)

Specification and Verification of Agent Interaction Protocols in a Logic-based System. - Marco Alberti 001; Federico Chesani; Davide Daolio; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni (Scalable Comput. Pract. Exp., 2007)