M. Abadi and L. Cardelli, A Theory of Objects, 1996.
DOI : 10.1007/978-1-4419-8598-9

B. C. Pierce, Types and Programming Languages, 2002.

G. Agha, Actors: A Model of Concurrent Computation in Distributed Systems, 1986.

G. Agha, I. A. Mason, S. F. Smith, and C. L. Talcott, A foundation for actor computation, Journal of Functional Programming, vol.7, issue.1, pp.1-72, 1997.
DOI : 10.1017/S095679689700261X

C. Hewitt, P. Bishop, and R. Steiger, A universal modular actor formalism for artificial intelligence, IJCAI'73: Proceedings of the 3rd International Joint Conference on Artificial Intelligence, pp.235-245, 1973.

G. Agha, An overview of actor languages, ACM SIGPLAN Notices, vol.21, issue.10, pp.58-67, 1986.
DOI : 10.1145/323648.323743

D. Caromel, C. Delbé, A. Di-costanzo, and M. Leyton, ProActive: an integrated platform for programming and running applications on Grids and P2P systems, Computational Methods in Science and Technology, vol.12, issue.1, pp.69-77, 2006.
DOI : 10.12921/cmst.2006.12.01.69-77
URL : https://hal.archives-ouvertes.fr/hal-00125034

D. Caromel, L. Henrio, and B. Serpette, Asynchronous and deterministic objects, Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.123-134, 2004.

D. Caromel and L. Henrio, A Theory of Distributed Objects, 2005.

A. D. Gordon, P. D. Hankin, and S. R. Lassen, Compilation and equivalence of imperative objects, Proceedings FST+TCS'97, 1997.

E. B. Johnsen, O. Owe, and I. C. Yu, Creol: A type-safe object-oriented model for distributed concurrent systems, Theoretical Computer Science, vol.365, issue.1-2, pp.23-66, 2006.
DOI : 10.1016/j.tcs.2006.07.031

T. Nipkow, L. C. Paulson, and M. Wenzel, Isabelle/HOL?A Proof Assistant for Higher-Order Logic, LNCS, vol.2283, 2002.

J. Niehren, J. Schwinghammer, and G. Smolka, A concurrent lambda calculus with futures, Theoretical Computer Science, vol.364, issue.3, pp.338-356, 2006.
DOI : 10.1016/j.tcs.2006.08.016
URL : https://hal.archives-ouvertes.fr/inria-00090434

L. Henrio and F. Kammüller, A Mechanized Model of the Theory of Objects, 9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS, 2007.
DOI : 10.1007/BFb0026570
URL : https://hal.archives-ouvertes.fr/inria-00150272

B. Aydemir, A. Charguéraud, B. C. Pierce, R. Pollack, and S. Weirich, Engineering formal metatheory, POPL'08: Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.3-15, 2008.
DOI : 10.1145/1328438.1328443
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.5948

B. E. Aydemir, A. Bohannon, N. Foster, B. Pierce, J. Vaughan et al., The poplmark challenge, Web-site, 2008.

N. G. Bruijn, Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the church-rosser theorem, Indagationes Mathematicae, vol.34, pp.381-392, 1972.

C. Urban, Nominal methods group, Project funded by the German Research Foundation (DFG) within the Emmy-Noether Programme, 2006.

A. M. Pitts, Nominal logic, a first order theory of names and binding, pp.165-193, 2003.

C. Roeckl and D. Hirschkoff, A fully adequate shallow embedding of the ??-calculus in Isabelle/HOL with mechanized syntax analysis, Journal of Functional Programming, vol.13, issue.02, pp.415-451, 2003.
DOI : 10.1017/S0956796802004653

A. Ciaffaglione, L. Liquori, and M. Miculan, Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts, Journal of Automated Reasoning, vol.87, issue.1, pp.1-47, 2007.
DOI : 10.1007/s10817-006-9061-y
URL : https://hal.archives-ouvertes.fr/hal-01148347

F. Honsell and M. , ??-calculus in (Co)inductive-type theory, Theoretical Computer Science, vol.253, issue.2, pp.239-285, 2001.
DOI : 10.1016/S0304-3975(00)00095-5

A. Schmitt, Safe Dynamic Binding in the Join CalculusThis is the original version that was accepted for publication, before the page cut requested for the final version This version contains additional examples), Proceedings of IFIP TCS, pp.563-575, 2002.

A. Ricci, M. Viroli, and G. Piancastelli, simpA: An agent-oriented approach for programming concurrent applications on top of Java, Selected papers from the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures?FOCLASA'07, pp.37-62, 2011.
DOI : 10.1016/j.scico.2010.06.012

L. Cardelli, A language with distributed scope, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '95, pp.286-297, 1995.
DOI : 10.1145/199448.199516

S. Briais and U. Nestmann, Mobile Objects ???Must??? Move Safely, FMOODS IFIP Conference Proceedings, pp.129-146, 2002.
DOI : 10.1007/978-0-387-35496-5_10
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.3577

A. Jeffrey, A distributed object calculus, ACM SIGPLAN Workshop Foundations of Object Oriented Languages

A. D. Gordon, P. D. Hankin, and S. B. Lassen, Compilation and equivalence of imperative objects, Proceedings FST+TCS'97, 1997.

R. H. Halstead-jr, MULTILISP: a language for concurrent symbolic computation, ACM Transactions on Programming Languages and Systems, vol.7, issue.4, pp.501-538, 1985.
DOI : 10.1145/4472.4478

A. Yonezawa, E. Shibayama, T. Takada, and Y. Honda, Modelling and programming in an object-oriented concurrent language ABCL, Object-Oriented Concurrent Programming, pp.55-89, 1987.

J. Niehren, D. Sabel, M. Schmidt-schauß, and J. Schwinghammer, Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures, Electronic Notes in Theoretical Computer Science, vol.173, pp.313-337, 2007.
DOI : 10.1016/j.entcs.2007.02.041
URL : https://hal.archives-ouvertes.fr/inria-00128861

