Davide Daolio

According to our database, Davide Daolio authored at least 2 papers between 2004 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2007

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

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

Scalable Comput. Pract. Exp., 2007

2004

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

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

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004