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]
@inproceedings{BaldoniBBBMMMPPRRS10,
title = {MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems},
author = {Matteo Baldoni and Cristina Baroglio and Federico Bergenti and Antonio Boccalatte and Elisa Marengo and Maurizio Martelli and Viviana Mascardi and Luca Padovani and Viviana Patti and Alessandro Ricci and Gianfranco Rossi and Andrea Santi},
year = {2010},
url = {http://ceur-ws.org/Vol-621/paper13.pdf},
tags = {object-oriented programming, program verification, programming, subject-oriented programming, feature-oriented programming},
researchr = {https://researchr.org/publication/BaldoniBBBMMMPPRRS10},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 11th WOA 2010 Workshop, Dagli Oggetti Agli Agenti, Rimini, Italy, September 5-7, 2010},
editor = {Andrea Omicini and Mirko Viroli},
volume = {621},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}