F. S. De-boer, D. Clarke, and E. B. Johnsen, A Complete Guide to the Future, ESOP, pp.316-330, 2007.
DOI : 10.1007/978-3-540-71316-6_22

E. Abrahám, I. Grabe, A. Grüner, and M. Steffen, Behavioral interface description of an object-oriented language with futures and promises, The Journal of Logic and Algebraic Programming, vol.78, issue.7, pp.491-518, 2009.
DOI : 10.1016/j.jlap.2009.01.001

J. Dedecker, T. V. Cutsem, S. Mostinckx, T. D. Hondt, and W. D. Meuter, Ambient-oriented programming in ambienttalk, LNCS, vol.4067, pp.230-254, 2006.

A. Cansado, L. Henrio, and E. Madelaine, Transparent First-class Futures and Distributed Components, Electronic Notes in Theoretical Computer Science, vol.260, 2008.
DOI : 10.1016/j.entcs.2009.12.036
URL : https://hal.archives-ouvertes.fr/inria-00311515

J. Bengtson and J. Parrow, Formalising the pi-calculus using nominal logic, Proc. of the 10th International Conference on Foundations of Software Science and Computation Structures, pp.63-77, 2007.
DOI : 10.2168/LMCS-5(2:16)2009

J. Bengtson, M. Johansson, J. Parrow, and B. Victor, Psi-calculi: Mobile Processes, Nominal Data, and Logic, 2009 24th Annual IEEE Symposium on Logic In Computer Science, pp.39-48, 2009.
DOI : 10.1109/LICS.2009.20

T. Ridge, Operational Reasoning for Concurrent Caml Programs and Weak Memory Models, Theorem Proving for Higher Order Logics, TPHOLs'07, 2007.
DOI : 10.1007/978-3-540-74591-4_21

C. Flanagan and M. Felleisen, The semantics of future and an application, Journal of Functional Programming, vol.9, issue.1, pp.1-31, 1999.
DOI : 10.1017/S0956796899003329

L. Henrio and F. Kammüller, Functional active objects: typing and formalisation, in: 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA'09, ENTCS, vol.255, pp.83-101, 2009.

A. Fleck and F. Kammüller, Implementing Privacy with Erlang Active Objects, 2010 Fifth International Conference on Internet Monitoring and Protection, 2010.
DOI : 10.1109/ICIMP.2010.27

F. Kammüller, Using functional active objects to enforce privacy, 5th Conf. on Network Architectures and Information Systems Security, SAR-SSI, 2010.

M. Cole, Bringing skeletons out of the closet: a pragmatic manifesto for skeletal parallel programming, Parallel Computing, vol.30, issue.3, pp.389-406, 2004.
DOI : 10.1016/j.parco.2003.12.002

T. Barros, R. Ameur-boulifa, A. Cansado, L. Henrio, and E. Madelaine, Behavioural models for distributed Fractal components, annals of telecommunications - annales des t??l??communications, vol.5, issue.1, pp.25-43, 2009.
DOI : 10.1007/s12243-008-0069-7
URL : https://hal.archives-ouvertes.fr/inria-00268965

F. Baude, D. Caromel, C. Dalmasso, M. Danelutto, V. Getov et al., GCM: a grid extension to Fractal for autonomous distributed components, annals of telecommunications - annales des t??l??communications, vol.36, issue.1, 2008.
DOI : 10.1007/s12243-008-0068-8
URL : https://hal.archives-ouvertes.fr/inria-00323919

M. Beisiegel, H. Blohm, D. Booz, M. Edwards, and O. Hurley, SCA service component architecture, assembly model specification, 2007.

E. Bruneton, T. Coupaye, and J. B. Stefani, The Fractal Component Model, ObjectWeb Consortium, 2004.

R. Bruni, Service Oriented Architectural Design, LNCS, vol.4912, pp.186-203, 2007.
DOI : 10.1007/978-3-540-78663-4_14

J. Cámara, G. Salaün, C. Canal, and M. Ouederni, Interactive Specification and Verification of Behavioural Adaptation Contracts, Ninth International Conference on Quality Software, pp.65-75, 2009.

C. Canal, P. Poizat, and G. Salaün, Synchronizing Behavioural Mismatch in Software Composition, FMOODS 2006, pp.63-77, 2006.
DOI : 10.1145/244795.244801
URL : https://hal.archives-ouvertes.fr/hal-00342017

A. Cansado and E. Madelaine, Specification and Verification for Grid Component-Based Applications: From Models to Tools, Formal Methods for Components and Objects, pp.180-203, 2009.
DOI : 10.1007/11589976_6

I. Grabe, M. Steffen, and A. B. Torjusen, Executable Interface Specifications for Testing Asynchronous Creol Components, 2008.
DOI : 10.1007/978-3-642-11623-0_19

L. Henrio, F. Kammüller, and M. Rivera, An Asynchronous Distributed Component Model and Its Semantics, FMCO 2008, 2009.
DOI : 10.1145/1456190.1456201
URL : https://hal.archives-ouvertes.fr/inria-00435145

L. Henrio and M. U. Khan, Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL, Proceedings of the Seventh International Workshop, 2010.
DOI : 10.1016/j.entcs.2010.07.004
URL : https://hal.archives-ouvertes.fr/inria-00462325

E. Broch-johnsen and O. Owe, An asynchronous communication model for distributed concurrent objects, Proceedings of the Software Engineering and Formal Methods, pp.188-197, 2004.

E. Broch-johnsen, O. Owe, and I. C. Yu, Creol: A type-safe object-oriented model for distributed concurrent systems, Theoretical Computer Science, vol.365, issue.1-2, pp.23-66, 2006.
DOI : 10.1016/j.tcs.2006.07.031

M. U. Khan and L. Henrio, First class futures: a study of update strategies, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00435573

P. B. Merle and J. B. Stefani, A formal specification of the Fractal component model in Alloy, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00338987

J. Meseguer, Conditional rewriting logic as a unified model of concurrency, Theoretical Computer Science, vol.96, issue.1, pp.73-155, 1992.
DOI : 10.1016/0304-3975(92)90182-F

