Towards a Theory of Refinement in Timed Coordination Languages.

Jean-Marie Jacquet Isabelle Linden

Published in: COORDINATION (2007)

Keyphrases

theoretical framework
cooperative
expressive power
language independent
case study
real time
multi agent
data model
computational model
multiagent systems
information theory
theoretical basis
language identification
formal theory