R. Alur and D. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

A. Aziz, K. Sanwal, V. Singhal, and R. Brayton, Model-checking continuous-time Markov chains, ACM Transactions on Computational Logic, vol.1, issue.1, pp.162-170, 2000.
DOI : 10.1145/343369.343402

C. Baier, J. Katoen, and H. Hermanns, Approximative Symbolic Model Checking of Continuous-Time Markov Chains, Concur '99, pp.146-162, 1999.
DOI : 10.1007/3-540-48320-9_12

L. Bettini, V. Bono, R. De-nicola, G. Ferrari, D. Gorla et al., The Klaim Project: Theory and Practice, Global Computing: Programming Environments, Languages, Security and Analysis of Systems, pp.88-150, 2003.
DOI : 10.1007/978-3-540-40042-4_4

G. Boudol, ULM: a core programming model for global computing: (extended abstract ), Programming Languages and Systems, 13th European Symposium on Programming (ESOP), volume 2986 of Lect, pp.234-248, 2004.

L. Cardelli, A language with distributed scope, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '95, pp.286-297, 1995.
DOI : 10.1145/199448.199516

G. Castagna and J. Vitek, Seal: A framework for Secure Mobile Computations, Internet Programming Languages, pp.47-77, 1999.

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

R. De-nicola, J. Katoen, D. Latella, M. Loreti, and M. Massink, Klaim and its stochastic semantics, Dipartimento di Sistemi e Informatica, 2006.

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

R. , D. Nicola, and M. Loreti, Multiple-Labelled Transition Systems for nominal calculi and their logics, Mathematical Structures in Computer Science, vol.18, issue.1, pp.107-143, 2008.

R. , D. Nicola, and F. Vaandrager, Action versus state based logics for transition systems, Proceedings of LITP Spring School on Theoretical Computer Science, pp.407-419, 1990.

D. Gelernter, Generative communication in Linda, ACM Transactions on Programming Languages and Systems, vol.7, issue.1, pp.80-112, 1985.
DOI : 10.1145/2363.2433

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

G. N. Younes, M. Kwiatkowska, and D. Parker, Numerical vs. statistical probabilistic model checking, International Journal on Software Tools for Technology Transfer, vol.19, issue.3, pp.216-228, 2006.
DOI : 10.1007/s10009-005-0187-8

H. Hermanns, J. Katoen, J. Meyer-kayser, and M. Siegle, A Tool for Model- Checking Markov Chains, International Journal on Software Tools for Technology Transfer, vol.4, issue.2, pp.153-172, 2003.

A. Itai and M. Rodeh, Symmetry breaking in distributed networks, Information and Computation, vol.88, issue.1, 1990.
DOI : 10.1016/0890-5401(90)90004-2
URL : http://doi.org/10.1016/0890-5401(90)90004-2

J. Katoen, M. Khattri, and I. Zapreev, A Markov reward model checker, Second International Conference on the Quantitative Evaluation of Systems (QEST'05), pp.243-244, 2005.
DOI : 10.1109/QEST.2005.2

J. Katoen, M. Khattri, and I. S. Zapreev, A Markov reward model checker, Second International Conference on the Quantitative Evaluation of Systems (QEST'05), pp.243-244, 2005.
DOI : 10.1109/QEST.2005.2

M. Kwiatkowska, G. Norman, and D. Parker, Probabilistic symbolic model checking with PRISM: a hybrid approach, International Journal on Software Tools for Technology Transfer, vol.24, issue.2, pp.128-142, 2004.
DOI : 10.1007/s10009-004-0140-2

P. Quaglia and S. Schivo, Approximate Model Checking of Stochastic COWS, Proc. of TGC 2010, 2010.
DOI : 10.1007/978-3-642-15640-3_22

. Sam, Stochastic analyser for mobility

N. Santoro, Design and Analysis of Distributed Algorithms, 2006.
DOI : 10.1002/0470072644

K. Sen, M. Viswanathan, and G. Agha, Statistical Model Checking of Black-Box Probabilistic Systems, Computer Aided Verification , 16th International Conference Proceedings, pp.202-215, 2004.
DOI : 10.1007/978-3-540-27813-9_16

K. Sen, M. Viswanathan, and G. Agha, On Statistical Model Checking of Stochastic Systems, Computer Aided Verification, 17th International Conference, CAV 2005 Proceedings, pp.266-280, 2005.
DOI : 10.1007/11513988_26