CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes.

Hubert Garavel Frédéric Lang Radu Mateescu Wendelin Serwe

Published in: TACAS (2011)

Keyphrases

distributed systems
multi agent
cooperative
image analysis
website
machine learning
information systems
optimal solution
mobile agents