D. Bergamini, N. Descoubes, C. Joubert, and R. Mateescu, BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking, Proc. of TACAS'2005, 2005.
DOI : 10.1007/978-3-540-31980-1_42
URL : https://hal.archives-ouvertes.fr/hal-00685325

J. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier et al., CADP (CAESAR/ALDEBARAN Development Package): A Protocol Validation and Verification Toolbox, Proc. of CAV'96, 1996.

H. Garavel, F. Lang, and R. Mateescu, An Overview of CADP, EASST Newsletter, vol.4, pp.13-24, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00069920

H. Garavel, R. Mateescu, and . Seq, OPEN: A Tool for Efficient Trace-Based Verification, Proc. of SPIN'2004, 2004.

H. Garavel, R. Mateescu, D. Bergamini, A. Curic, N. Descoubes et al., DISTRIBUTOR and BCG MERGE: Tools for Distributed Explicit State Space Generation, Proc. of TACAS'2006, 2006.

H. Garavel and W. Serwe, State space reduction for process algebra specifications, Theoretical Computer Science, vol.351, issue.2, pp.131-145, 2006.
DOI : 10.1016/j.tcs.2005.09.064

H. Hermanns and C. Joubert, A Set of Performance and Dependability Analysis Components for CADP, Proc. of TACAS'2003, 2003.
DOI : 10.1007/3-540-36577-X_30

F. Lang, Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods, Proc. of IFM'2005, 2005.
DOI : 10.1007/11589976_6
URL : https://hal.archives-ouvertes.fr/inria-00070339

F. Lang, Refined Interfaces for Compositional Verification
DOI : 10.1007/3-540-56689-9_54
URL : https://hal.archives-ouvertes.fr/inria-00106312

R. Mateescu, On-the-fly state space reductions for weak equivalences, Proceedings of the 10th international workshop on Formal methods for industrial critical systems , FMICS '05, 2005.
DOI : 10.1145/1081180.1081191

R. Mateescu, . Caesar, and . Solve, CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems, International Journal on Software Tools for Technology Transfer (STTT), pp.37-56, 2006.
DOI : 10.1007/s10009-005-0194-9
URL : https://hal.archives-ouvertes.fr/inria-00084628

R. Mateescu and M. Sighireanu, Efficient on-the-fly model-checking for regular alternation-free mu-calculus, Science of Computer Programming, pp.255-281, 2003.
DOI : 10.1016/S0167-6423(02)00094-1
URL : https://hal.archives-ouvertes.fr/inria-00072755

G. Pace, F. Lang, and R. Mateescu, Calculating ??-Confluence Compositionally, Proc. of CAV'2003, 2003.
DOI : 10.1007/978-3-540-45069-6_41
URL : https://hal.archives-ouvertes.fr/inria-00071661