R. Alur and D. L. Dill, Automata for modeling real-time systems, ICALP 1990, pp.322-335, 1990.
DOI : 10.1007/BFb0032042

R. Alur, K. Etessami, and P. Madhusudan, A Temporal Logic of Nested Calls and Returns, TACAS 2004, pp.467-481, 2004.
DOI : 10.1007/978-3-540-24730-2_35

J. Aspnes and E. Ruppert, An Introduction to Population Protocols, Bulletin of the European Association for Theoretical Computer Science, vol.93, pp.98-117, 2007.
DOI : 10.1007/978-3-540-89707-1_5

C. Baier, N. Bertrand, P. Bouyer, and T. Brihaye, When Are Timed Automata Determinizable?, Part II, pp.43-54, 2009.
DOI : 10.1007/978-3-642-02930-1_4
URL : https://hal.archives-ouvertes.fr/inria-00424351

E. Beffara, Functions as proofs as processes. CoRR, abs/1107, p.4160, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00609866

J. Berendsen and F. Vaandrager, Parallel composition in a paper of Jensen, Larsen and Skou is not associative, 2007.

J. Berendsen and F. Vaandrager, Compositional Abstraction in Real-Time Model Checking, FORMATS 2008, pp.233-249, 2008.
DOI : 10.1007/978-3-540-85778-5_17

J. Berendsen and F. Vaandrager, Parallel composition in a paper by de Alfaro e.a. is not associative, 2008.

B. Berthomieu, P. O. Ribet, and F. Vernadat, The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, 2004.
DOI : 10.1137/0216062

J. Bodeveix, A. Boudjadar, and M. Filali, An Alternative Definition for Timed Automata Composition, ATVA 2011, pp.105-119, 2011.
DOI : 10.1007/978-3-642-24372-1_9

G. Boudol, Towards a lambda-calculus for concurrent and communicating systems, TAPSOFT 1989, pp.149-161, 1989.
DOI : 10.1007/3-540-50939-9_130
URL : https://hal.archives-ouvertes.fr/inria-00075669

L. De-alfaro, L. D. Da-silva, M. Faella, A. Legay, P. Roy et al., Sociable Interfaces, FroCos 2005, pp.81-105, 2005.
DOI : 10.1007/11559306_5

U. Engberg and M. Nielsen, A Calculus of Communicating Systems with Label Passing, DAIMI Report Series, vol.15, issue.208, 1986.
DOI : 10.7146/dpb.v15i208.7559

P. H. Feiler, B. Lewis, and S. Vestal, An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering, pp.1-10, 2003.
DOI : 10.1007/0-387-24590-1_1

J. Håkansson and P. Pettersson, Partial Order Reduction for Verification of Real-Time Components, FORMATS 2007, pp.211-226, 2007.
DOI : 10.1007/978-3-540-75454-1_16

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

G. Igna, Formal Modeling and Scheduling of Datapaths of Digital Document Printers, FORMATS 2008, pp.170-187, 2008.
DOI : 10.1007/978-3-540-85778-5_13

H. E. Jensen, K. Guldstr, and A. Skou, Scaling up Uppaal:Automatic Verification of Real-Time Systems using Compositionality and Abstraction, FTRTFT 2000, pp.19-30, 2000.

K. G. Larsen, P. Pettersson, and Y. Wang, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, 1997.
DOI : 10.1007/s100090050010

R. Milner, Functions as processes, ICALP 1990, pp.167-180, 1990.
DOI : 10.1007/bfb0032030
URL : https://hal.archives-ouvertes.fr/inria-00075405

F. Nielson, The typed ??-calculus with first-class processes, PARLE 1989, pp.357-373, 1989.
DOI : 10.1007/3-540-51285-3_52

G. Patin, M. Sighireanu, and T. Touili, Spade: Verification of Multithreaded Dynamic and Recursive Programs, CAV 2007, pp.254-257, 2007.
DOI : 10.1007/978-3-540-73368-3_28
URL : https://hal.archives-ouvertes.fr/hal-00160449

B. Thomsen, A calculus of higher order communicating systems, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '89, pp.143-154, 1989.
DOI : 10.1145/75277.75290

B. Toninho, L. Caires, and F. Pfenning, Functions as Session-Typed Processes, Paper available on http, 2011.
DOI : 10.1007/978-3-642-28729-9_23

A. Trivedi and D. Wojtczak, Recursive Timed Automata, ATVA 2010, pp.306-324, 2010.
DOI : 10.1007/978-3-642-15643-4_23

F. Warn, Red: Model-checker for timed automata with clock-restriction diagram, Real-time Tools, 2001.

S. Yovine, KRONOS: a??verification tool for real-time systems, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.123-133, 1997.
DOI : 10.1007/s100090050009