T. Nipkow, L. C. Paulson, and M. Wenzel, Isabelle/HOL ? A Proof Assistant for Higher-Order Logic, Isabelle/HOL, 2002.

O. Consortium and . Frascati, Open SCA middleware platform (2009), https://wiki.objectweb.org/frascati/Wiki.jsp?page=FraSCAti References [1] A. Arnold. Finite transition systems. Semantics of communicating sytems, 1994.

T. Barros, R. Boulifa, A. Cansado, L. Henrio, and E. Madelaine, Behavioural models for distributed Fractal components, annals of telecommunications - annales des t??l??communications, vol.5, issue.1, 2008.
DOI : 10.1007/s12243-008-0069-7
URL : https://hal.archives-ouvertes.fr/inria-00268965

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

D. Caromel and L. Henrio, A Theory of Distributed Object, 2005.

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

F. De-boer, D. Clarke, and E. B. Johnsen, A Complete Guide to the Future, ESOP, pp.316-330, 2007.
DOI : 10.1007/978-3-540-71316-6_22

J. Dedecker, T. V. Cutsem, S. Mostinckx, T. D. Hondt, and W. D. Meuter, Ambient-Oriented Programming in AmbientTalk, Lecture Notes in Computer Science, vol.4067, pp.230-254, 2006.
DOI : 10.1007/11785477_16

