tag : Maude

4 publications / Mirko Viroli
page_white_acrobat Prototyping A&A ReSpecT in Maude (2008) — Matteo Casadei, Andrea Omicini, Mirko Viroli
page_white_acrobat Prototyping A&A ReSpecT in Maude (2007) — Matteo Casadei, Andrea Omicini, Mirko Viroli
page_white_acrobat A Case of Self-Organising Environment for MAS: the Collective Sort Problem () — Matteo Casadei, Luca Gardelli, Mirko Viroli
page_white_acrobat Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
[ tag cloud  /  Mirko Viroli  /  publications ]