Constrained global types for dynamic checking of protocol conformance in multi-agent systems.

Davide Ancona Matteo Barbieri Viviana Mascardi

Published in: SAC (2013)

Keyphrases

cooperative
multi agent systems
contract net protocol
multi agent
open environments
fully distributed
autonomous agents
intelligent agents
lightweight
multi agent reinforcement learning
dynamic environments
agent architecture
communication protocol
network protocols
coloured petri nets