Luca Bortolussi, Diego Latella, Mieke Massink. Stochastic Process Algebra and Stability Analysis of Collective Systems. In Rocco De Nicola, Christine Julien, editors, Coordination Models and Languages, 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings. Volume 7890 of Lecture Notes in Computer Science, pages 1-15, Springer, 2013. [doi]
Abstract is missing.