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

H. Beki´cbeki´c, Definable operations in general algebras, and the theory of automata and flowcharts, Lecture Notes in Computer Science, vol.177, pp.30-55
DOI : 10.1007/BFb0048939

J. C. Bradfield and C. Stirling, Modal Logics and mu-Calculi: An Introduction, Handbook of Process Algebra, pp.293-330, 2001.
DOI : 10.1016/B978-044482830-9/50022-9

E. Clarke, O. Grumberg, and D. Peled, Model Checking, 2000.

R. Cleaveland, M. Klein, and B. Steffen, Faster model checking for the modal Mu-Calculus, Proceedings of the 4th International Workshop on Computer Aided Verification CAV '92, pp.410-422, 1992.
DOI : 10.1007/3-540-56496-9_32

R. Cleaveland and B. Steffen, A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus, Formal Methods in System Design, pp.121-147, 1993.

F. Dietrich, X. Logean, S. Koppenhoefer, and J. Hubaux, Testing Temporal Logic Properties in Distributed Systems, Proceedings of the 11th International Workshop on Testing of Communicating Systems IWTCS'98, pp.247-262, 1998.
DOI : 10.1007/978-0-387-35381-4_15

X. Du, S. A. Smolka, and R. Cleaveland, Local model checking and protocol analysis, International Journal on Software Tools for Technology Transfer (STTT), pp.219-241, 1999.
DOI : 10.1007/s100090050031
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.7380

M. Ducassé, Opium: an extendable trace analyzer for Prolog, The Journal of Logic Programming, vol.39, issue.1-3, pp.177-224, 1999.
DOI : 10.1016/S0743-1066(98)10036-5

E. A. Emerson and C. Lei, Efficient Model Checking in Fragments of the Propositional Mu-Calculus, Proceedings of the 1st LICS, pp.267-278, 1986.

J. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier et al., CADP (CAESAR/ALDEBARAN Development Package): A Protocol Validation and Verification Toolbox, Rajeev Alur and Methods for Industrial Critical Systems FMICS'2000 GMD Report 91, pp.65-86, 2000.

P. Stevens and C. Stirling, Practical model-checking using games, Proceedings of the First International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'98, pp.85-101, 1998.
DOI : 10.1007/BFb0054166

C. Stirling, Modal and Temporal Properties of Processes, 2001.
DOI : 10.1007/978-1-4757-3550-5

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

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

I. Walukiewicz, A Complete Deductive System for the mu-Calculus, Proceedings of the International Conference on Logic in Computer Science LICS'93, pp.136-147, 1993.
DOI : 10.7146/brics.v2i6.19508

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-l` es-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche, 2004.

I. Editeur and . De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399