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]
Abstract is missing.