MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems

Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi. MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems. In Olivier Boissier, Amal El Fallah-Seghrouchni, Salima Hassas, Nicolas Maudet, editors, Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30 - September 2, 2010. Volume 627 of CEUR Workshop Proceedings, CEUR-WS.org, 2010. [doi]

Authors

Matteo Baldoni

This author has not been identified. Look up 'Matteo Baldoni' in Google

Cristina Baroglio

This author has not been identified. Look up 'Cristina Baroglio' in Google

Federico Bergenti

This author has not been identified. Look up 'Federico Bergenti' in Google

Antonio Boccalatte

This author has not been identified. Look up 'Antonio Boccalatte' in Google

Elisa Marengo

This author has not been identified. Look up 'Elisa Marengo' in Google

Maurizio Martelli

This author has not been identified. Look up 'Maurizio Martelli' in Google

Viviana Mascardi

This author has not been identified. Look up 'Viviana Mascardi' in Google

Luca Padovani

This author has not been identified. Look up 'Luca Padovani' in Google

Viviana Patti

This author has not been identified. Look up 'Viviana Patti' in Google

Alessandro Ricci

This author has not been identified. Look up 'Alessandro Ricci' in Google

Gianfranco Rossi

This author has not been identified. Look up 'Gianfranco Rossi' in Google

Andrea Santi

This author has not been identified. Look up 'Andrea Santi' in Google