R. De-simone, A. Ressouche, A. Bouali, and V. Roy, The FC2Tool user manuel, 1994.

J. Adamek, Static analysis of component systems using behavior protocols, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications , OOPSLA '03, pp.116-117, 2003.
DOI : 10.1145/949344.949378

J. Adamek and F. Plasil, Component composition errors and update atomicity: static analysis, Journal of Software Maintenance and Evolution: Research and Practice, vol.28, issue.5, 2004.
DOI : 10.1002/smr.321
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.9959

R. Allen and D. Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, pp.213-249, 1997.
DOI : 10.1145/258077.258078
URL : https://hal.archives-ouvertes.fr/hal-00444067

J. C. Baeten-andw and . Weijland, Process Algebra, 1990.

A. Arnold, Finite transition systems: semantics of communicating systems, 1994.

A. Arnold, Nivat's processes and their synchronization, Theoretical Computer Science, vol.281, issue.1-2, pp.31-36, 2002.
DOI : 10.1016/S0304-3975(02)00006-3
URL : http://doi.org/10.1016/s0304-3975(02)00006-3

I. Attali, T. Barros, and E. Madelaine, Formalisation and proofs of the Chilean electronic invoices system, XXIV International Conference of the Chilean Computer Science Society, pp.14-25, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00087210

I. Attali, D. Caromel, and R. Guider, A Step Toward Automatic Distribution of Java Programs, 2000.
DOI : 10.1145/960112.28730

B. Austry, Alg??bre de processus et synchronisation, Theoretical Computer Science, vol.30, issue.1, 1984.
DOI : 10.1016/0304-3975(84)90067-7
URL : http://doi.org/10.1016/0304-3975(84)90067-7

L. M. Barroca and J. A. Mcdermid, Formal Methods: Use and Relevance for the Development of Safety-Critical Systems, The Computer Journal, vol.35, issue.6, pp.579-599, 1992.
DOI : 10.1093/comjnl/35.6.579

T. Barros, R. Boulifa, and E. Madelaine, Parameterized Models for Distributed Java Objects, LNCS, vol.3235, 2004.
DOI : 10.1007/978-3-540-30232-2_4
URL : https://hal.archives-ouvertes.fr/inria-00087222

T. Barros, L. Henrio, and E. Madelaine, Behavioural Models for Hierarchical Components, Model Checking Software, 12th International SPIN Workshop, volume LNCS 3639, pp.154-168, 2005.
DOI : 10.1007/11537328_14
URL : https://hal.archives-ouvertes.fr/inria-00122933

T. Barros, L. Henrio, and E. Madelaine, Behavioural Models for Hierarchical Components, 2005.
DOI : 10.1007/11537328_14
URL : https://hal.archives-ouvertes.fr/inria-00122933

