. Ltsmin, Minimization and Instantiation of LAbelled Transition Systems

R. Ameur-boulifa, L. Henrio, and É. Madelaine, Behavioural Models for Group Communications, proceedings of the International Workshop on Component and Service Interoperability, WICS'10, 2010.
DOI : 10.4204/EPTCS.37.4

URL : https://hal.archives-ouvertes.fr/inria-00493692

T. Barros, R. 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, 2009.
DOI : 10.1007/s12243-008-0069-7

URL : https://hal.archives-ouvertes.fr/inria-00268965

B. Berthomieu, J. Bodeveix, M. Filali, H. Garavel, F. Lang et al., The syntax and semantics of Fiacre, Rapport LAAS #07264 Rapport de Contrat Projet ANR05RNTL03101 OpenEmbeDD, 2007.

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

A. Cansado, E. Madelaine, and P. Valenzuela, VCE: A Graphical Tool for Architectural Definitions of GCM Components, 5th workshop on Formal Aspects of Component Systems (FACS'08), 2008.

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

F. Lang, H. Garavel, and R. Mateescu, Cadp 2006: A toolbox for the construction and analysis of distributed processes, CAV'07, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00189021