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

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

B. Berthomieu, J. Bodeveix, P. Farail, M. Filali, H. Garavel et al., Fiacre: An Intermediate Language for Model Verification in the Topcased Environment, ERTS, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00262442

S. Blom and S. Orzan, Distributed state space minimization, International Journal on Software Tools for Technology Transfer, vol.19, issue.3, pp.280-291, 2005.
DOI : 10.1007/s10009-004-0185-2

D. Champelovier, X. Clerc, H. Garavel, Y. Guerte, C. Mckinty et al., Reference Manual of the Lotos NT to Lotos Translator (Version 5.1). Tech, 2010.

R. Chossart, ´ Evaluation d'outils de vérification pour les spécifications de systèmes d'information. Mémoire ma??trèma??trè es sciences, 2010.

R. Cleaveland, T. Li, and S. Sims, The Concurrency Workbench of the New Century (Version 1.2). User's manual, 2000.

R. Cleaveland, J. Parrow, and B. Steffen, The concurrency workbench, the 1st Workshop on Automatic Verification Methods for Finite State Systems, LNCS 407, 1989.
DOI : 10.1007/3-540-52148-8_3

N. Coste, H. Garavel, H. Hermanns, F. Lang, R. Mateescu et al., Ten Years of Performance Evaluation for Concurrent Systems Using CADP, ISoLA, 2010.
DOI : 10.1007/978-3-642-16561-0_18
URL : https://hal.archives-ouvertes.fr/inria-00532914

D. D. Deavours and W. H. Sanders, An efficient well-specified check, Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331), 1999.
DOI : 10.1109/PNPM.1999.796559

J. Fernandez, ALDEBARAN : un système de vérification par réduction de processus communicants, Thèse de Doctorat, 1988.

J. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier et al., Cadp (Caesar/Aldébaran Development Package): A Protocol Validation and Verification Toolbox, CAV, LNCS 1102, 1996.

J. Fernandez and L. Mounier, ???On the fly??? verification of behavioural equivalences and preorders, CAV, LNCS 575, 1991.
DOI : 10.1007/3-540-55179-4_18

H. Garavel, Compilation et vérification de programmes Lotos, Thèse de Doctorat, 1989.

H. Garavel, Compilation of Lotos Abstract Data Types, 1989.

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

H. Garavel, Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular, LIX Colloquium on Emerging Trends in Concurrency Theory, ENTCS 209, 2008.
DOI : 10.1016/j.entcs.2008.04.009
URL : https://hal.archives-ouvertes.fr/inria-00191141

H. Garavel and F. Lang, SVL: A Scripting Language for Compositional Verification, 2001.
DOI : 10.1007/0-306-47003-9_24
URL : https://hal.archives-ouvertes.fr/inria-00072396

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, F. Lang, R. Mateescu, and W. Serwe, CADP??2006: A Toolbox for the Construction and Analysis of Distributed Processes, CAV, LNCS 4590, 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.

H. Garavel, R. Mateescu, and I. Smarandache, Parallel state space construction for model-checking, SPIN, LNCS 2057, 2001.
DOI : 10.1007/3-540-45139-0_14
URL : https://hal.archives-ouvertes.fr/inria-00072247

H. Garavel, G. Salaün, and W. Serwe, On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP, Science of Computer Programming, vol.74, issue.3, pp.100-127, 2009.
DOI : 10.1016/j.scico.2008.09.011
URL : https://hal.archives-ouvertes.fr/inria-00381642

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. Garavel and J. Sifakis, Compilation and Verification of Lotos Specifications, PSTV. IFIP, 1990.

H. Garavel and M. Sighireanu, A Graphical Parallel Composition Operator for Process Algebras, 1999.
DOI : 10.1007/978-0-387-35578-8_11

H. Garavel and D. Thivolle, Verification of GALS Systems by Combining Synchronous Languages and Process Calculi, SPIN, LNCS 5578, 2009.
DOI : 10.1007/978-3-540-27813-9_47
URL : https://hal.archives-ouvertes.fr/inria-00388819

H. Garavel, P. Turlier, and . Caesar, adt : un compilateur pour les types abstraits algébriques du langage Lotos, Actes du CFIP, 1993.

C. Helmstetter and . Tlm, Open: a SystemC/Tlm Front-End for the Cadp Verification Toolbox
URL : https://hal.archives-ouvertes.fr/hal-00429070

C. Helmstetter and O. Ponsini, A Comparison of Two SystemC/TLM Semantics for Formal Verification, 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design, 2008.
DOI : 10.1109/MEMCOD.2008.4547687
URL : https://hal.archives-ouvertes.fr/inria-00275456

H. Hermanns, Interactive Markov Chains and the Quest for Quantified Quality, LNCS 2428, 2002.

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

G. J. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, 2003.
DOI : 10.1109/32.588521

I. Iec, Lotos ? A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, 35. ISO/IEC. Enhancements to Lotos (E-Lotos). International Standard 15437, 1989.

A. M. Khan, Connection of Compositional Verification Tools for Embedded Systems, Mémoire master 2 recherche, 2006.

F. Lang and . Exp, Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-the-fly Verification Methods, IFM, LNCS 3771, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00070339

F. Lang, G. Salaün, R. Hérilier, J. Kramer, and J. Magee, Translating FSP into LOTOS and networks of automata, Formal Aspects of Computing, vol.1, issue.2, pp.681-711, 2010.
DOI : 10.1007/s00165-009-0133-8
URL : https://hal.archives-ouvertes.fr/hal-00533808

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

J. Magee and J. Kramer, Concurrency: State Models and Java Programs, 2006.

R. Mateescu, Vérification des propriétés temporelles des programmesparalì eles, Thèse de Doctorat, 1998.

R. Mateescu, Efficient Diagnostic Generation for Boolean Equation Systems, TACAS, LNCS 1785, 2000.
DOI : 10.1007/3-540-46419-0_18
URL : https://hal.archives-ouvertes.fr/inria-00072795

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 H. Garavel, Xtl: A Meta-Language and Tool for Temporal Logic Model-Checking, STTT. BRICS, 1998.

R. Mateescu and G. Salaün, Translating Pi-Calculus into LOTOS NT, IFM, LNCS 6396, 2010.
DOI : 10.1007/s10009-003-0136-3
URL : https://hal.archives-ouvertes.fr/inria-00524586

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 D. Thivolle, A Model Checking Language for Concurrent Value-Passing Systems, FM, LNCS 5014, 2008.
DOI : 10.1007/978-3-540-68237-0_12
URL : https://hal.archives-ouvertes.fr/inria-00315312

O. Ponsini, C. Fédèle, and E. Kounalis, Rewriting of imperative programs into logical equations, Science of Computer Programming, vol.56, issue.3, pp.363-401, 2005.
DOI : 10.1016/j.scico.2004.10.001

O. Ponsini and W. Serwe, A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS, FM, LNCS 5014, 2008.
DOI : 10.1007/978-3-540-68237-0_20
URL : https://hal.archives-ouvertes.fr/inria-00259944

S. Schewe, Solving parity games in big steps, FSTTCS, LNCS 4855, 2007.
DOI : 10.1016/j.jcss.2016.10.002

P. Stevens and C. Stirling, Practical model-checking using games, TACAS, LNCS 1384, 1998.
DOI : 10.1007/BFb0054166

D. Thivolle, Langages modernes pour la vérification des systèmes asynchrones, 2011.