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

researchr

You are not signed in
Sign in
Sign up

Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni. Specification and Verification of Agent Interaction Protocols in a Logic-based System. Scalable Computing: Practice and Experience, 8(1), 2007. [doi]

The following publications are possibly variants of this publication:

Specification and verification of agent interaction protocols in a logic-based systemMarco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello. SAC 2004: 72-78 [doi]

runs on WebDSL