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

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. Blom, Partial ? -confluence for Efficient State Space Generation, 2001.

S. Blom and J. Van, State Space Reduction by Proving Confluence, Proc. of CAV'02, 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???, Euro Summer School on Trends in Computer Science, 2001.
DOI : 10.1007/3-540-44667-2_10

X. Du, S. A. Smolka, and R. Cleaveland, Local model checking and protocol analysis, International Journal on Software Tools for Technology Transfer (STTT), vol.2, issue.3, pp.219-241, 1999.
DOI : 10.1007/s100090050031

H. Garavel, /. Open, and . Caesar, An open software architecture for verification, simulation, and testing, Proc. of TACAS'98, pp.68-84, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00073337

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP??2006: A Toolbox for the Construction and Analysis of Distributed Processes, Proc. of 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, Proc. of TACAS, pp.445-449, 2006.

P. Godefroid, Using partial orders to improve automatic verification methods, Proc. of CAV'90, pp.321-340, 1990.
DOI : 10.1007/BFb0023731

J. Groote and J. , State Space Reduction Using Partial ??-Confluence, Proc. of MFCS'2000, pp.383-393, 2000.
DOI : 10.1007/3-540-44612-5_34

J. Groote and M. 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. Kleene, Introduction to Metamathematics, 1952.

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

R. Mateescu, Efficient Diagnostic Generation for Boolean Equation Systems, Proc. of TACAS'2000, pp.251-265
DOI : 10.1007/3-540-46419-0_18
URL : https://hal.archives-ouvertes.fr/inria-00072795

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, International Journal on Software Tools for Technology Transfer, vol.8, issue.1, pp.37-56, 2006.
DOI : 10.1007/s10009-005-0194-9
URL : https://hal.archives-ouvertes.fr/inria-00084628

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

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 A. Wijs, Efficient On-the-Fly Computation of Weak Tau- Confluence, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00407381

G. Pace, F. Lang, and R. Mateescu, Calculating ??-Confluence Compositionally, Proc. of CAV'2003 volume 2725 of LNCS, pp.446-459
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, Proc. of CAV'98, pp.17-28, 1998.
DOI : 10.1007/BFb0028727

U. Stern and D. Dill, Parallelizing the Mur?? verifier, Proc. of CAV'97, 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

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

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

M. Ying, Weak confluence and ??-inertness, Theoretical Computer Science, vol.238, issue.1-2, pp.555-600, 2000.
DOI : 10.1016/S0304-3975(99)00084-5