Davide Daolio

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

Paola Mello, Federico Chesani, Paolo Torroni, 2004, SAC '04.

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

Evelina Lamma, Paola Mello, Federico Chesani, 2007 .