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

G. Batt, D. Bergamini, H. Hidde-de-jong, R. Garavel, and . Mateescu, Model Checking Genetic Regulatory Networks Using GNA and CADP, Proc. of the 11 th Int. SPIN Workshop on Model Checking of Software SPIN, pp.156-161, 2004.
DOI : 10.1007/978-3-540-24732-6_12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.114.7325

G. Behrmann, A. David, and K. G. Larsen, A Tutorial on Uppaal, Proc. of the 4 th Int. School on Formal Methods for the Design of Computer, Communication, and Software Systems SFM-RT'04, pp.200-236, 2004.
DOI : 10.1007/978-3-540-30080-9_7

D. Bergamini, N. Descoubes, C. Joubert, and R. Mateescu, BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking, Proc. of the 11 th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2005, pp.581-585, 2005.
DOI : 10.1007/978-3-540-31980-1_42
URL : https://hal.archives-ouvertes.fr/hal-00685325

B. Berthomieu, F. Peres, and F. Vernadat, Time Petri Nets- Analysis Methods and Verification with TINA, Modeling and Verification of Real-Time Systems ? Formalisms and Software Tools, chapter 1, pp.19-50, 2008.
DOI : 10.1002/9780470611012.ch1

E. Bortnik, N. Trcka, A. J. Wijs, S. P. Luttik, J. M. Van-de-mortel-fronczak et al., Analyzing a ?? model of a turntable system using Spin, CADP and Uppaal, The Journal of Logic and Algebraic Programming, vol.65, issue.2, pp.51-104, 2005.
DOI : 10.1016/j.jlap.2005.05.001

V. Bos and J. J. Kleijn, Formal Specification and Analysis of Industrial Systems, 2002.

M. Bozga, S. Graf, L. Mounier, and I. Ober, Modeling and Verification of Real-Time Systems using the IF Toolset, Modeling and Verification of Real-Time Systems ? Formalisms and Software Tools, chapter 10, pp.319-352, 2008.
DOI : 10.1002/9780470611012.ch10

S. D. Brookes, C. A. Hoare, and A. W. Roscoe, A Theory of Communicating Sequential Processes, Journal of the ACM, vol.31, issue.3, pp.560-599, 1984.
DOI : 10.1145/828.833

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in Property Specifications for Finite-State Verification, Proc. of the 21 st Int. Conference on Software Engineering ICSE'99, pp.411-420, 1999.

H. Ehrig and B. Mahr, Fundamentals of Algebraic Specification 1 ? Equations and Initial Semantics, EATCS Monographs on Theoretical Computer Science, vol.6, 1985.

M. J. Fischer and R. E. Ladner, Propositional dynamic logic of regular programs, Journal of Computer and System Sciences, vol.18, issue.2, pp.194-211, 1979.
DOI : 10.1016/0022-0000(79)90046-1

H. Garavel, Compilation of LOTOS Abstract Data Types

H. Garavel, . Open, and . Caesar, OPEN/C??SAR: An open software architecture for verification, simulation, and testing, Proc. of the First Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'98, pp.68-84, 1998.
DOI : 10.1007/BFb0054165

H. Garavel and H. Hermanns, On Combining Functional Verification and Performance Evaluation Using CADP, Proc. of the 11 th Int. Symposium of Formal Methods Europe FME'2002, pp.410-429, 2002.
DOI : 10.1007/3-540-45614-7_23
URL : https://hal.archives-ouvertes.fr/inria-00072096

H. Garavel and F. Lang, SVL: A Scripting Language for Compositional Verification, Proc. of the 21 st IFIP WG 6.1 Int. Conference on Formal Techniques for Networked and Distributed Systems FORTE'2001, pp.377-392, 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 European Association for Software Science and Technology (EASST) Newsletter, pp.13-24, 2001.

H. Garavel, R. Mateescu, D. Bergamini, A. Curic, N. Descoubes et al., Tools for Distributed Explicit State Space Generation, Proc. of the 12 th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS Lecture Notes in Computer Science, 2006.

H. Garavel, R. Mateescu, and I. Smarandache, Parallel state space construction for model-checking, Proc. of the 8 th Int. SPIN Workshop on Model Checking of Software SPIN, pp.217-234, 2001.
DOI : 10.1007/3-540-45139-0_14
URL : https://hal.archives-ouvertes.fr/inria-00072247

H. Garavel and J. Sifakis, Compilation and Verification of LOTOS Specifications, Proc. of the 10 th Int. Symposium on Protocol Specification, Testing and Verification, pp.379-394, 1990.

J. Friso-groote, The Syntax and Semantics of Timed muCRL, 1997.

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

I. Iec, LOTOS ? A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, Int. Organization for Standardization ? Information Processing Systems ? Open Systems Interconnection, 1989.

C. Joubert and R. Mateescu, Distributed On-the-Fly Equivalence Checking, Proc. of the 3 rd Int. Workshop on Parallel and Distributed Methods in Verification PDMC, 2004.
DOI : 10.1016/j.entcs.2004.10.018

C. Joubert and R. Mateescu, Distributed Local Resolution of Boolean Equation Systems, 13th Euromicro Conference on Parallel, Distributed and Network-Based Processing, pp.264-271, 2005.
DOI : 10.1109/EMPDP.2005.19
URL : https://hal.archives-ouvertes.fr/hal-00683892

D. Kozen, Results on the Propositional ??-Calculus, DAIMI Report Series, vol.11, issue.146, pp.333-354, 1983.
DOI : 10.7146/dpb.v11i146.7420

F. Lang and . Exp, Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods, Proc. of the 5 th Int. Conference on Integrated Formal Methods IFM'2005, pp.70-88, 2005.
DOI : 10.1007/11589976_6
URL : https://hal.archives-ouvertes.fr/inria-00070339

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

R. Mateescu, A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems, Proc. of the 9 th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2003, pp.81-96, 2003.
DOI : 10.1007/3-540-36577-X_7
URL : https://hal.archives-ouvertes.fr/inria-00071875

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, 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, 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 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. Milner, Communication and Concurrency, 1989.

R. De, N. , and F. W. Vaandrager, Action versus State Based Logics for Transition Systems, Semantics of Systems of Concurrent Processes, pp.407-419, 1990.

G. Pace, F. Lang, and R. Mateescu, Calculating ??-Confluence Compositionally, Proc. of the 15 th Int. Conference on Computer Aided Verification CAV'2003, pp.446-459, 2003.
DOI : 10.1007/978-3-540-45069-6_41
URL : https://hal.archives-ouvertes.fr/inria-00071661

P. Raymond, Synchronous Program Verification with Lustre/Lesar, Modeling and Verification of Real-Time Systems ? Formalisms and Software Tools, chapter 6, pp.171-206, 2008.
DOI : 10.1002/9780470611012.ch6

G. Salaün and W. Serwe, Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS, Proc. of the 5 th Int. Conference on Integrated Formal Methods IFM'2005, pp.287-306, 2005.
DOI : 10.1007/11589976_17

R. R. Schiffelers, D. A. Van-beek, K. L. Man, M. A. Reniers, and J. E. Rooda, Formal Semantics of Hybrid Chi, Proc. of the 1 st Int. Workshop on Formal Modeling and Analysis of Timed Systems FOR- MATS'03 volume 2791 of Lecture Notes in Computer Science, pp.151-165, 2003.
DOI : 10.1007/978-3-540-40903-8_12