Y. A. Alrahman, R. De-nicola, M. Loreti, F. Tiezzi, and R. Vigo, A calculus for attribute-based communication, Proceedings of the 30th Annual ACM Symposium on Applied Computing, SAC '15, pp.1840-1845
DOI : 10.1007/978-3-540-89437-7_8
URL : http://orbit.dtu.dk/en/publications/a-calculus-for-attributebased-communication(7e0e0985-5f34-4c1b-bcdf-02f10cab0f06).html

C. Baier, B. Haverkort, H. Hermanns, and J. P. Katoen, Model-checking algorithms for continuous-time markov chains, IEEE Transactions on Software Engineering, vol.29, issue.6, pp.524-541, 2003.
DOI : 10.1109/TSE.2003.1205180
URL : http://web.informatik.uni-bonn.de/I/baier/papers/BHHK03.pdf

L. Bortolussi, R. De-nicola, V. Galpin, S. Gilmore, J. Hillston et al., CARMA: Collective Adaptive Resource-sharing Markovian Agents, Electronic Proceedings in Theoretical Computer Science, vol.38, issue.1, pp.16-31, 2015.
DOI : 10.1109/TSE.2010.82
URL : http://arxiv.org/pdf/1509.08560

L. Bortolussi and J. Hillston, Fluid Model Checking, In: CONCUR. LNCS, vol.7454, pp.333-347, 2012.
DOI : 10.1007/978-3-642-32940-1_24

L. Bortolussi, J. Hillston, D. Latella, and . Massink, M: Continuous approximation of collective systems behaviour: A Tutorial. Performance Evaluation, pp.317-349, 2013.
DOI : 10.1016/j.peva.2013.01.001

L. Bortolussi, D. Latella, and . Massink, Stochastic Process Algebra and Stability Analysis of Collective Systems, COORDINATION '13, pp.1-15, 2013.
DOI : 10.1007/978-3-642-38493-6_1
URL : https://hal.archives-ouvertes.fr/hal-01486031

V. Ciancia, D. Latella, and M. Massink, On Space in CARMA, QUANTICOL, 2015.

V. Ciancia, D. Latella, and M. Massink, An Attribute-based Front-end for FlyFast

D. Nicola, R. Latella, D. Lluch-lafuente, A. Loreti, M. Margheri et al., The SCEL language: Design , implementation, verification. Software Engineering for Collective Autonomic Systems -The ASCENS Approach, LNCS, vol.8998, pp.3-71, 2015.

C. Feng and J. Hillston, PALOMA: A Process Algebra for Located Markovian Agents, QEST 2014, pp.265-280, 2014.
DOI : 10.1007/978-3-319-10696-0_22

H. Hansson and B. Jonsson, A logic for reasoning about time and reliability. Formal Aspects of Computing, pp.512-535, 1994.
DOI : 10.1007/bf01211866
URL : ftp://ftp.sics.se/pub/SICS-reports/Reports/SICS-R--90-13--SE.ps.Z

J. Hillston and M. Loreti, Specification and Analysis of Open-Ended Systems with CARMA, Agent Environments for Multi-Agent Systems IV, pp.95-116, 2015.
DOI : 10.1007/s10458-006-0012-0

M. John, C. Lhoussaine, and J. Niehren, Dynamic compartments in the imperative pi-calculus, CMSB 2009, pp.235-250, 2009.
DOI : 10.1007/978-3-642-03845-7_16
URL : https://hal.archives-ouvertes.fr/inria-00422970

M. John, C. Lhoussaine, J. Niehren, and A. M. Uhrmacher, The Attributed Pi Calculus, CMSB 2008, pp.83-102, 2008.
DOI : 10.1007/978-3-540-88562-7_10
URL : https://hal.archives-ouvertes.fr/inria-00308970

D. Latella, M. Loreti, and M. Massink, On-the-fly fast mean-field model-checking, TGC 2013, Revised Selected Papers, pp.297-314, 2013.
DOI : 10.1007/978-3-319-05119-2_17

D. Latella, M. Loreti, and M. Massink, On-the-fly Probabilistic Model Checking, Electronic Proceedings in Theoretical Computer Science, vol.2988, issue.2, pp.45-59, 2014.
DOI : 10.1007/978-3-540-24730-2_4

D. Latella, M. Loreti, and M. Massink, On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination, Science of Computer Programming, vol.110, pp.23-50, 2015.
DOI : 10.1016/j.scico.2015.06.009

D. Latella, M. Loreti, and M. Massink, Investigating Fluid-Flow Semantics of??Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems, CO- ORDINATION '15, pp.19-34, 2015.
DOI : 10.1007/978-3-319-19282-6_2

D. Latella, Comunicazione basata su proprietà nei sistemi decentralizzati [Property-based inter-process communication in decentralized systems] (dec. 1983), graduation Thesis

D. Latella, M. Loreti, M. Massink, and V. Senni, On stocs: A stochastic extension of SCEL. Software, Services, and Systems -Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, LNCS, vol.8950, pp.619-640, 2015.

L. Boudec, J. Y. Mcdonald, D. Mundinger, and J. , A Generic Mean Field Convergence Result for Systems of Interacting Objects, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), pp.3-18, 2007.
DOI : 10.1109/QEST.2007.8

V. R. Lesser and D. D. Corkill, Functionally Accurate, Cooperative Distributed Systems, IEEE Transactions on Systems, Man, and Cybernetics, vol.11, issue.1, pp.81-96, 1981.
DOI : 10.1109/TSMC.1981.4308581
URL : http://dancorkill.home.comcast.net/~dancorkill/pubs/smc-fac.pdf

M. Massink and D. Latella, Fluid Analysis of Foraging Ants, COORDINATION '12, pp.152-165, 2012.
DOI : 10.1007/978-3-642-30829-1_11
URL : https://hal.archives-ouvertes.fr/hal-01529603

M. Tschaikowski and M. Tribastone, A unified framework for differential aggregations in Markovian process algebra, Journal of Logical and Algebraic Methods in Programming, vol.84, issue.2, pp.238-258, 2015.
DOI : 10.1016/j.jlamp.2014.10.004