tag : NokiaMobileCoord
7 publications / Mirko Viroli
Specifying Agent Observable Behaviour (AAMAS 2002) — Mirko Viroli, Andrea Omicini
Extending ReSpecT for Multiple Coordination Flows (2002) — Alessandro Ricci, Andrea Omicini, Mirko Viroli
A Specification Language for Agents Observable Behaviour (2002) — Mirko Viroli, Andrea Omicini
Modelling Agents as Observable Sources (Journal of Universal Computer Science, 2002) — Mirko Viroli, Andrea Omicini
On the Expressiveness of Event-Based Coordination Media (2002) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
An Observation Approach to Semantics of Agents Communication Languages (Applied Artificial Intelligence, 2002) — Mirko Viroli, Andrea Omicini
On the Grey-Box Modelling Approach for Autonomous Agents (2002) — Mirko Viroli, Andrea Omicini