Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Model-checking agent refinement
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
The ARTS real-time agent architecture
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
| Hi-index | 0.00 |
Timed coordination is an important issue in the developement of multi-agent systems. However, introducing a formalism for modelling time and achieving coordination while respecting the autonomy of the agents is still a challenge. This paper describes a formalism for a timed coordination mechanism which conciliates the "free thinking" of an agent.