H. R. Andersen, Model checking and boolean graphs, Theoretical Computer Science, vol.126, issue.1, pp.3-30, 1994.
DOI : 10.1016/0304-3975(94)90266-6
URL : http://dx.doi.org/10.1016/0304-3975(94)90266-6

A. Arnold and P. Crubillé, A linear algorithm to solve fixed-point equations on transition systems, Information Processing Letters, vol.29, issue.2, pp.57-66, 1988.
DOI : 10.1016/0020-0190(88)90029-4

S. C. Blom, Partial ? -confluence for Efficient State Space Generation, CWI, 2001.

S. C. Blom, J. C. Pol, and . Van-de, State Space Reduction by Proving Confluence, CAV 2002, pp.596-609, 2002.
DOI : 10.1007/3-540-45657-0_50

G. Ciardo, Distributed and Structured Analysis Approaches to Study Large and Complex Systems???, First EFF/Euro Summer School on Trends in Computer Science, pp.344-374, 2001.
DOI : 10.1007/3-540-44667-2_10
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.1610

H. Garavel, OPEN/C??SAR: An open software architecture for verification, simulation, and testing, TACAS 1998, pp.68-84
DOI : 10.1007/BFb0054165

H. Springer, Full version available as INRIA Research, 1998.

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP??2006: A Toolbox for the Construction and Analysis of Distributed Processes, CAV 2007, pp.158-163, 2007.
DOI : 10.1007/978-3-540-73368-3_18
URL : https://hal.archives-ouvertes.fr/inria-00189021

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

P. Godefroid, Using partial orders to improve automatic verification methods, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pp.321-340, 1990.
DOI : 10.1007/BFb0023731

J. F. Groote, J. C. Pol, and . Van-de, State Space Reduction Using Partial ??-Confluence, MFCS 2000, pp.383-393, 2000.
DOI : 10.1007/3-540-44612-5_34
URL : http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=660478

J. F. Groote and M. P. Sellink, Confluence for process verification, Theoretical Computer Science, vol.170, issue.1-2, pp.47-81, 1996.
DOI : 10.1016/S0304-3975(96)80702-X

G. Holzmann, The SPIN Model Checker ? Primer and Reference Manual, 2003.

S. C. Kleene, Introduction to Metamathematics, 1952.

A. Mader, Verification of Modal Properties Using Boolean Equation Systems, 1997.

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, pp.80-89, 2005.
DOI : 10.1145/1081180.1081191

R. Mateescu, CAESAR SOLVE: A Generic Library for On-the-Fly Resolution of Alternation-Free Boolean Equation Systems, pp.37-56, 2006.
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, vol.46, issue.3, pp.255-281, 2003.
DOI : 10.1016/S0167-6423(02)00094-1
URL : https://hal.archives-ouvertes.fr/inria-00072755

R. Mateescu and E. Oudot, Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems, SPIN 2008, pp.196-213, 2008.
DOI : 10.1007/978-3-540-85114-1_15
URL : https://hal.archives-ouvertes.fr/inria-00347627

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

D. Peled, Ten years of partial order reduction, CAV 1998, pp.17-28, 1998.
DOI : 10.1007/BFb0028727

U. Stern and D. Dill, Parallelizing the Mur?? verifier, CAV 1997, pp.256-267, 1997.
DOI : 10.1007/3-540-63166-6_26

R. E. Tarjan, Depth-First Search and Linear Graph Algorithms, SIAM Journal on Computing, vol.1, issue.2, pp.146-160, 1972.
DOI : 10.1137/0201010
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.327.8418

B. Vergauwen and J. Lewi, Efficient local correctness checking for single and alternating boolean equation systems, ICALP 1994, pp.304-315, 1994.
DOI : 10.1007/3-540-58201-0_77

A. Tarski, A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics, vol.5, issue.2, pp.440-468, 1955.
DOI : 10.2140/pjm.1955.5.285

M. Ying, Weak confluence and ? -inertness INRIA INRIA Centre de recherche INRIA Grenoble ? Rhône-Alpes Inovallée, Theoretical Computer Science, vol.43, issue.655, pp.555-600, 2000.

I. Centre-de-recherche and . Futurs, 4, rue Jacques Monod -Bât. G -91893 Orsay Cedex (France) Centre de recherche INRIA Nancy ? Grand Est : 615, rue du Jardin Botanique -54600 Villers-lès-Nancy (France) Centre de recherche INRIA Rennes ? Bretagne Atlantique : Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Centre de recherche INRIA Paris ? Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Centre de recherche, 2004.