R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

F. Arnold, A. Belinfante, F. Van-der-berg, D. Guck, and M. Stoelinga, DFTCalc: A Tool for Efficient Fault Tree Analysis, Proceedings of the 32nd International Conference on Computer Safety, Reliability , and Security (SAFECOMP'13), pp.293-301, 2013.
DOI : 10.1007/978-3-642-40793-2_27

B. Berthomieu, J. Bodeveix, P. Farail, M. Filali, H. Garavel et al., Frédéric Lang, and François Vernadat . FIACRE: An Intermediate Language for Model Verification in the TOPCASED Environment, Proceedings of the 4th European Congress on Embedded Real-Time Software (ERTS'08), 2008.

B. Berthomieu and T. Sergent, Programming with behaviors in an ML framework ??? The syntax and semantics of LCS, Proceedings of the 5th European Symposium on Programming Languages and Systems (ESOP'94), pp.89-104, 1994.
DOI : 10.1007/3-540-57880-3_6

T. Bolognesi and E. Brinksma, Introduction to the ISO specification language LOTOS, Computer Networks and ISDN Systems, vol.14, issue.1, pp.25-59, 1988.
DOI : 10.1016/0169-7552(87)90085-7
URL : http://doc.utwente.nl/69857/1/Bolognesi87introduction.pdf

P. Boullier and M. Jourdan, A new error repair and recovery scheme for lexical and syntactic analysis, Science of Computer Programming, vol.9, issue.3, pp.271-286, 1987.
DOI : 10.1016/0167-6423(87)90010-4
URL : https://doi.org/10.1016/0167-6423(87)90010-4

F. Boyer, O. Gruber, and G. Salaün, Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS??NT and CADP, Proceedings of the 17th International Symposium on Formal Methods (FM'11), pp.103-117, 2011.
DOI : 10.1016/S0167-6423(02)00094-1
URL : https://hal.archives-ouvertes.fr/hal-00648909

E. Brinksma and G. Leih, Enhancements of Lotos, LOTOSphere: Software Development with LOTOS, pp.453-466, 1995.
DOI : 10.1007/978-1-4615-2203-4_22

E. Brinksma, On the Design of Extended LOTOS ? A Specification Language for Open Distributed Systems, 1988.

E. Brinksma, Constraint-oriented specification in a constructive formal description technique, Proceedings of the REX Workshop on Stepwise Refinement of Distributed Systems ? Models, Formalisms, Correctness ? Mook, pp.130-152, 1989.
DOI : 10.1007/3-540-52559-9_63

E. Brinksma, Task 1.4 Deliverable on Language Enhancements, LOTO- Sphere (ESPRIT Projet 2304) Document ref, p.146, 1992.

E. Brinksma and G. Karjoth, A Specification of the OSI Transport Service in LOTOS, Proceedings of the 4th IFIP International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, pp.227-251, 1984.

E. Brinksma, J. Katoen, R. Langerak, and D. Latella, A Stochastic Causality-Based Process Algebra, The Computer Journal, vol.38, issue.7, pp.552-565, 1995.
DOI : 10.1093/comjnl/38.7.552
URL : https://academic.oup.com/comjnl/article-pdf/38/7/552/1121796/380552.pdf

E. Brinksma, J. Tretmans, and L. Verhaard, A Framework for Test Selection, Proceedings of the IFIP WG6.1 9th International Symposium on Protocol Specification, Testing and Verification, pp.233-248, 1991.

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

A. Chebieb and Y. Ameur, Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies, 2015 International Symposium on Theoretical Aspects of Software Engineering, pp.79-86, 2015.
DOI : 10.1109/TASE.2015.25

G. Robert, A. Clark, and . Moreira, Use of E-LOTOS in Adding Formality to UML, Journal of Universal Computer Science, vol.6, issue.11, pp.1071-1087, 2000.

J. Courtiat, A. S. Celso, C. Santos, B. Lohr, and . Outtaj, Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique, Computer Communications, vol.23, issue.12, pp.1104-1123, 2000.
DOI : 10.1016/S0140-3664(99)00240-6

P. Crouzen and F. Lang, Smart Reduction, Proceedings of Fundamental Approaches to Software Engineering (FASE'11), pp.111-126
DOI : 10.1007/3-540-56689-9_54
URL : https://hal.archives-ouvertes.fr/inria-00572535

J. De-meer, R. Roth, and S. Vuong, Introduction to algebraic specifications based on the language ACT ONE, Computer Networks and ISDN Systems, vol.23, issue.5, pp.363-392, 1992.
DOI : 10.1016/0169-7552(92)90013-G

W. Lopes-de-souza, P. N. , M. Sampaio, M. Janilce, B. Almeida et al., Design of Distributed Multimedia Applications (DAMD), Applied Formal Methods ? Proceedings of the International Workshop on Current Trends in Applied Formal Methods (FM-Trends'98), pp.77-91

H. Ehrig, W. Fey, and H. Hansen, An Algebraic Specification Language with Two Levels of Semantics, 1983.

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

X. Etchevers, G. Salaün, F. Boyer, T. Coupaye, and P. , Reliable Self-Deployment of Distributed Cloud Applications . Software Practice and Experience, pp.3-20, 2017.
DOI : 10.1002/spe.2400
URL : https://hal.archives-ouvertes.fr/hal-01290465

H. Evrard, Génération automatique d'implémentation distribuéè a partir de modèles formels de processus concurrents asynchrones, Thèse de Doctorat, 2015.

H. Evrard and . Dlc, DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation, Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16), pp.553-559, 2016.
DOI : 10.1007/978-3-662-49674-9_34
URL : https://hal.archives-ouvertes.fr/hal-01250925

H. Evrard and F. Lang, Formal Verification of Distributed Branching Multiway Synchronization Protocols, Proceedings of the IFIP Joint International Conference on Formal Techniques for Distributed Systems (FORTE/FMOODS'13), pp.146-160, 2013.
DOI : 10.1007/978-3-642-38592-6_11
URL : https://hal.archives-ouvertes.fr/hal-00818788

H. Evrard and F. Lang, Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes, 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, pp.459-466, 2015.
DOI : 10.1109/PDP.2015.96
URL : https://hal.archives-ouvertes.fr/hal-01086522

H. Evrard and F. Lang, Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous, Journal of Logical and Algebraic Methods in Programming, vol.88, pp.121-153, 2017.
DOI : 10.1016/j.jlamp.2016.09.002
URL : https://hal.archives-ouvertes.fr/hal-01412911

H. Garavel, Utilisation du système CESAR pour la vérification de protocoles spécifiés en LOTOS, 1986.

H. Garavel, Vérification de programmes LOTOSàLOTOSà l'aide du système QUASAR, 1986.

H. Garavel, Compilation of LOTOS Abstract Data Types, Proceedings of the 2nd International Conference on Formal Description Techniques FORTE'89, pp.147-162, 1989.

H. Garavel, On the introduction of gate typing in E-LOTOS, Proceedings of the 15th IFIP International Workshop on Protocol Specification, Testing and Verification (PSTV'95), pp.283-298, 1995.
DOI : 10.1007/978-0-387-34892-6_18

H. Garavel, . Open, and . Caesar, OPEN/C??SAR: 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), pp.68-84, 1998.
DOI : 10.1007/BFb0054165

H. Garavel, Défense et illustration des algèbres de processus, 2003.

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

H. Garavel, Revisiting sequential composition in process calculi, Journal of Logical and Algebraic Methods in Programming, vol.84, issue.6, pp.742-762, 2015.
DOI : 10.1016/j.jlamp.2015.08.001
URL : https://hal.archives-ouvertes.fr/hal-01247770

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, 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, Proceedings of the 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'01), pp.377-392
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 the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, pp.276-291, 2002.
DOI : 10.1007/3-540-36135-9_18
URL : https://hal.archives-ouvertes.fr/inria-00071919

H. Garavel, F. Lang, and R. Mateescu, Compiler Construction Using LOTOS NT, Proceedings of the 11th International Conference on Compiler Construction (CC'02), pp.9-13
DOI : 10.1007/3-540-45937-5_3

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/s100090050009
URL : https://hal.archives-ouvertes.fr/hal-00715056

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, The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark, Proceedings of the 2nd Workshop on Models for Formal Analysis of Real Systems (MARS'17) of Electronic Proceedings in Theoretical Computer Science, pp.230-270, 2017.
DOI : 10.4204/EPTCS.244.10
URL : https://hal.archives-ouvertes.fr/hal-01511847

H. Garavel and J. Sifakis, Compilation and Verification of LO- TOS Specifications, Proceedings of the 10th IFIP International Symposium on Protocol Specification , Testing and Verification (PSTV'90), pp.379-394, 1990.

H. Garavel and M. Sighireanu, On the Introduction of Exceptions in E-LOTOS, Proceedings of the IFIP Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (FORTE/PSTV'96), pp.469-484, 1996.
DOI : 10.1007/978-0-387-35079-0_30

H. Garavel and M. Sighireanu, Towards a Second Generation of Formal Description Techniques ? Rationale for the Design of E-LOTOS

H. Garavel and M. Sighireanu, A Graphical Parallel Composition Operator for Process Algebras, Proceedings of the IFIP Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (FORTE/PSTV'99), pp.185-202, 1999.
DOI : 10.1007/978-0-387-35578-8_11
URL : ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/comments-afnor-october-98b.ps.Z

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'09), pp.241-260, 2009.
DOI : 10.1007/978-3-540-27813-9_47
URL : https://hal.archives-ouvertes.fr/inria-00388819

A. Graf-brill, H. Hermanns, and H. Garavel, A Model-Based Certification Framework for the EnergyBus Standard, Proceedings of the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'15), pp.84-99, 2014.
DOI : 10.1007/978-3-662-43613-4_6
URL : https://hal.archives-ouvertes.fr/hal-01098360

D. Guck, J. Spel, and M. Stoelinga, DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper), Proceedings of the 17th International Conference on Formal Engineering Methods (ICFEM'15), pp.304-311, 2015.
DOI : 10.1109/FTCS.1999.781056

M. Güdemann, G. Salaün, and M. Ouederni, Counterexample Guided Synthesis of Monitors for Realizability Enforcement, Proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis (ATVA'12), pp.238-253, 2012.
DOI : 10.1007/978-3-642-33386-6_20

G. Huecas, L. Llana-díaz, J. Quemada, T. Robles, and A. Verdejo, Process Calculi: E-LOTOS, Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches, pp.77-104, 2001.

G. Huecas, L. Llana-díaz, T. Robles, and A. Verdejo, E-LOTOS: An Overview, Proceedings of the Workshop on

I. Iec, ESTELLE ? A Formal Description Technique Based on an Extended State Transition Model, International Organization for Standardization ? Information Processing Systems ? Open Systems Interconnection, 1988.

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.

F. Jebali, F. Lang, and R. Mateescu, Formal modelling and verification of GALS systems using GRL and CADP, Formal Aspects of Computing, vol.43, issue.3, pp.767-804, 2016.
DOI : 10.1145/233551.233556
URL : https://hal.archives-ouvertes.fr/hal-01290449

M. Jourdan and D. Parigot, Application development with the FNC-2 attribute grammar system, Proceedings of the 3rd International Workshop on Compiler Construction (CC'90), pp.11-25, 1990.
DOI : 10.1007/3-540-53669-8_71

A. Kriouile and W. Serwe, Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip, Proceedings of the 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'13), pp.108-122, 2013.
DOI : 10.1007/978-3-642-41010-9_8
URL : https://hal.archives-ouvertes.fr/hal-00858521

A. Kriouile and W. Serwe, Using a Formal Model to Improve Verification of a Cache-Coherent System-on-Chip, Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15), pp.708-722, 2015.
DOI : 10.1007/978-3-662-46681-0_62
URL : https://hal.archives-ouvertes.fr/hal-01104747

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'02), pp.465-469, 2002.
DOI : 10.1007/3-540-46002-0_33

F. Lang and . Exp, 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'05), pp.70-88, 2005.
DOI : 10.1007/11589976_6
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/s10009-004-0185-2
URL : https://hal.archives-ouvertes.fr/inria-00198731

E. Lantreibecq and W. Serwe, Formal analysis of a hardware dynamic task dispatcher with CADP, Science of Computer Programming, vol.80, pp.130-149, 2014.
DOI : 10.1016/j.scico.2013.01.003
URL : https://hal.archives-ouvertes.fr/hal-00782069

G. Leduc, A. Jeffrey, M. Sighireanu, and E. Introductionàintroductionà, Ingénierie des protocoles et qualité de service, collection IC2, Hermès, issue.6, pp.213-253, 2001.

L. Léonard and G. Leduc, An introduction to ET-LOTOS for the description of time-sensitive systems, Computer Networks and ISDN Systems, vol.29, issue.3, pp.271-292, 1997.
DOI : 10.1016/S0169-7552(96)00078-5

L. Léonard and G. Leduc, A Formal Definition of Time in LOTOS, Formal Aspects of Computing, vol.10, issue.3, pp.248-266, 1998.
DOI : 10.1007/s001650050015

X. Li, S. Madnick, H. Zhu, and Y. Fan, Improving Data Quality for Web Services Composition, Proceedings of the 7th International Workshop on Quality in Databases (QDB'09), 2009.

F. I. Massetto, W. Lopes-de-souza, and S. Zorzo, Simulator for E-LOTOS specifications, Proceedings 35th Annual Simulation Symposium. SS 2002, pp.389-394, 2002.
DOI : 10.1109/SIMSYM.2002.1000176

R. Mateescu, A Generic Framework for Model Checking Software Architectures, Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems, 2004.
DOI : 10.1007/978-3-540-24769-2_18

R. Mateescu, P. T. Monteiro, E. Dumas, H. De, and J. , Computation Tree Regular Logic for Genetic Regulatory Networks, Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis (ATVA'08), pp.48-63, 2008.
DOI : 10.1093/bioinformatics/btn275
URL : https://hal.archives-ouvertes.fr/inria-00277995

R. Mateescu and G. Salaün, PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus, Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13), pp.192-198, 2013.
DOI : 10.1007/978-3-642-36742-7_14
URL : https://hal.archives-ouvertes.fr/hal-00805533

R. Mateescu and W. Serwe, Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols, Science of Computer Programming, vol.78, issue.7, pp.843-861, 2013.
DOI : 10.1016/j.scico.2012.01.003
URL : https://hal.archives-ouvertes.fr/hal-00671321

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), pp.148-164, 2008.
DOI : 10.1007/978-3-540-68237-0_12
URL : https://hal.archives-ouvertes.fr/inria-00315312

G. J. Milne, CIRCAL and the representation of communication, concurrency, and time, ACM Transactions on Programming Languages and Systems, vol.7, issue.2, pp.270-298, 1985.
DOI : 10.1145/3318.3322

R. Milner, A Calculus of Communicating Systems, Lecture Notes in Computer Science, vol.92, 1980.
DOI : 10.1007/3-540-10235-3

R. Milner, . Calculi, and A. Synchrony, Calculi for synchrony and asynchrony, Theoretical Computer Science, vol.25, issue.3, pp.267-310, 1983.
DOI : 10.1016/0304-3975(83)90114-7
URL : https://doi.org/10.1016/0304-3975(83)90114-7

H. Mkaouar, B. Zalila, J. Hugues, and M. Jmaiel, From AADL Model to LNT Specification, Proceedings of the 20th ADA-Europe International Conference on Reliable Software Technologies (Ada-Europe'15), pp.146-161, 2015.
DOI : 10.1007/978-3-319-19584-1_10

R. Oliveira, S. Dupuy-chessa, G. Calvary, and D. Dadolle, Using formal models to cross check an implementation, Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS '16
DOI : 10.1109/UsARE.2012.6226786
URL : https://hal.archives-ouvertes.fr/hal-01492641

P. Poizat and G. Salaün, Checking the realizability of BPMN 2.0 choreographies, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, 2012.
DOI : 10.1145/2245276.2232095
URL : https://hal.archives-ouvertes.fr/hal-00685393

P. Poizat, G. Salaün, and A. Krishna, Checking Business Process Evolution, Revised Selected Papers of the 13th International Conference on Formal Aspects of Component Software (FACS'16), pp.36-53, 2016.
DOI : 10.1007/978-3-540-88194-0_22
URL : https://hal.archives-ouvertes.fr/hal-01366641

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

J. Quemada and .. Born, E-mail announcement available from ftp, 1997.

R. Roth, J. De-meer, and S. Storp, Data Specifications in Modular Lotos, LOTOSphere: Software Development with LOTOS, pp.467-479, 1995.
DOI : 10.1007/978-1-4615-2203-4_23

W. Serwe, Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard, Rob van Glabbeek Proceedings of the International Workshop on Models for Formal Analysis of Real Systems (MARS'15) of Electronic Proceedings in Theoretical Computer Science, 2015.
DOI : 10.4204/EPTCS.196.6
URL : https://hal.archives-ouvertes.fr/hal-01227999

C. Shankland and A. Verdejo, A case study in abstraction using E-LOTOS and the FireWire, Computer Networks, vol.37, issue.3-4, pp.481-502, 2001.
DOI : 10.1016/S1389-1286(01)00190-6

M. Sighireanu, ContributionàContributionà la définition etàetà l'implémentation du langage " Extended LOTOS, Thèse de Doctorat, 1999.

M. Sighireanu, A. Catry, D. Champelovier, H. Garavel, F. Lang et al., LOTOS NT User's Manual (Version 2.8), INRIA/CONVECS, 2016.

M. Sighireanu and K. J. Turner, Requirement Capture, Formal Description and Verification of an Invoicing System, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00073106

J. Stoecker, F. Lang, and H. Garavel, Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format, Proceedings of the 7th International Conference on Integrated Formal Methods (IFM'09), pp.88-102, 2009.
DOI : 10.1007/s100090050009

D. Thivolle, Langages modernes pour la vérification des systèmes asynchrones, Thèse de Doctorat) and Universitatea Politehnica din Bucuresti, 2011.

J. Kenneth, M. Turner, and . Sighireanu, ELOTOS: (Enhanced) Language Of Temporal Ordering Specification, Software Specification Methods: An Overview Using a Case Study, pp.166-190, 2001.

D. Vekris, F. Lang, C. Dima, and R. Mateescu, Verification of EB3 Specifications Using CADP, Formal Aspects of Computing, vol.28, issue.1, pp.145-178, 2016.
DOI : 10.1007/978-3-642-38613-8_5
URL : https://hal.archives-ouvertes.fr/hal-01290460

A. Verdejo and .. , Tutorial and Semantics. Master's thesis, Departamento de Sistemas Informáticos y Programación, 1999.

H. Wu, X. Yang, and J. Katoen, Performance Evaluation of Concurrent Data Structures, Proceedings of the Symposium on Dependable Software Engineering (SETTA'16), pp.38-49, 2016.
DOI : 10.1007/978-3-642-23283-1_16

Z. Zhang, W. Serwe, J. Wu, T. Zheng, and C. Myers, An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis, Science of Computer Programming, vol.118, pp.24-39
DOI : 10.1016/j.scico.2016.01.002
URL : https://hal.archives-ouvertes.fr/hal-01261234