Runnable Specifications of Interactions for Open Multi-Agent Systems.

Philippe Mathieu Jean-Christophe Routier Yann Secq

Published in: IKE (2003)

Keyphrases

open multi agent systems
electronic institutions
multi agent systems
formal specification
high level
multi agent
interaction patterns
neural network
decision trees
cooperative
special case
software agents
concurrent systems