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