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. R. Andersen, Partial model checking, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 1995.
DOI : 10.1109/LICS.1995.523274

H. R. Andersen and J. Lind-nielsen, Partial model checking of modal equations: A survey, International Journal on Software Tools for Technology Transfer (STTT), pp.242-259, 1999.
DOI : 10.1007/s100090050032

H. R. Andersen, J. Staunstrup, and N. Maretti, A comparison of modular verification techniques, Proceedings of the 7th International Joint Conference CAAP/FASE, 1997.
DOI : 10.1007/BFb0030625

H. R. Andersen, J. Staunstrup, and N. Maretti, Partial model checking with ROBDDs, Proceedings of the 3rd International Workshop on Tools and Algorithms for Construction and Analysis of Systems TACAS, volume 1217 of Lecture Notes in Computer Science, 1997.
DOI : 10.1007/BFb0035379

A. Arnold, MEC : a system for constructing and analysing transition systems, Proceedings of the 1st Workshop on Automatic Verification Methods for Finite State Systems, 1989.
DOI : 10.1007/3-540-52148-8_11

S. Basu and C. R. Ramakrishnan, Compositional Analysis for Verification of Parameterized Systems, Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS, volume 2619 of Lecture Notes in Computer Science, 2003.

B. Berard and F. Laroussinie, Verification compositionnelle des p-automates, 2003.

N. Bodentien, J. Vestergaard, J. Friis, K. Kristoffersen, and K. Larsen, Verification of State/Event Systems by Quotienting, BRICS Report Series, vol.6, issue.41, 1999.
DOI : 10.7146/brics.v6i41.20111

A. Bouali, A. Ressouche, V. Roy, and R. De-simone, The Fc2Tools set: a Toolset for the Verification of Concurrent Systems, Proceedings of the 8th Conference on Computer-Aided Verification, 1996.

F. Cassez and F. Laroussinie, Model-Checking for Hybrid Systems by Quotienting and Constraints Solving, Proceedings of the 12th International Conference on Computer Aided Verification CAV, 2000.
DOI : 10.1007/10722167_29

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

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.

P. Crouzen and F. Lang, Smart Reduction, Proceedings of Fundamental Approaches to Software Engineering FASE'2011, 2011.
DOI : 10.1007/978-3-642-19811-3_9

URL : https://hal.archives-ouvertes.fr/inria-00572535

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

J. Fernandez and L. Mounier, ???On the fly??? verification of behavioural equivalences and preorders, Proceedings of the 3rd Workshop on Computer-Aided Verification, 1991.
DOI : 10.1007/3-540-55179-4_18

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, . Open, and . Caesar, An Open Software Architecture for Verification, Simulation, and Testing, Proceedings of the First International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'98, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00073337

H. Garavel and H. Hermanns, On Combining Functional Verification and Performance Evaluation Using CADP, Proceedings of the 11th International Symposium of Formal Methods Europe FME'2002, 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, Proceedings of the 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems FORTE'2001. IFIP, 2001.
DOI : 10.1007/0-306-47003-9_24

URL : https://hal.archives-ouvertes.fr/inria-00072396

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes, Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2011, 2011.
DOI : 10.1007/BFb0054166

URL : https://hal.archives-ouvertes.fr/inria-00583776

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2011: a toolbox for the construction and analysis of distributed processes, International Journal on Software Tools for Technology Transfer, vol.1, issue.1/2, pp.89-107, 2013.
DOI : 10.1007/s10009-012-0244-z

URL : https://hal.archives-ouvertes.fr/hal-00715056

H. Garavel and M. Sighireanu, A Graphical Parallel Composition Operator for Process Algebras, Proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification FORTE/PSTV'99. IFIP, 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, Model Checking Software, Proceedings of the 16th International SPIN Workshop on Model Checking of Software SPIN'2009, 2009.
DOI : 10.1007/978-3-540-27813-9_47

