L. Bortolussi, Stochastic Concurrent Constraint Programming, Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006.
DOI : 10.1016/j.entcs.2006.07.012
URL : http://doi.org/10.1016/j.entcs.2006.07.012

L. Bortolussi and A. Policriti, Modeling Biological Systems in Stochastic Concurrent Constraint Programming, Constraints, vol.99, issue.9, pp.66-90, 2008.
DOI : 10.1007/s10601-007-9034-8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.5126

L. Bortolussi and A. Policriti, Dynamical systems and stochastic programming ? from ordinary differential equations and back, Transactions of Computational Systems Biology XI, pp.216-267, 2009.
DOI : 10.1007/978-3-642-04186-0_11

F. Ciocchetta, A. Duguid, S. Gilmore, M. L. Guerriero, J. et al., The Bio-PEPA Tool Suite, 2009 Sixth International Conference on the Quantitative Evaluation of Systems, pp.309-310, 2009.
DOI : 10.1109/QEST.2009.27

F. Ciocchetta and M. L. Guerriero, Modelling Biological Compartments in Bio-PEPA, Electronic Notes in Theoretical Computer Science, vol.227, pp.77-95, 2009.
DOI : 10.1016/j.entcs.2008.12.105
URL : http://doi.org/10.1016/j.entcs.2008.12.105

F. Ciocchetta and J. Hillston, Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks, Electronic Notes in Theoretical Computer Science, vol.194, issue.3, pp.103-117, 2008.
DOI : 10.1016/j.entcs.2007.12.008

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. Katoen, J. Latella, D. Loreti, and M. , StoKLAIM: A stochastic extension of KLAIM, 2006.

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.1007/BF01417909

M. Dorigo and T. Stützle, Ant Colony Optimization, 2004.

D. T. Gillepie, Exact stochastic simulation of coupled chemical reactions, The Journal of Physical Chemistry, vol.81, issue.25, pp.2340-2361, 1977.
DOI : 10.1021/j100540a008

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

J. Hillston, Fluid flow approximation of PEPA models, Second International Conference on the Quantitative Evaluation of Systems (QEST'05), pp.33-43, 2005.
DOI : 10.1109/QEST.2005.12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.63.9783

T. G. Kurtz, Solutions of ordinary differential equations as limits of pure jump markov processes, Journal of Applied Probability, vol.3, issue.01, pp.49-58, 1970.
DOI : 10.1017/S0021900200026929

M. Kwiatkowska, G. Norman, and D. Parker, PRISM, ACM SIGMETRICS Performance Evaluation Review, vol.36, issue.4, 2009.
DOI : 10.1145/1530873.1530882
URL : https://hal.archives-ouvertes.fr/hal-00740727

M. Kwiatkowska, G. Norman, and D. Parker, PRISM 4.0: Verification of Probabilistic Real-Time Systems, Proc. 23rd International Conference on Computer Aided Verification (CAV'11), pp.585-591, 2011.
DOI : 10.1007/3-540-45657-0_17
URL : https://hal.archives-ouvertes.fr/hal-00648035

R. Milner, Calculi for synchrony and asynchrony, Theoretical Computer Science, vol.25, issue.3, pp.267-310, 1983.
DOI : 10.1016/0304-3975(83)90114-7
URL : http://doi.org/10.1016/0304-3975(83)90114-7

D. J. Sumpter, G. B. Blanchard, and D. S. Broomhead, Ants and Agents: a Process Algebra Approach to Modelling Ant Colony Behaviour, Bulletin of Mathematical Biology, vol.63, issue.5, pp.951-9800252, 2001.
DOI : 10.1006/bulm.2001.0252
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.5957

C. Tofts, The autosynchronisation of leptothorax acervorem (fabricius) described in WSCCS, 1990.