Stochastic Process Algebra and Stability Analysis of Collective Systems.

Luca Bortolussi, Diego Latella, Mieke Massink

Browse the full Coordination paper archive.