Specification and verification of agent interaction protocols in a logic-based system.

Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello

Browse the full SAC paper archive.