P. A. Abdulla, G. Delzanno, N. B. Henda, and &. A. Rezine, Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems), pp.721-736, 2007.
DOI : 10.1007/978-3-540-71209-1_56

A. Arnold, Finite transition systems Semantics of communicating sytems, 1994.

A. Arnold, Nivat's processes and their synchronization, Theoretical Computer Science, vol.281, issue.1-2, pp.31-36, 2002.
DOI : 10.1016/S0304-3975(02)00006-3
URL : http://doi.org/10.1016/s0304-3975(02)00006-3

L. Baduel, F. Baude, and &. D. Caromel, Asynchronous Typed Object Groups for Grid Programming, International Journal of Parallel Programming, vol.17, issue.4, pp.573-614, 2007.
DOI : 10.1007/s10766-007-0044-3

T. Barros, R. Ameur-boulifa, A. Cansado, L. Henrio, and &. E. Madelaine, Behavioural models for distributed Fractal components, annals of telecommunications - annales des t??l??communications, vol.5, issue.1, pp.25-43, 2009.
DOI : 10.1007/s12243-008-0069-7
URL : https://hal.archives-ouvertes.fr/inria-00268965

T. Barros, R. Boulifa, and &. E. Madelaine, Parameterized Models for Distributed Java Objects, International Conference on Formal Techniques for Networked and Distributed Systems FORTE'04, 2004.
DOI : 10.1007/978-3-540-30232-2_4
URL : https://hal.archives-ouvertes.fr/inria-00087222

J. A. Bergstra, A. Ponse, and &. S. Smolka, Handbook of Process Algebra. North-Holland, 2001.

B. Berthomieu, J. P. Bodeveix, P. Farail, M. Filali, H. Garavel et al., Fiacre: an Intermediate Language for Model Verification in the Topcased Environment, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00262442

B. Berthomieu, J. P. Bodeveix, M. Filali, H. Garavel, F. Lang et al., ): The syntax and semantics of Fiacre, 2007.

A. Bouajjani, B. Jonsson, M. Nilsson, and &. Touili, Regular Model Checking, pp.403-418, 2000.
DOI : 10.1007/10722167_31
URL : https://hal.archives-ouvertes.fr/hal-00159512

A. Cansado and &. E. Madelaine, Specification and Verification for Grid Component-Based Applications: From Models to Tools, pp.180-203, 2008.
DOI : 10.1007/11589976_6

E. M. Clarke, O. Grumberg, and &. S. Jha, Verifying parameterized networks, ACM Transactions on Programming Languages and Systems, vol.19, issue.5, pp.726-750, 1997.
DOI : 10.1145/265943.265960
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.8852

E. M. Clarke, &. M. Talupur, and . Veith, Environment Abstraction for Parameterized Verification, pp.126-141, 2006.
DOI : 10.1007/11609773_9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.5154

M. Dwyer, G. S. Avrunin, &. James, and C. Corbett, Property Specification Patterns for Finite- State Verification, Proceedings of the Second Workshop on Formal Methods in Software Practice, pp.7-15, 1998.
DOI : 10.1145/298595.298598
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.198

E. , A. Emerson, &. Kedar, and S. Namjoshi, Reasoning about rings, POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.85-94, 1995.
DOI : 10.1145/199448.199468

E. , A. Emerson, R. J. Trefler, and T. Wahl, Reducing Model Checking of the Few to the One, In: ICFEM, pp.94-113, 2006.

E. A. Emerson and &. S. Namjoshi, Automatic verification of parameterized synchronous systems, Information Processing Letters, 8th International Conference on Computer Aided Verification, CAV'96, pp.22307-309, 1996.
DOI : 10.1007/3-540-61474-5_60

H. Garavel and &. G. Serwe, State space reduction for process algebra specifications, Theorical Computer Science, vol.351, issue.2, 2006.

A. J. Hu, R. Li, X. Shi, &. Son, and T. Vuong, Model-Checking a Secure Gorup Communication Protocol: A Case Study, pp.469-478, 1999.

A. Kup?ys, S. Pleisch, A. Schiper, and M. Wiesmann, Towards JMS compliant group communication a semantic mapping, Third IEEE International Symposium on Network Computing and Applications, 2004. (NCA 2004). Proceedings., 2004.
DOI : 10.1109/NCA.2004.1347770

M. Kwiatkowska and &. G. Norman, Verifying Randomized Byzantine Agreement, FORTE (LNCS 2529), pp.194-209, 2002.
DOI : 10.1007/3-540-36135-9_13
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.5971

M. Layouni, J. Hooman, and &. S. Tahar, On the Correctness of an Intrusion-Tolerant Group Communication Protocol, pp.231-246, 2003.
DOI : 10.1007/978-3-540-39724-3_21

D. Lesens and &. H. Sa¨?disa¨?di, Abstraction of parameterized networks, Electronic Notes in Theoretical Computer Science, vol.9, 1997.
DOI : 10.1016/S1571-0661(05)80429-3

M. Baker and M. Li, The Grid: Core Technologies, 2005.

M. Massink, J. Katoen, and &. D. Latella, Model checking dependability attributes of wireless group communication, International Conference on Dependable Systems and Networks, 2004, p.711, 2004.
DOI : 10.1109/DSN.2004.1311942

R. Milner, Communication and Concurrency, 1989.

A. Pnueli and &. E. Shahar, Liveness and Acceleration in Parameterized Verification, pp.328-343, 2000.
DOI : 10.1007/10722167_26

A. Schiper, Dynamic group communication, Distributed Computing, vol.22, issue.4, pp.359-374, 2006.
DOI : 10.1007/s00446-005-0129-4

A. , P. Sistla, and &. V. Gyuris, Parameterized Verification of Linear Networks using Automata as Invariants, Formal Asp. Comput, vol.11, issue.4, pp.402-425, 1999.