CARMA

The QUANTICOL project has developed a novel modelling language for describing and analysis collective adaptive systems.  CARMA (Collective Adaptive Resource-sharing Markovian Agents) is a process-calculus language with constructs for expressing timed and probabilistic behaviour of components which operate in collectives.  An evaluation context defines functions which specify the rates and probabilities which determine the evolution of the overall system state.