T. Barros, L. Henrio, and E. Madelaine, Verification of Distributed Hierarchical Components, International Workshop on Formal Aspects of Component Software (FACS'05), 2005.
DOI : 10.1016/j.entcs.2006.05.014
URL : https://hal.archives-ouvertes.fr/inria-00122926

T. Barros and E. Madelaine, Formal description and analysis for distributed systems, Doctoral Symposium at IFM'04, 2004.

T. Barros and E. Madelaine, Formalisation and proofs of the Chilean electronic invoices system, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00087210

G. Batt, D. Bergamini, H. Jong, H. Garavel, and R. Mateescu, Model Checking Genetic Regulatory Networks Using GNA and CADP, SPIN, pp.158-163, 2004.
DOI : 10.1007/978-3-540-24732-6_12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.114.7325

F. Baude, D. Caromel, F. Huet, and J. Vayssì-ere, Objets actifs mobiles et communicants . Technique et science informatiques, pp.1-26, 2000.

F. Baude, D. Caromel, M. Morel, D. Bergamini, N. Descoubes et al., From distributed objects to hierarchical grid components BISIMULATOR: A modular tool for on-the-fly equivalence checking, International Symposium on Distributed Objects and Applications (DOA), Catania, Sicily TACAS, pp.581-585, 2003.

J. A. Bergstra and J. W. Klop, Process algebra for synchronous communication, Information and Control, vol.60, issue.1-3, pp.109-137, 1984.
DOI : 10.1016/S0019-9958(84)80025-X

J. A. Bergstra and J. W. Klop, Algebra of communicating processes with abstraction, Theoretical Computer Science, vol.37, issue.37, pp.77-121, 1985.
DOI : 10.1016/0304-3975(85)90088-X

J. A. Bergstra, A. Pose, and S. A. Smolka, Handbook of Process Algebra, 2001.

M. Blair, S. Obenski, and P. Bridickas, Patriot missile defense: Software problem led to system failure at dhahran, 1992.

R. E. Bloomfield and D. Craigen, Formal Methods Diffusion: Past Lessons and Future Prospects, Bundesamt für Sicherheit in der Informationstechnik, 1999.
DOI : 10.1007/3-540-40891-6_19

A. Bouali, A. Ressouche, V. Roy, and R. De-simone, The FC2Tools set, Computer Aided Verification (CAV'94), 1994.

R. Boulifa, Génération de Modèles Comportementaux des Applications Réparties, 2004.

R. Boulifa and E. Madelaine, Preuve de propriétés de comportement de programmes proactive, 2002.

R. Boulifa and E. Madelaine, Finite model generation for distributed Java programs, Workshop on Model-Checking for Dependable Software-Intensive Systems, 2003.
DOI : 10.1007/978-3-540-24639-8_13

R. Boulifa and E. Madelaine, Model Generation for Distributed Java Programs, Workshop on Scientific Engineering of Distributed Java ApplIcations, 2003.
DOI : 10.1007/978-3-540-24639-8_13

R. Breu, U. Hinkel, C. Hofmann, C. Klein, B. Paech et al., Towards a formalization of the Unified Modeling Language, ECOOP'97 ? Object-Oriented Programming, 11th European Conference, pp.344-366, 1997.
DOI : 10.1007/BFb0053386

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.31560-599, 1984.
DOI : 10.1145/828.833

E. Bruneton, T. Coupaye, and J. Stefani, Recursive and dynamic software composition with sharing, Proceedings of the 7th ECOOP International Workshop on Component-Oriented Programming (WCOP'02), 2002.

R. E. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-691, 1986.
DOI : 10.1109/TC.1986.1676819
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.4027

A. Fantechi, C. Carrez, and E. Najm, Behavioural contracts for a sound assembly of components, proceedings of FORTE'03, volume LNCS 2767, 2003.

D. Caromel, L. Henrio, and B. Serpette, Asynchronous and deterministic objects, POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.123-134, 2004.
DOI : 10.1145/964001.964012
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.9095

D. Caromel, W. Klauser, and J. Vayssì-ere, Towards seamless computing and metacomputing in Java, Concurrency Practice and Experience, vol.10, pp.11-13, 1998.
DOI : 10.1002/(sici)1096-9128(199809/11)10:11/13<1043::aid-cpe413>3.3.co;2-y
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.154.7747

S. C. Cheung and J. Kramer, Checking subsystem safety properties in compositional reachability analysis, Proceedings of IEEE 18th International Conference on Software Engineering, pp.144-154, 1996.
DOI : 10.1109/ICSE.1996.493410

S. C. Cheung and J. Kramer, Context constraints for compositional reachability analysis, ACM Transactions on Software Engineering and Methodology, vol.5, issue.4, pp.334-377, 1996.
DOI : 10.1145/235321.235323

E. M. Clarke, O. Grumberg, and D. E. Long, Model checking and abstraction, ACM Transactions on Programming Languages and Systems, vol.16, issue.5, pp.1512-1542, 1994.
DOI : 10.1145/186025.186051

R. Cleaveland and J. Riely, Testing-Based Abstractions for Value-Passing Systems, International Conference on Concurrency Theory (CONCUR), pp.417-432, 1994.
DOI : 10.1007/978-3-540-48654-1_31

J. Corbett, M. Dwyer, J. Hatcliff, C. Pasareanu, S. Laubach et al., Bandera: Extracting finite-state models from java source code Memory-efficient algorithms for the verification of temporal properties, Int. Conference on Software Engineering (ICSE) Form. Methods Syst. Des, vol.1, issue.2-3, pp.275-288, 1992.

P. Cousot, Automatic verification by abstract interpretation, invited tutorial, Proceedings of the Fourth International Conference on Verification, Model Checking and Abstract Interpretation, pp.20-24, 2003.
DOI : 10.1007/3-540-36384-x_4

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590

P. Cousot and R. Cousot, Software analysis and model checking, Proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, pp.37-56, 2002.

R. De-neufville, The baggage system at Denver: prospects and lessons, Journal of Air Transport Management, vol.1, issue.4, pp.229-236, 1994.
DOI : 10.1016/0969-6997(94)90014-0

R. , D. Nicola, and F. W. Vaandrager, Action versus state based logics for transition systems, Semantics of Systems of Concurrent Processes, 1990.
DOI : 10.1007/3-540-53479-2_17

R. De-simone, High level devices in Meije-SCCS, Theoretical Computer Science, vol.40, 1985.

R. De-simone, Higher-level synchronising devices in Meije-SCCS, Theoretical Computer Science, vol.37, pp.245-267, 1985.
DOI : 10.1016/0304-3975(85)90093-3

C. Demartini, R. Losif, and R. Sisto, dSPIN: A Dynamic Extension of SPIN, Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking, pp.261-276, 1999.
DOI : 10.1007/3-540-48234-2_20

Y. Dumond, D. Girardet, and F. Oquendo, A relationship between sequence and statechart diagrams, 2000.
URL : https://hal.archives-ouvertes.fr/hal-01191623

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in property specifications for finite-state verification, Proc. 21st International Conference on Software Engineering, pp.411-420, 1999.

. E. Jr, O. Clarke, D. A. Grumberg, and . Peled, Model checking, 1999.

H. Ehrig and B. Mahr, Fundamentals of Algebraic Specification I, 1985.

E. A. Emerson and C. L. Lei, Efficient model checking in fragments of the propositional µ?calculus, Symposion on Logic in Computer Science, pp.267-278, 1986.

V. Emery, The pentium chip story: A learning experience, 1996.

U. Engberg and M. Nielsen, A calculus of communicating systems with labelpassing, 1986.

A. Evans, R. B. France, K. Lano, and B. Rumpe, Developing the UML as a formal modelling notation, The Unified Modeling Language, UML'98 -Beyond the Notation. First International Workshop, pp.297-307

J. C. Fernandez, A. Kerbrat, and L. Mounier, Symbolic equivalence checking, CAV '93: Proceedings of the 5th International Conference on Computer Aided Verification, pp.85-96, 1993.
DOI : 10.1007/3-540-56922-7_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.2980

R. W. Floyd, Assigning meanings to programs, Proceedings of Symposia in Applied Mathematics 19, pp.19-32, 1967.
DOI : 10.1007/978-94-011-1793-7_4

H. Garavel, . Open, and . Caesar, An open software architecture for verification, simulation, and testing
DOI : 10.1007/bfb0054165
URL : https://hal.archives-ouvertes.fr/inria-00073337

H. Garavel, Compilation of LOTOS abstract data types, Proc. 2nd International Conference on Formal Description Techniques (FORTE'89), 1989.

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, pp.377-392, 2001.
DOI : 10.1007/0-306-47003-9_24
URL : https://hal.archives-ouvertes.fr/inria-00072396

H. Garavel and F. Lang, NTIF: A General Symbolic Model for Communicating Sequential Processes with Data, Proceedings of FORTE'02 (Houston)81] H. Garavel, F. Lang, and R. Mateescu. An overview of CADP 2001. European Association for Software Science and Technology (EASST) Newsletter, pp.13-24, 2002.
DOI : 10.1007/3-540-36135-9_18
URL : https://hal.archives-ouvertes.fr/inria-00071919

H. Garavel, R. Mateescu, and I. M. Smarandache, Parallel state space construction for model-checking, Lecture Notes in Computer Science, vol.2057, 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. 10th International Symposium on Protocol Specification, Testing and Verification, 1990.

H. Garavel, C. Viho, and M. Zendri, System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation, International Journal on Software Tools for Technology Transfer (STTT), vol.3, issue.3, pp.314-331, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00072597

D. Giannakopoulou, J. Kramer, and S. C. Cheung, Behaviour analysis of distributed systems using the tracta approach, Automated Software Engineering, vol.6, issue.1, pp.7-35, 1999.
DOI : 10.1023/A:1008645800955

S. Gnesi, E. Madelaine, and G. Ristori, An Exercise in Protocol Verification, Third Lotosphere Workshop and Seminar, 1992.
DOI : 10.1007/978-1-4615-2203-4_13
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.772

J. F. Groote and A. Ponse, Proof Theory for ??CRL: A Language for Processes with Data., Proceedings of the International Workshop on Semantics of Specification Languages, Workshops in Computing Series, pp.231-250, 1994.
DOI : 10.1007/978-1-4471-3229-5_13

O. Grumberg and D. E. Long, Model checking and modular verification, ACM Transactions on Programming Languages and Systems, vol.16, issue.3, pp.843-871, 1994.
DOI : 10.1145/177492.177725
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.6959

A. Hall, Seven myths of formal methods, IEEE Software, vol.7, issue.5, pp.11-19, 1990.
DOI : 10.1109/52.57887
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.124.8367

M. Hennessy, Acceptance trees, Journal of the ACM, vol.32, issue.4, pp.896-928, 1985.
DOI : 10.1145/4221.4249

M. Hennessy, Algebraic Theory of Processes, 1988.

M. Hennessy and H. Lin, Symbolic bisimulations, Theoretical Computer Science, vol.138, issue.2, pp.353-389, 1995.
DOI : 10.1016/0304-3975(94)00172-F

M. G. Hinchey and J. Bowen, Applications of Formal Methods, pp.0-13, 1995.

C. A. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969.
DOI : 10.1145/363235.363259

C. A. Hoare, Communicating sequential processes, 1985.

G. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, pp.279-295, 1997.
DOI : 10.1109/32.588521

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

G. Holzmann, D. Peled, and M. Yannakakis, On nested depth first search, p.39, 1996.
DOI : 10.1090/dimacs/032/03
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.3452

J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, pp.0-201, 2001.
DOI : 10.1145/568438.568455

T. Huckle, Collection of software bugs, 2004.

I. Iec, Information Processing Systems -Open Systems Interconection. Enhancements to LOTOS (E-LOTOS). ISO 15437, 2001.

D. Kozen, Results on the propositional mu-calculus, Theoretical Computer Science, vol.40, 1985.

A. Lakas, Les Transformations Lotomaton : une contributionàcontributionà la préimplémentation des systèmes LOTOS, 1996.

F. Lang, Compositional Verification Using SVL Scripts, Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2002, pp.465-469, 2002.
DOI : 10.1007/3-540-46002-0_33

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

N. G. Leveson and C. S. Turner, An investigation of the Therac-25 accidents, Computer, vol.26, issue.7, pp.18-41, 1993.
DOI : 10.1109/MC.1993.274940

H. Lin, Symbolic transition graph with assignment, CONCUR '96, 1996.
DOI : 10.1007/3-540-61604-7_47
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.7639

C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani, and S. Bensalem, Property preserving abstractions for the verification of concurrent systems, Formal Methods in System Design, vol.55, issue.1, pp.11-44, 1995.
DOI : 10.1007/BF01384313

N. Lynch and M. Tuttle, An introduction to Input/Output Automata, 1988.

S. Graf, M. Bozga, and L. Mounier, IF2.0: A validation environment for component-based real-time systems, proceedings of CAV'02, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00357518

R. Mateescu, M. Cornejo, H. Garavel, and N. Palma, Specification and verification of a dynamic reconfiguration protocol for agent-based applications, Proceedings of the 3rd IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems DAIS'2001, pp.229-242
URL : https://hal.archives-ouvertes.fr/inria-00072397

M. Fisher and R. 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

E. Madelaine, Verification tools from the CONCUR project, EATCS Bull, vol.47, 1992.

E. Madelaine and R. De-simone, The FC2 reference manual, 1993. available by ftp from ftp-sop

E. Madelaine and D. Vergamini, Specification and Verification of a Sliding Window Protocol in LOTOS, FORTE'91 conference, 1991.
DOI : 10.1016/B978-0-444-89402-1.50045-X

J. Magee, N. Dulay, S. Eisenbach, and J. Kramer, Specifying distributed software architectures, Proceedings of the 5th European Software Engineering Conference, pp.137-153, 1995.
DOI : 10.1007/3-540-60406-5_12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.7933

J. Magee and J. Kramer, Dynamic structure in software architectures, SIG- SOFT '96: Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, pp.3-14, 1996.

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

Z. Manna and A. Pnueli, The temporal logic of reactive and concurrent systems, 1992.
DOI : 10.1007/978-1-4612-0931-7

C. Massols, Outils d'analyse statique et de vérification pour les applications java distribuées, 2003.

R. Mateescu, Vérification des propriétés temporelles des programmesparalì eles, 1998.

R. Mateescu, A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems, Lecture Notes in Computer Science, vol.2619, pp.81-96, 2003.
DOI : 10.1007/3-540-36577-X_7
URL : https://hal.archives-ouvertes.fr/inria-00071875

R. Mateescu, Logiques temporelles bas??es sur actions pour la v??rification des syst??mes asynchrones, Techniques et sciences informatiques, vol.22, issue.4, 2003.
DOI : 10.3166/tsi.22.461-495

R. Mateescu, On-the-Fly Verification using CADP, Electronic Notes in Theoretical Computer Science, vol.80, 2003.
DOI : 10.1016/S1571-0661(04)80826-0

R. Mateescu and M. Sighireanu, Efficient on-the-fly model-checking for regular alternation-free mu-calculus, Proceedings of the 5th Int. Workshop on Formal Methods for Industrial Critical Systems FMICS'2000 GMD Report 91, pp.65-86, 2000.
DOI : 10.1016/S0167-6423(02)00094-1
URL : https://hal.archives-ouvertes.fr/inria-00072755

R. Milner, Communication and Concurrency, 1989.

R. Milner, Operational and Algebraic Semantics of Concurrent Processes, pp.1201-1242, 1990.
DOI : 10.1016/B978-0-444-88074-1.50024-X

R. Milner, Communications and mobile systems: the ?-calculus, 1999.

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, I, Information and Computation, vol.100, issue.1, pp.1-77, 1992.
DOI : 10.1016/0890-5401(92)90008-4

R. Milner, J. Parrow, and D. Walker, Modal logics for mobile processes, Theoretical Computer Science, vol.114, issue.1, pp.149-171, 1993.
DOI : 10.1016/0304-3975(93)90156-N

E. Najm, A. Lakas, A. Serouchni, E. Madelaine, and R. De-simone, Alto: An Interactive Transformation Tool for Lotos and Lotomaton, Third Lotosphere Workshop and Seminar, 1992.
DOI : 10.1007/978-1-4615-2203-4_19

K. Ng, J. Kramer, J. Magee, and N. Dulay, A Visual Approach to Distributed Programming, Tools and Environments for Parallel and Distributed Systems, pp.7-31, 1996.
DOI : 10.1007/978-1-4615-4123-3_2

R. , D. Nicola, and M. C. Hennessy, Testing equivalences for processes, Sur la synchronisation des processus. Rev. Techn. Thomson-CSF, pp.83-133899, 1979.

M. Nivat and A. Arnold, Comportements de processus, AFCET Les Mathématiques de l'Informatique, pp.35-68, 1982.

M. Object and . Group, UML 2.0 Object Constraint Language (OCL) Specification , formal/03-10-14 edition, 2003.

M. Object and . Group, The Common Object Request Broker Architecture (CORBA): Core Specification, 2004.

J. Parrow, Handbook of Process Algebra, pp.479-543, 2001.

D. Peled, Combining partial order reductions with on-the-fly model-checking, CAV '94: Proceedings of the 6th International Conference on Computer Aided Verification, pp.377-390, 1994.

F. Plasil, D. Balek, R. Janecek, . Sofa, and . Dcup, Architecture for component trading and dynamic updating, Proc. Fourth International Conf. Configurable Distributed Systems (ICCDS'98), pp.42-52, 1998.
DOI : 10.1109/cds.1998.675757
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.7926

F. Plasil and S. Visnovsky, Behavior protocols for software components, IEEE Transactions on Software Engineering, vol.28, issue.11, 2002.
DOI : 10.1109/TSE.2002.1049404
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.9185

A. Rausch, Towards a software architecture specification language based on UML and OCL, Workshop on Describing Software Architecture with UML, 23rd International Conference on Software Engineering, 2001.

J. Riely, Applications of Abstraction for Concurrent Programs, 1999.

D. Sangiorgi and D. Walker, ?-Calculus: A Theory of Mobile Processes, 2001.

. Ri and . Sharpe, Formal methods start to add up once again, Computing , vnu bussiness publications, 2004.

G. Tassey, The economic impacts of inadequate infrastructure for software testing, National Institute of Standards and Technology (NIST), 2002.

F. Tronel, F. Lang, and H. Garavel, Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components, 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems FMOODS'2003, 2003.
DOI : 10.1109/26.35374
URL : https://hal.archives-ouvertes.fr/inria-00071572

M. Y. Vardi and P. Wolper, Reasoning about Infinite Computations, Information and Computation, vol.115, issue.1, pp.1-37, 1994.
DOI : 10.1006/inco.1994.1092
URL : http://doi.org/10.1006/inco.1994.1092