MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems.
Matteo BaldoniCristina BaroglioFederico BergentiAntonio BoccalatteElisa MarengoMaurizio MartelliViviana MascardiLuca PadovaniViviana PattiAlessandro RicciGianfranco RossiAndrea SantiPublished in: MALLOW (2010)