M. Antonaki and A. Philippou, A Process Calculus for Spatially-explicit Ecological Models, Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, pp.14-28, 2012.
DOI : 10.1098/rspb.1998.0258

L. Bortolussi, J. Hillston, D. Latella, and M. Massink, Continuous approximation of collective systems behaviour: A Tutorial. Performance Evaluation -An International Journal, pp.317-349, 2013.

L. Bortolussi and A. Policriti, Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back, T. Comp. Sys. Biology, vol.99, issue.9, pp.216-267, 2009.
DOI : 10.1073/pnas.092133899

L. Bortolussi and J. Hillston, Fluid Model Checking, CONCUR 2012 -Concurrency Theory -23rd International Conference, pp.333-347, 2012.
DOI : 10.1007/978-3-642-32940-1_24

N. Carriero, D. Gelernter, T. G. Mattson, and A. H. Sherman, The Linda alternative to message-passing systems, Parallel Computing, vol.20, issue.4, pp.633-6550167, 1994.
DOI : 10.1016/0167-8191(94)90032-9

V. Ciancia, D. Latella, M. Loreti, and M. Massink, Specifying and Verifying Properties of Space, Theoretical Computer Science -8th IFIP TC 1/WG 2.2 International Conference, pp.222-235, 2014.
DOI : 10.1007/978-3-662-44602-7_18
URL : https://hal.archives-ouvertes.fr/hal-01402045

F. Ciocchetta and J. Hillston, Bio-PEPA: A framework for the modelling and analysis of biological systems, Theoretical Computer Science, vol.410, issue.33-34, pp.33-34, 2009.
DOI : 10.1016/j.tcs.2009.02.037

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, pp.3-71, 2015.
DOI : 10.1007/978-3-319-16310-9_1

D. Nicola, R. Latella, D. Loreti, M. Massink, and M. , A uniform definition of stochastic process calculi, ACM Computing Surveys, vol.46, issue.1, pp.1-5, 2013.
DOI : 10.1145/2522968.2522973

D. Nicola, R. Ferrari, G. L. Pugliese, and R. , KLAIM: a kernel language for agents interaction and mobility, IEEE Transactions on Software Engineering, vol.24, issue.5, pp.315-330, 1998.
DOI : 10.1109/32.685256

D. Nicola, R. Katoen, J. Latella, D. Loreti, M. Massink et al., Model checking mobile stochastic logic, Theoretical Computer Science, vol.382, issue.1, pp.42-70, 2007.
DOI : 10.1016/j.tcs.2007.05.008

J. L. Deneubourg, S. Aron, S. Goss, and J. M. Pasteels, The self-organizing exploratory pattern of the argentine ant, Journal of Insect Behavior, vol.3, issue.2, 1990.
DOI : 10.1093/aesa/79.2.283

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

S. Goss, S. Aron, J. L. Deneubourg, and J. M. Pasteels, Self-organized shortcuts in the Argentine ant, Naturwissenschaften, vol.2, issue.12, pp.579-581, 1989.
DOI : 10.1007/BF00462870

M. C. Guenther and J. T. Bradley, Higher Moment Analysis of a Spatial Stochastic Process Algebra, Proceedings. Lecture Notes in Computer Science, vol.103, issue.34, pp.87-101, 2011.
DOI : 10.1073/pnas.0603994103

H. Hansson and B. Jonsson, A logic for reasoning about time and reliability. Formal Aspects of Computing. The International Journal of Formal Methods, pp.512-535, 1994.

H. Hermanns, U. Herzog, and J. Katoen, Process algebra for performance evaluation, Theoretical Computer Science, vol.274, issue.1-2, pp.43-87, 2002.
DOI : 10.1016/S0304-3975(00)00305-4

D. Latella, M. Loreti, and M. Massink, On-the-fly Fluid Model Checking via Discrete Time Population Models. Extended Version, 2014.

D. Latella, M. Loreti, and M. Massink, On-the-fly Fast Mean-Field Model-Checking, Trustworthy Global Computing -8th International Symposium, pp.297-314, 2013.
DOI : 10.1007/978-3-319-05119-2_17

D. Latella, M. Loreti, M. Massink, and V. Senni, Stochastically timed predicatebased communication primitives for autonomic computing, Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, pp.12-13, 2014.
DOI : 10.4204/eptcs.154.1
URL : http://arxiv.org/pdf/1406.2065

M. Mamei and F. Zambonelli, Programming pervasive and mobile computing applications, ACM Transactions on Software Engineering and Methodology, vol.18, issue.4, 2009.
DOI : 10.1145/1538942.1538945

M. Massink and D. Latella, Fluid Analysis of Foraging Ants, ) Coordination Models and Languages -14th International Conference. Proceedings. LNCS, pp.152-165, 2012.
DOI : 10.1007/978-3-642-30829-1_11
URL : https://hal.archives-ouvertes.fr/hal-01529603

M. Tribastone, S. Gilmore, and J. Hillston, Scalable Differential Analysis of Process Algebra Models, IEEE Transactions on Software Engineering, vol.38, issue.1, pp.205-219, 2012.
DOI : 10.1109/TSE.2010.82