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 Andrea Omicini, Mirko Viroli, editors, Proceedings of the 11th WOA 2010 Workshop, Dagli Oggetti Agli Agenti, Rimini, Italy, September 5-7, 2010. Volume 621 of CEUR Workshop Proceedings, CEUR-WS.org, 2010. [doi]
Abstract is missing.