URL : https://hal.archives-ouvertes.fr/inria-00388819

S. Graf and B. Steffen, Compositional minimization of finite state systems, Proceedings of the 2nd Workshop on Computer-Aided Verification, 1990.
DOI : 10.1007/BFb0023732

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

I. Iec, Enhancements to LOTOS (E-LOTOS) International Standard 15437, International Organization for Standardization ? Information Technology, 2001.

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

J. Krimm and L. Mounier, Compositional state space generation from Lotos programs, Proceedings of TACAS'97 Tools and Algorithms for the Construction and Analysis of Systems, 1997.
DOI : 10.1007/BFb0035392

F. Lang and . Exp, OPEN 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-the-fly Verification Methods, Proceedings of the 5th International Conference on Integrated Formal Methods IFM'2005, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00070339

F. Lang, Refined Interfaces for Compositional Verification, Proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems FORTE'2006, 2006.
DOI : 10.1007/3-540-56689-9_54

URL : https://hal.archives-ouvertes.fr/inria-00106312

F. Lang and R. Mateescu, Partial Order Reductions Using Compositional Confluence Detection, Lecture Notes in Computer Science, vol.5850, 2009.
DOI : 10.1007/978-3-642-05089-3_11

URL : https://hal.archives-ouvertes.fr/inria-00423583

F. Lang and R. Mateescu, Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems, Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS, 2012.
DOI : 10.1007/978-3-642-28756-5_11

URL : https://hal.archives-ouvertes.fr/hal-00684471

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

F. Laroussinie and K. Larsen, Compositional Model Checking of Real Time Systems, Proceedings of the 6th International Conference on Concurrency Theory CONCUR, 1995.

F. Laroussinie and K. Larsen, CMC: A Tool for Compositional Model-Checking of Real-Time Systems, Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification FORTE/PSTV IFIP Conference Proceedings. Kluwer, 1998.
DOI : 10.1007/978-0-387-35394-4_27

K. Larsen, P. Pettersson, and W. Yi, Compositional and Symbolic Model Checking of Real-Time Systems, Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995.

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

F. Martinelli, Symbolic Partial Model Checking for Security Analysis, Proceedings of the 2nd International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security MMM-ACNS, volume 2776 of Lecture Notes in Computer Science, 2003.
DOI : 10.1007/978-3-540-45215-7_10

R. Mateescu, Efficient Diagnostic Generation for Boolean Equation Systems, Proceedings of 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2000, 2000.
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, 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 (STTT), pp.37-56, 2006.
DOI : 10.1007/s10009-005-0194-9

URL : https://hal.archives-ouvertes.fr/inria-00084628

R. Mateescu and G. Salaün, Translating Pi-Calculus into LOTOS NT, Proceedings of the 8th International Conference on Integrated Formal Methods IFM'2010, 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, Proceedings of the 15th International Symposium on Formal Methods FM'08, number 5014 in Lecture Notes in Computer Science, 2008.
DOI : 10.1007/978-3-540-68237-0_12

URL : https://hal.archives-ouvertes.fr/inria-00315312

G. Pace, F. Lang, and R. Mateescu, Calculating ??-Confluence Compositionally, Proceedings of the 15th International Conference on Computer Aided Verification CAV'2003, 2003.
DOI : 10.1007/978-3-540-45069-6_41

URL : https://hal.archives-ouvertes.fr/inria-00071661

J. Queille and J. Sifakis, Fairness and related properties in transition systems ? a temporal logic to deal with fairness, Acta Informatica, vol.19, issue.3, pp.195-220, 1983.
DOI : 10.1007/BF00265555

R. Streett, Propositional Dynamic Logic of looping and converse, Proceedings of the thirteenth annual ACM symposium on Theory of computing , STOC '81, pp.121-141, 1982.
DOI : 10.1145/800076.802492

P. Wolper, A Translation from Full Branching Time Temporal Logic to One Letter Propositional Dynamic Logic with Looping, 1982.