F. Fernandes and J. Royer, The STSLib Project: Towards a Formal Component Model Based on STS, Proceedings of the Fourth International Workshop on Formal Aspects of Component Software (FACS'07), 2007.
DOI : 10.1016/j.entcs.2008.06.025
URL : https://hal.archives-ouvertes.fr/hal-00416461

C. Flanagan and M. Felleisen, The semantics of future and an application, Journal of Functional Programming, vol.9, issue.1, pp.1-31, 1999.
DOI : 10.1017/S0956796899003329

H. Garavel, F. Lang, and R. Mateescu, An overview of CADP 2001. European Association for Software Science and Technology Newsletter, pp.13-24, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00069920

R. H. Halstead and J. , MULTILISP: a language for concurrent symbolic computation, ACM Transactions on Programming Languages and Systems, vol.7, issue.4, pp.501-538, 1985.
DOI : 10.1145/4472.4478

A. Cansado, Transparent First-class Futures and Distributed Components, Electronic Notes in Theoretical Computer Science, vol.260, pp.155-171, 2010.
DOI : 10.1016/j.entcs.2009.12.036
URL : https://hal.archives-ouvertes.fr/inria-00311515

R. Mateescu, Efficient Diagnostic Generation for Boolean Equation Systems, Tools and Algorithms for Construction and Analysis of Systems, pp.251-265, 2000.
DOI : 10.1007/3-540-46419-0_18
URL : https://hal.archives-ouvertes.fr/inria-00072795

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

A. Yonezawa, E. Shibayama, T. Takada, and Y. Honda, Modelling and programming in an objectoriented concurrent language ABCL/1, Object-Oriented Concurrent Programming, pp.55-89, 1987.

D. Caromel and L. Henrio, A Theory of Distributed Objects, 2005.

M. Malawski, M. Bubak, F. Baude, D. Caromel, L. Henrio et al., Interoperability of Grid component models: GCM and CCA case study, Towards Next Generation Grids: Proceedings of the CoreGrid Symposium, pp.95-105, 2007.
DOI : 10.1007/978-0-387-72498-0_9

F. Baude, D. Caromel, L. Henrio, and P. Naoumenko, A flexible model and implementation of component controllers In Making Grids Work ? Post-Proceedings Selected Papers From The Coregrid Workshop On Grid Programming Model, Grid And P2p Systems Architecture, Grid Systems, Tools And Environments, pp.31-43, 2007.

M. Malawski, T. Gubala, M. Kasztelnik, T. Bartynski, M. Bubak et al., High-level scripting approach for building component-based applications on the grid In Making Grids Work ? Post-Proceedings Selected Papers From The Coregrid Workshop On Grid Programming Model, Grid And P2p Systems Architecture, Grid Systems, Tools And Environments, pp.309-321, 2007.

A. Cansado, D. Caromel, L. Henrio, E. Madelaine, M. Rivera et al., The Common Component Modeling Example: Comparing Software Component Models, volume 5153 of Lecture Notes in Computer Science, chapter A Specification Language for Distributed Components implemented in GCM/ProActive, 2008.

I. Attali, D. Caromel, C. Courbis, L. Henrio, and H. Nilsson, An integrated development environment for Java Card, Computer Networks, vol.36, issue.4, 2001.
DOI : 10.1016/S1389-1286(01)00162-1

F. Baude, D. Caromel, C. Delbé, and L. Henrio, Un protocole de tol??rance aux pannes pour objets actifs non pr??emptifs, Technique et Science Informatiques, 2006.
DOI : 10.3166/tsi.24.1199-1226

F. Baude, D. Caromel, C. Dalmasso, M. Danelutto, V. Getov et al., GCM: a grid extension to Fractal for autonomous distributed components, annals of telecommunications - annales des t??l??communications, vol.36, issue.1, pp.5-24, 2009.
DOI : 10.1007/s12243-008-0068-8
URL : https://hal.archives-ouvertes.fr/inria-00323919

D. Caromel, L. Henrio, and B. P. Serpette, Asynchronous sequential processes, Information and Computation, vol.207, issue.4, pp.459-495, 2009.
DOI : 10.1016/j.ic.2008.12.004
URL : https://hal.archives-ouvertes.fr/inria-00071834

F. Baude, V. Legrand, L. Henrio, P. Naoumenko, H. Pfeffer et al., Mixing Workflows and Components to Support Evolving Services, International Journal of Adaptive, Resilient and Autonomic Systems, vol.1, issue.4, pp.60-84, 2010.
DOI : 10.4018/jaras.2010100105

L. Henrio, F. Kammüller, and B. Lutz, ASPfun : A typed functional active object calculus, Press, Corrected Proof:?, 2011. Conferences and Workshops
DOI : 10.1016/j.scico.2010.12.008

I. Attali, D. Caromel, C. Courbis, L. Henrio, and H. Nilsson, Smart Tools for Java Cards, Smart Card Research and Advanced Applications Proceedings of the IFIP Fourth Working Conference on Smart Card Research and Advanced Applications HP Labs, 2000.
DOI : 10.1007/978-0-387-35528-3_9

D. Caromel, L. Henrio, and B. Serpette, Context Inference for Static Analysis of Java Card Object Sharing, Proceedings e-Smart, 2001.
DOI : 10.1007/3-540-45418-7_5

L. Henrio and B. P. Serpette, A parameterized polyvariant Byte-Code verifier, Actes des journées JFLA, 2003.

D. Caromel, L. Henrio, and B. P. Serpette, Asynchronous and deterministic objects, Proceedings of the 31st ACM SIGACT-SIGPLAN symposium on Principles of programming languages (POPL), pp.123-134, 2004.

L. Henrio, B. P. Serpette, and S. Szentes, Algorithmes et complexités de la réduction statique minimale, Actes des journées JFLA, 2004.

I. Attali, D. Caromel, L. Henrio, F. L. , and D. Aguila, Secured Information Flow for Asynchronous Sequential Processes, 3rd International Workshop on Security Issues in Concurrency (SecCo'05), Electronic Notes in Theoretical Computer Science, 2005.
DOI : 10.1016/j.entcs.2005.05.045
URL : https://hal.archives-ouvertes.fr/inria-00122937

L. Baduel, F. Baude, D. Caromel, L. Henrio, F. Huet et al., Grid components techniques: Composing, gathering, and scattering, Coupled Problems 2005, Computational Methods for Coupled Problems in Science and Engineering, an ECCOMAS Thematic Conference, 2005.

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

F. Baude, D. Caromel, C. Delbé, and L. Henrio, A Hybrid Message Logging-CIC Protocol for Constrained Checkpointability, Proc. of the 11th International Euro-Par Conference, 2005.
DOI : 10.1007/11549468_71

A. Basso, A. Bolotov, A. Basukoski, V. Getov, L. Henrio et al., Specification and verification of reconfiguration protocols in grid component systems, Proceedings of the 3rd IEEE Conference On Intelligent Systems IS-2006, 2006.

S. Bezinne, V. Galtier, S. Vialle, F. Baude, and M. Bossy, Viet-Dung Doan, and Ludovic Henrio. A fault tolerant and multi-paradigm grid architecture for time constrained problems. application to financial option pricing, 2nd IEEE International Conference on e-Science and Grid Computing, 2006.

A. Cansado, L. Henrio, and E. Madelaine, Towards real case component model-checking, 5th Fractal Workshop, 2006.

D. Caromel and L. Henrio, Asynchonous Distributed Components: Concurrency and Determinacy, Proceedings of the IFIP International Conference on Theoretical Computer Science 2006 (IFIP TCS'06) 19th IFIP World Computer Congress, 2006.
DOI : 10.1007/978-0-387-34735-6_16
URL : https://hal.archives-ouvertes.fr/inria-00122924

J. Thiyagalingam, N. Parlavantzas, S. Isaiadis, L. Henrio, D. Caromel et al., Proposal for a lightweight generic grid platform architecture, Proceedings of CompFrame 2006, Component and Framework Technology in High-Performance and Scientific Computing, 2006.

F. Baude, D. Caromel, L. Henrio, and M. Morel, Collective Interfaces for Distributed Components, Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid '07), 2007.
DOI : 10.1109/CCGRID.2007.32

F. Baude, D. Caromel, C. Delbé, and L. Henrio, Promised messages, Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming , PPoPP '07, 2007.
DOI : 10.1145/1229428.1229463

F. Baude, L. Henrio, and P. Naoumenko, A Component Platform for Experimenting with Autonomic Composition, Proceedings of the 1st International ICST Conference on Autonomic Computing and Communication Systems, 2007.
DOI : 10.4108/ICST.AUTONOMICS2007.2200
URL : https://hal.archives-ouvertes.fr/inria-00178365

D. Caromel, G. Chazarain, and L. Henrio, Garbage Collecting the Grid: A Complete DGC for Activities, Proceedings of the 8th ACM/IFIP/USENIX International Middleware Conference, 2007.
DOI : 10.1145/359545.359563
URL : https://hal.archives-ouvertes.fr/inria-00180150

L. Henrio and F. Kammüller, A Mechanized Model of the Theory of Objects, 9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 2007.
DOI : 10.1007/BFb0026570
URL : https://hal.archives-ouvertes.fr/inria-00150272

A. Cansado, L. Henrio, and E. Madelaine, Transparent First-class Futures and Distributed Components, International Workshop on Formal Aspects of Component Software (FACS'08), 2008.
DOI : 10.1016/j.entcs.2009.12.036
URL : https://hal.archives-ouvertes.fr/inria-00311515

A. Cansado, L. Henrio, and E. Madelaine, Unifying Architectural and Behavioural Specifications of Distributed Components, International Workshop on Formal Aspects of Component Software (FACS'08), 2008.
DOI : 10.1016/j.entcs.2009.12.030
URL : https://hal.archives-ouvertes.fr/inria-00311516

D. Caromel, L. Henrio, and M. Leyton, Type Safe Algorithmic Skeletons, 16th Euromicro Conference on Parallel, Distributed and Network-Based Processing (PDP 2008), 2008.
DOI : 10.1109/PDP.2008.29

D. Caromel, L. Henrio, and E. Madelaine, Active Objects and Distributed Components: Theory and Implementation, number 5382 in LNCS, pp.179-199, 2007.
DOI : 10.1016/j.tcs.2006.08.016

L. Henrio and M. Rivera, Stopping safely hierarchical distributed components, Proceedings of the 2008 compFrame/HPC-GECO workshop on Component based high performance, CBHPC '08, pp.1-11, 2008.
DOI : 10.1145/1456190.1456201

B. Bannour, L. Henrio, and M. Rivera, A reconfiguration framework for distributed components, Proceedings of the 2009 ESEC/FSE workshop on Software integration and evolution @ runtime, SINTER '09, 2009.
DOI : 10.1145/1596495.1596509

F. Baude, L. Henrio, and P. Naoumenko, Structural Reconfiguration: An Autonomic Strategy for GCM Components, 2009 Fifth International Conference on Autonomic and Autonomous Systems, pp.123-128, 2009.
DOI : 10.1109/ICAS.2009.28

L. Henrio and F. Kammüller, Functional Active Objects: Typing and Formalisation, Proceedings of the International Workshop on the Foundations of Coordination Languages and Software Architecture (FOCLASA, 2009.
DOI : 10.1016/j.entcs.2009.10.026
URL : https://hal.archives-ouvertes.fr/hal-00485759

L. Henrio, F. Kammüller, and M. Rivera, An Asynchronous Distributed Component Model and Its Semantics, Formal Methods for Components and Objects, 7th International Symposium, pp.159-179, 2008.
DOI : 10.1145/1456190.1456201
URL : https://hal.archives-ouvertes.fr/inria-00435145

L. Rabéa-ameur-boulifa, E. Henrio, and . Madelaine, Behavioural models for group communications, WCSI-10: International Workshop on Component and Service Interoperability, 2010.

L. Henrio, F. Kammüller, and M. Khan, A Framework for Reasoning on Component Composition, FMCO 2009, 2010.
DOI : 10.1007/3-540-45949-9
URL : https://hal.archives-ouvertes.fr/inria-00490380

L. Henrio and M. Khan, Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL, Proceedings of the Seventh International Workshop, 2010.
DOI : 10.1016/j.entcs.2010.07.004
URL : https://hal.archives-ouvertes.fr/inria-00462325

L. Henrio, M. U. Khan, N. Ranaldo, and E. Zimeo, First Class Futures: Specification and Implementation of Update Strategies, Post-Proceedings Selected Papers From The Coregrid Workshop On Grids, Clouds and P2P Computing, 2010.
DOI : 10.1145/1103845.1094845
URL : https://hal.archives-ouvertes.fr/inria-00544594

M. Leyton, L. Henrio, and J. M. Piquer, Exceptions for Algorithmic Skeletons, 16th Int. European Conference on Parallel and Distributed Computing, 2010.
DOI : 10.1007/978-3-642-15291-7_3
URL : https://hal.archives-ouvertes.fr/hal-00486108

R. Rabéa-ameur-boulifa, L. Halalai, E. Henrio, and . Madelaine, Verifying safety of fault-tolerant distributed components, International Symposium on Formal Aspects of Component Software, 2011.

L. Henrio, F. Huet, Z. István, and G. Sebestyén, Adapting Active Objects to Multicore Architectures, 2011 10th International Symposium on Parallel and Distributed Computing, 2011.
DOI : 10.1109/ISPDC.2011.16
URL : https://hal.archives-ouvertes.fr/hal-00644169

L. Henrio, Calcul d'Objets Asynchrones : Confluence et Déterminisme, 2003.

L. Henrio, Analyses de partage pour applications javacard, 2000.

D. Caromel, C. Delbé, L. Henrio, and R. Quilici, Brevet " dispositif et procédé asynchrones et automatiques de transmission de résultats entre objets communicants, p.76, 2003.

D. Caromel, L. Henrio, and B. Serpette, Asynchronous sequential processes, Information and Computation, vol.207, issue.4, p.4753, 2003.
DOI : 10.1016/j.ic.2008.12.004
URL : https://hal.archives-ouvertes.fr/inria-00071834

L. Henrio, B. Serpette, and S. Szentes, Implementation and complexity of the lowest static reduction, Research Report, p.5034, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00071550

F. Baude, D. Caromel, C. Delbé, and L. Henrio, A fault tolerance protocol for ASP calculus : Design and proof, Research Report, p.5246, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00070752

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

F. Baude, D. Caromel, L. Henrio, and M. Morel, Collective interfaces for a grid component model, proposed extensions to the fractal component model, 2005.

R. M. Badia, O. Beckmann, S. Panagiotidi, D. Caromel, L. Henrio et al., Lightweight grid platform: Design methodology, 2006.

A. Basso, A. Bolotov, A. Basukoski, V. Getov, L. Henrio et al., Specification and verification of reconfiguration protocols in grid component systems, Institute on Programming Model, issue.WP3, 2006.

F. Baude, V. D. Doan, L. Henrio, P. Naoumenko, . Vtt et al., Specification of service life-cycle, BIONETS IP Project Delivrable from the Requirement and Analysis workpackage (3.2), 2006.

F. Baude, L. Henrio, . Vtt, and . Tub, Service architecture requirement specification, BIONETS IP Project Delivrable from the Requirement and Analysis workpackage, 2006.

F. Baude, D. Caromel, L. Henrio, M. Morel, and P. Naoumenko, Fractalising fractal controller for a componentisation of the non-functional aspects. 5th Fractal Workshop in conjunction with ECOOP, p.20, 2006.

D. Caromel, C. Delbé, and L. Henrio, Promised consistency for rollback recovery, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00071365

. Coregrid, Programming Model Institute Basic features of the grid component model (assessed) Technical report, CoreGRID, Programming Model Virtual Institute, 2006.

L. Henrio and F. Kammüller, A formalization of the theory of objects in Isabelle, p.6079, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00121816

F. Baude, L. Henrio, T. Partners, . Ubasel, . Cn et al., Specification of service evolution, BIONETS IP Project Delivrable from the Autonomic Service Life-Cycle And Service Ecosystems WP (3.2), 2007.

L. Henrio, F. Kammüller, and H. Sudhof, Aspfun: A functional and distributed object calculus semantics, type-system, and formalization, Research Report, vol.6353, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00186963

F. Baude, L. Henrio, P. Naoumenko, and H. Pfeffer, Graph-Based Service Individual specification: Creation and Representation, BIONETS IP Project Delivrable from the Autonomic Service Life-Cycle And Service Ecosystems WP (3.2), 2008.

L. Henrio and M. Rivera, An algorithm for safely stopping a component system, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00239449

J. Lahti, L. Henrio, K. Ville, F. Laura, D. Miorandi et al., Advanced service life-cycle and integration, BIONETS IP Project Delivrable from the Autonomic Service Life-Cycle And Service Ecosystems WP (3.2), 2008.

D. Linner, H. Pfeffer, S. Steglich, F. Baude, L. Henrio et al., Service probes implementation and evaluation, BIONETS IP Project Delivrable from the Service Probes WP (3.4), 2008.

F. Baude, L. Henrio, P. Naoumenko, D. Miorandi, and J. Lathi, Evaluating the fitness of service compositions, BIONETS IP Project Delivrable from the Autonomic Service Life-Cycle And Service Ecosystems WP (3.2), 2009.

M. Uzair-khan and L. Henrio, First class futures: A study of update strategies INRIA a CCSD electronic archive server based on, p.7113, 2009.

H. Pfeffer, L. Bassbouss, P. Naoumenko, D. Miorandi, D. Lowe et al., Bio inspired service creation and evolution, BIONETS IP Project Delivrable from the Autonomic Service Life-Cycle And Service Ecosystems WP (3.2), 2009.

F. Bongiovanni and L. Henrio, Mechanical Support for Efficient Dissemination on the CAN Overlay Network, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00585057

. References, E. Brian, A. Aydemir, N. Bohannon, B. Foster et al., The poplmark challenge, Web-site, 2008.

B. Aydemir, A. Charguéraud, B. C. Pierce, R. Pollack, and S. Weirich, Engineering formal metatheory, POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.3-15, 2008.

G. Agha, Actors: a model of concurrent computation in distributed systems, 1986.

G. Agha, I. A. Mason, S. F. Smith, and C. L. Talcott, A foundation for actor computation, Journal of Functional Programming, vol.7, issue.1, pp.1-72, 1997.
DOI : 10.1017/S095679689700261X

G. Agha and P. Thati, An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language, Essays in Memory of Ole-Johan Dahl, pp.26-57, 2004.
DOI : 10.1007/978-3-540-39993-3_4

H. Beisiegel, D. Blohm, M. Booz, O. Edwards, and . Hurley, SCA service component architecture, assembly model specification, 2007.

. Bbf-+-07-]-b, J. P. Berthomieu, M. Bodeveix, H. Filali, F. Garavel et al., The syntax and semantics of Fiacre, Rapport LAAS 07264 Rapport de Contrat Projet OpenEmbeDD, 2007.

S. Frank, D. De-boer, E. Clarke, and . Johnsen, A complete guide to the future, Proc. 16th European Symposium on Programming, pp.316-330, 2007.

E. Bruneton, T. Coupaye, M. Leclercp, V. Quema, and J. B. Stefani, An Open Component Model and Its Support in Java, 7th Int. Symp. on Component-Based Software Engineering (CBSE-7), 2004.
DOI : 10.1007/978-3-540-24774-6_3

A. [. Briatico, L. Ciuffoletti, and . Simoncini, A distributed domino-effect free recovery algorithm, Proceedings of the Fourth International Symposium on Reliability in Distributed Software and Databases, pp.207-215, 1984.

[. Bruneton, T. Coupaye, and J. B. Stefani, The Fractal Component Model, 2004.

R. Bakhshi and D. Gurov, Verification of Peer-to-peer Algorithms: A Case Study, Electronic Notes in Theoretical Computer Science, vol.181, pp.35-47, 2007.
DOI : 10.1016/j.entcs.2007.01.052

T. Bures, P. Hnetynka, and F. Plasil, SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model, Fourth International Conference on Software Engineering Research, Management and Applications (SERA'06), pp.40-48, 2006.
DOI : 10.1109/SERA.2006.62

J. Borgström, U. Nestmann, L. Onana, and D. Gurov, Verifying a Structured Peer-to-Peer Overlay Network: The Static Case, Global Computing, pp.250-265, 2005.
DOI : 10.1007/3-540-45518-3_18

[. Boulifa, Génération de modèles comportementaux des applications réparties, 2004.

J. [. Bengtson and . Parrow, Formalising the pi-calculus using nominal logic, Proc. of the 10th International Conference on Foundations of Software Science and Computation Structures (FOSSACS), pp.63-77, 2007.
DOI : 10.2168/LMCS-5(2:16)2009

. Charron-bost, . Bernadette, . Mattern, G. Friedemann, and . Tel, Synchronous, asynchronous, and causally ordered communication, Distributed Computing, vol.18, issue.2, pp.173-191, 1007.
DOI : 10.1007/s004460050018

]. D. Cddcl06, C. Caromel, A. Delbé, M. Di-costanzo, and . Leyton, ProActive: an integrated platform for programming and running applications on grids and P2P systems, Computational Methods in Science and Technology, vol.12, issue.1, pp.69-77, 2006.

C. P. Charles, V. Grothoff, C. Saraswat, A. Donawa, K. Kielstra et al., X10: an object-oriented approach to non-uniform cluster computing, Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp.519-538, 2005.

L. [. Ciaffaglione, M. Liquori, and . Miculan, Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts, Journal of Automated Reasoning, vol.87, issue.1, pp.1-47, 2007.
DOI : 10.1007/s10817-006-9061-y
URL : https://hal.archives-ouvertes.fr/hal-01148347

]. M. Col91 and . Cole, Algorithmic skeletons: structured management of parallel computation, 1991.

X. Chen and M. Simons, A Component Framework for Dynamic Reconfiguration of Distributed Systems, CD '02: Proceedings of the IFIP/ACM Working Conference on Component Deployment, pp.82-96, 2002.
DOI : 10.1007/3-540-45440-3_6

J. Dedecker, T. Van-cutsem, S. Mostinckx, and W. D. Meuter, Ambient-oriented programming in ambienttalk, Proceedings of 20th European Conference on Object-oriented Programming (ECOOP)

[. Delbé, Tolérance aux pannes pour objets actifs asynchrones -protocole, modèle et expérimentations, 2007.

P. David and T. Ledoux, Safe dynamic reconfigurations of fractal architectures with fscript, Proceeding of Fractal CBSE Workshop, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00485549

P. David, T. Ledoux, M. Léger, and T. Coupaye, FPath and FScript: Language support for navigation and reliable reconfiguration of Fractal architectures, annals of telecommunications - annales des t??l??communications, vol.7, issue.3, pp.45-63, 1007.
DOI : 10.1007/s12243-008-0073-y
URL : https://hal.archives-ouvertes.fr/hal-00468474

E. Elnozahy, L. Alvisi, Y. Wang, B. David, and . Johnson, A survey of rollback-recovery protocols in message-passing systems, ACM Computing Surveys, vol.34, issue.3, pp.375-408, 2002.
DOI : 10.1145/568522.568525

C. Flanagan and M. Felleisen, The semantics of future and its use in program optimization, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '95, pp.209-220, 1995.
DOI : 10.1145/199448.199484

C. Flanagan and M. Felleisen, The semantics of future and an application, Journal of Functional Programming, vol.9, issue.1, pp.1-31, 1999.
DOI : 10.1017/S0956796899003329

F. [. Garavel, R. Lang, and . Mateescu, An overview of CADP, European Association for Software Science and Technology (EASST) Newsletter, pp.13-24, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00069920

H. Garavel, F. Lang, R. Mateescu, and W. Serve, CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes, TACAS'11, 2011.
DOI : 10.1007/BFb0054166
URL : https://hal.archives-ouvertes.fr/inria-00583776

O. [. Gupta, D. Sahin, A. E. Agrawal, and . Abbadi, Meghdoot: Content-Based Publish/Subscribe over P2P Networks, Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware, pp.254-273, 2004.
DOI : 10.1007/3-540-45518-3_18

R. H. Halstead and J. , MULTILISP: a language for concurrent symbolic computation, ACM Transactions on Programming Languages and Systems, vol.7, issue.4, pp.501-538, 1985.
DOI : 10.1145/4472.4478

P. Hn?tynka and T. Bure?, Advanced features of hierarchical component models, Information Systems and Formal Methods, pp.3-10, 2007.

]. I. Hil04, J. Hillman, and . Warren, An open framework for dynamic reconfiguration, Software Engineering Proceedings. 26th International Conference on, pp.594-603, 2004.

K. [. Haustein and . Lohr, Jac: declarative java concurrency. Concurrency and Computation: Practice and Experience, pp.519-546, 2006.

[. Honsell, M. Miculan, and I. Scagnetto, ??-calculus in (Co)inductive-type theory, Theoretical Computer Science, vol.253, issue.2, pp.239-285, 2001.
DOI : 10.1016/S0304-3975(00)00095-5

E. Broch, J. , and O. Owe, An Asynchronous Communication Model for Distributed Concurrent Objects, Software & Systems Modeling, vol.6, issue.1, pp.39-58, 2006.

[. Johnsen, O. Owe, and I. C. Yu, Creol: A type-safe object-oriented model for distributed concurrent systems, Theoretical Computer Science, vol.365, issue.1-2, pp.23-66, 2006.
DOI : 10.1016/j.tcs.2006.07.031

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

M. Leyton, Advanced Features for Algorithmic Skeleton Programming, 2008.

[. Lu, S. Merz, and C. Weidenbach, Towards Verification of the Pastry Protocol Using TLA???+???, FMOODS/FORTE, pp.244-258, 2011.
DOI : 10.1007/3-540-48153-2_6
URL : https://hal.archives-ouvertes.fr/inria-00593523

M. [. Liu and . Parashar, A component based programming framework for autonomic applications, First International Conference on Autonomic Computing, 2004.

[. Lavender and D. C. Schmidt, Active object: an object behavioral pattern for concurrent programming, Pattern languages of program design 2, pp.483-499, 1996.

L. Lu and M. Scott, Toward a Formal Semantic Framework for Deterministic Parallel Programming, Proceedings of 25th Intl. Symp. on Distributed Computing (DISC), 2011.
DOI : 10.1145/322154.322158

E. Madelaine, Specification, Model Generation, and Verification of Distributed Applications, 2011.
URL : https://hal.archives-ouvertes.fr/tel-00625248

V. Mencl and T. Bures, Microcomponent-based component controllers: a foundation for component aspects, 12th Asia-Pacific Software Engineering Conference (APSEC'05), 2005.
DOI : 10.1109/APSEC.2005.78

]. A. Mg05a, M. Mukhija, and . Glinz, Runtime adaptation of applications through dynamic recomposition of components, Systems Aspects in Organic and Pervasive Computing -ARCS 2005, pp.124-138, 2005.

A. Mukhija and M. Glinz, The casa approach to autonomic applications, Proceedings of the 5th IEEE Workshop on Applications and Services in Wireless Networks, pp.173-182, 2005.

]. R. Mil89 and . Milner, Communication and Concurrency, 1989.

D. [. Mateescu and . Thivolle, A Model Checking Language for Concurrent Value-Passing Systems, LNCS, vol.5014, issue.08, 2008.
DOI : 10.1007/978-3-540-68237-0_12
URL : https://hal.archives-ouvertes.fr/inria-00315312

J. Niehren, D. Sabel, M. Schmidt-schauß, and J. Schwinghammer, Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures, 23rd Conference on Mathematical Foundations of Programming Semantics, 2007.
DOI : 10.1016/j.entcs.2007.02.041
URL : https://hal.archives-ouvertes.fr/inria-00128861

]. A. Pit03 and . Pitts, Nominal logic, a first order theory of names and binding. Information and Computation, pp.165-193, 2003.

F. [. Parizek and . Plasil, Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker, 2006 30th Annual IEEE/NASA Software Engineering Workshop, 2006.
DOI : 10.1109/SEW.2006.23

J. [. Poizat and . Royer, A Formal Architectural Description Language based on Transition Systems and Modal Logic, Journal of Universal Computer Science, issue.12, p.12, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00342156

J. [. Poizat, G. Royer, and . Salaun, Bounded Analysis and Decomposition for Behavioural Descriptions of Components, FMOODS, 2006.
DOI : 10.1145/353323.353382
URL : https://hal.archives-ouvertes.fr/hal-00342158

S. [. Plasil and . Visnovsky, Behavior protocols for software components, IEEE Transactions on Software Engineering, vol.28, issue.11, 2002.
DOI : 10.1109/TSE.2002.1049404

F. [. Ruz, B. Baude, and . Sauvan, Flexible Adaptation Loop for Component-based SOA applications, 7th International Conference on Autonomic and Autonomous Systems, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01332318

P. [. Rowstron and . Druschel, Pastry: Scalable, Decentralized Object Location, and Routing for Large-Scale Peer-to-Peer Systems, Int. Conference on Distributed Systems Platforms (Middleware), 2001.
DOI : 10.1007/3-540-45518-3_18

S. Ratnasamy, P. Francis, M. Handley, R. Karp, and S. Shenker, A Scalable Content- Addressable Network, Proceedings of the 2001 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications (SIGCOMM), pp.161-172, 2001.

D. [. Roeckl and . Hirschkoff, A fully adequate shallow embedding of the ??-calculus in Isabelle/HOL with mechanized syntax analysis, Journal of Functional Programming, vol.13, issue.02, pp.415-451, 2003.
DOI : 10.1017/S0956796802004653

M. [. Ratnasamy, R. Handley, S. Karp, and . Shenker, Application-Level Multicast Using Content-Addressable Networks, 2001.
DOI : 10.1007/3-540-45546-9_2

A. Rasche and A. Polze, Configuration and dynamic reconfiguration of component-based applications with microsoft .NET, Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003., p.164, 2003.
DOI : 10.1109/ISORC.2003.1199251

C. Ruz, Autonomic Monitoring and Management of Component-Based Services, 2011.

R. Stoica, D. Morris, M. F. Karger, H. Kaashoek, and . Balakrishnan, Chord: A Scalable Peer-to-Peer Lookup Service for Internet Applications, Proceedings of the 2001 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications (SIGCOMM), pp.149-160, 2001.

N. [. Seinturier, T. Pessemier, and . Coupaye, AOKell: an Aspect-Oriented Implementation of the Fractal Specifications, 2005.

N. [. Seinturier, L. Pessemier, T. Duchien, and . Coupaye, A Component Model Engineered with Components and Aspects, Proceedings of the 9th International SIGSOFT Symposium on Component-Based Software Engineering (CBSE'06), Lecture Notes in Computer Science, 2006.
DOI : 10.1007/11783565_10
URL : https://hal.archives-ouvertes.fr/inria-00126350

J. Schafer and A. Poetzsch-heffter, JCoBox: Generalizing Active Objects to Concurrent Components, ECOOP 2010?Object-Oriented Programming, pp.275-299, 2010.
DOI : 10.1007/978-3-642-14107-2_13

. Tbn-+-08-]-e, R. Tejedor, P. Badia, M. Naoumenko, C. Rivera et al., Orchestrating a safe functional suspension of gcm components, CoreGRID Integration Workshop, 2008.

[. Taura, S. Matsuoka, and A. Yonezawa, Abcl/f: A future-based polymorphic typed concurrent object-oriented language -its design and implementation, Proceedings of the DIMACS workshop on Specification of Parallel Algorithms, pp.275-292, 1994.

]. C. Uea06 and . Urban, Nominal methods group, Project funded by the German Research Foundation (DFG) within the Emmy-Noether Programme, 2006.

A. Welc, S. Jagannathan, and A. Hosking, Safe futures for java, SIGPLAN Not, vol.40, issue.10, 2005.

P. Zave, Lightweight verification of network protocols: The case of chord. Unpublished, 2009.

A. Appendix, /. Detailed, and . Univ, Associate Scientist at CNRS ? CR1 since 2009 OASIS Team -joint project INRIA of Nice Sophia Antipolis 2004 -05 Research fellow at the University of Westminster: 1 year Teaching at Harrow School of Computer Science Research in the " Distributed and High Performance Computing " department. Keywords: components, Grid, non-functional aspects, reconfiguration. 2003 -04 Temporary teaching and Research assistant: 1 year University of Nice Sophia-Antipolis at ESSI (computer science engineer school) Research at INRIA Sophia-Antipolis -OASIS team, pp.2001-2004, 2005.

. Ph and . In, in Sophia Antipolis Subject: Asynchronous Object Calculus: Confluence and Determinacy Advisor: Denis Caromel UNSA, IUF Co-advisor: Bernard Paul Serpette INRIA Sophia Antipolis Reviewer: Luca Cardelli Microsoft research, Cambridge Ugo Montanari Universita di Pisa Elie Najm ENST, Paris Jury members: Gérard Boudol (president) INRIA Sophia Antipolis Gilles Kahn INRIA Keywords: Parallelism, concurrency, object calculus, confluence, distribution. 2000 Research internship at INRIA Sophia Antipolis -OASIS project 5 months Static analysis of Java Card Object Sharing. keywords: Security, Java Card, static analysis, typing. 1999 -00 Master Degree in Computer Science Programming : semantics proofs and languages, Research internship at INRIA Sophia Antipolis -OASIS team 4 months Interactive testing of Java Card Applications. keywords: static analysis, 1999.

@. Teaching and . Programming, ? System programming (54h -ESSI 2 nd year), ? C language (42h -ESSI 3 rd year) ? Introduction to Programming ? C++ (66h -Univ. of Westminster -first year) ? Object Oriented Software Development ? Java (44h -Univ. of Westminster -first year) ? Semantics of Distributed and Embedded Systems, 2009.

. Noe-coregrid-type, European Network of excellence FP6 Title: The European Research Network of Excellence on Foundations, Software Infrastructures and Applications for large scale distributed, GRID and Peer-to-Peer Technologies Dates, pp.2005-2009