publications:
- title: "Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL"
  author:
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Muhammad Uzair Khan"
    link: "https://researchr.org/alias/muhammad-uzair-khan"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.entcs.2010.07.004"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2010.07.004"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/entcs/HenrioK10"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/HenrioK10"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "264"
  number: "1"
  pages: "35-53"
  kind: "article"
  key: "HenrioK10"
- title: "Asynchronous sequential processes"
  author:
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Bernard P. Serpette"
    link: "https://researchr.org/alias/bernard-p.-serpette"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.ic.2008.12.004"
  links:
    doi: "http://dx.doi.org/10.1016/j.ic.2008.12.004"
  researchr: "https://researchr.org/publication/CaromelHS09"
  cites: 0
  citedby: 0
  journal: "Inf. Comput."
  volume: "207"
  number: "4"
  pages: "459-495"
  kind: "article"
  key: "CaromelHS09"
- title: "Functional Active Objects: Typing and Formalisation"
  author:
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Florian Kammüller"
    link: "https://researchr.org/alias/florian-kamm%C3%A3%C2%BCller"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.10.026"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.10.026"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/HenrioK09"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "255"
  pages: "83-101"
  kind: "article"
  key: "HenrioK09"
- title: "Promised messages: recovering from inconsistent global states"
  author:
  - name: "Françoise Baude"
    link: "https://researchr.org/alias/fran%C3%A7oise-baude"
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Christian Delbé"
    link: "https://researchr.org/alias/christian-delb%C3%A9"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1229428.1229463"
  links:
    doi: "http://doi.acm.org/10.1145/1229428.1229463"
  researchr: "https://researchr.org/publication/BaudeCDH07"
  cites: 0
  citedby: 0
  pages: "154-155"
  booktitle: "Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2007, San Jose, California, USA, March 14-17, 2007"
  editor:
  - name: "Katherine A. Yelick"
    link: "https://researchr.org/alias/katherine-a.-yelick"
  - name: "John M. Mellor-Crummey"
    link: "https://researchr.org/alias/john-m.-mellor-crummey"
  publisher: "ACM"
  isbn: "978-1-59593-602-8"
  kind: "inproceedings"
  key: "BaudeCDH07"
- title: "A theory of distributed objects - asynchrony, mobility, groups, components"
  author:
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/b138812"
  links:
    doi: "http://dx.doi.org/10.1007/b138812"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/books/daglib/0012826"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/0012826"
  cites: 0
  citedby: 0
  publisher: "Springer"
  isbn: "978-3-540-20866-2"
  kind: "book"
  key: "0012826"
- title: "Interoperability of Grid component models: GCM and CCA case study"
  author:
  - name: "Maciej Malawski"
    link: "https://researchr.org/alias/maciej-malawski"
  - name: "Marian Bubak"
    link: "https://researchr.org/alias/marian-bubak"
  - name: "Françoise Baude"
    link: "https://researchr.org/alias/fran%C3%A7oise-baude"
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Matthieu Morel"
    link: "https://researchr.org/alias/matthieu-morel"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-0-387-72498-0_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-0-387-72498-0_9"
  tags:
  - "case study"
  researchr: "https://researchr.org/publication/MalawskiBBCHM07"
  cites: 0
  citedby: 0
  pages: "95-105"
  booktitle: "Towards Next Generation Grids, Proceedings of the CoreGRID Symposium 2007, August 27-28, Rennes, France"
  editor:
  - name: "Thierry Priol"
    link: "https://researchr.org/alias/thierry-priol"
  - name: "Marco Vanneschi"
    link: "https://researchr.org/alias/marco-vanneschi"
  publisher: "Springer"
  isbn: "978-0-387-72497-3"
  kind: "inproceedings"
  key: "MalawskiBBCHM07"
- title: "Adapting Active Objects to Multicore Architectures"
  author:
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Fabrice Huet"
    link: "https://researchr.org/alias/fabrice-huet"
  - name: "Zsolt István"
    link: "https://researchr.org/alias/zsolt-istv%C3%A1n"
  - name: "Gheorghe Sebestyen"
    link: "https://researchr.org/alias/gheorghe-sebestyen"
  year: "2011"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ISPDC.2011.16"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ISPDC.2011.16"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ispdc/HenrioHIS11"
  researchr: "https://researchr.org/publication/HenrioHIS11"
  cites: 0
  citedby: 0
  pages: "41-48"
  booktitle: "10th International Symposium on Parallel and Distributed Computing, ISPDC 2011, Cluj-Napoca, Romania, July 6-8, 2011"
  publisher: "IEEE"
  isbn: "978-1-4577-1536-5"
  kind: "inproceedings"
  key: "HenrioHIS11"
- title: "A Flexible Model and Implementation of Component Controllers"
  author:
  - name: "Françoise Baude"
    link: "https://researchr.org/alias/fran%C3%A7oise-baude"
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Paul Naoumenko"
    link: "https://researchr.org/alias/paul-naoumenko"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-0-387-78448-9_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-0-387-78448-9_3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/coregrid/BaudeCHN07"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/BaudeCHN07"
  cites: 0
  citedby: 0
  pages: "31-43"
  booktitle: "Making Grids Work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments, 12-13 June 2007, Heraklion, Crete, Greece"
  editor:
  - name: "Marco Danelutto"
    link: "https://researchr.org/alias/marco-danelutto"
  - name: "Paraskevi Fragopoulou"
    link: "https://researchr.org/alias/paraskevi-fragopoulou"
  - name: "Vladimir Getov"
    link: "https://researchr.org/alias/vladimir-getov"
  publisher: "Springer"
  isbn: "978-0-387-78447-2"
  kind: "inproceedings"
  key: "BaudeCHN07"
- title: "A Specification Language for Distributed Components Implemented in GCM/ProActive"
  author:
  - name: "Antonio Cansado"
    link: "http://www-sop.inria.fr/oasis/personnel/Antonio.Cansado/index.html"
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Eric Madelaine"
    link: "http://www.inria.fr/members/Eric.Madelaine"
  - name: "Marcela Rivera"
    link: "https://researchr.org/alias/marcela-rivera"
  - name: "Emil Salageanu"
    link: "https://researchr.org/alias/emil-salageanu"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-85289-6_16"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-85289-6_16"
  researchr: "https://researchr.org/publication/CansadoCHMRS07"
  cites: 0
  citedby: 0
  pages: "418-448"
  booktitle: "The Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, August 1-3, 2007]"
  editor:
  - name: "Andreas Rausch"
    link: "https://researchr.org/alias/andreas-rausch"
  - name: "Ralf Reussner"
    link: "https://researchr.org/alias/ralf-reussner"
  - name: "Raffaela Mirandola"
    link: "https://researchr.org/alias/raffaela-mirandola"
  - name: "Frantisek Plasil"
    link: "https://researchr.org/alias/frantisek-plasil"
  volume: "5153"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-85288-9"
  kind: "inproceedings"
  key: "CansadoCHMRS07"
- title: "An integrated development environment for Java Card"
  author:
  - name: "Isabelle Attali"
    link: "https://researchr.org/alias/isabelle-attali"
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Carine Courbis"
    link: "https://researchr.org/alias/carine-courbis"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Henrik Nilsson"
    link: "https://researchr.org/alias/henrik-nilsson"
  year: "2001"
  doi: "http://dx.doi.org/10.1016/S1389-1286(01)00162-1"
  links:
    doi: "http://dx.doi.org/10.1016/S1389-1286(01)00162-1"
  tags:
  - "Java"
  - "meta-model"
  - "model-driven development"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/AttaliCCHN01"
  cites: 0
  citedby: 0
  journal: "Computer Networks"
  volume: "36"
  number: "4"
  pages: "391-405"
  kind: "article"
  key: "AttaliCCHN01"
- title: "A Parametrized Polyvariant Bytecode Verifier"
  author:
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Bernard P. Serpette"
    link: "https://researchr.org/alias/bernard-p.-serpette"
  year: "2003"
  researchr: "https://researchr.org/publication/HenrioS03"
  cites: 0
  citedby: 0
  pages: "95-110"
  booktitle: "Journées francophones des langages applicatifs (JFLA 03), Chamrousse, France, Janvier 2003"
  editor:
  - name: "Jean-Christophe Filliâtre"
    link: "https://researchr.org/alias/jean-christophe-filli%C3%A2tre"
  series: "Collection Didactique"
  publisher: "INRIA"
  kind: "inproceedings"
  key: "HenrioS03"
- title: "Context Inference for Static Analysis of Java Card Object Sharing"
  author:
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Bernard P. Serpette"
    link: "https://researchr.org/alias/bernard-p.-serpette"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2140/21400043.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2140/21400043.htm"
  tags:
  - "Java"
  - "analysis"
  - "static analysis"
  - "context-aware"
  researchr: "https://researchr.org/publication/CaromelHS01"
  cites: 0
  citedby: 0
  pages: "43-57"
  booktitle: "Smart Card Programming and Security, International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001, Proceedings"
  editor:
  - name: "Isabelle Attali"
    link: "https://researchr.org/alias/isabelle-attali"
  - name: "Thomas P. Jensen"
    link: "https://researchr.org/alias/thomas-p.-jensen"
  volume: "2140"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42610-8"
  kind: "inproceedings"
  key: "CaromelHS01"
- title: "Self-Configuration and Self-Optimization Autonomic Skeletons using Events"
  author:
  - name: "Gustavo Pabón"
    link: "https://researchr.org/alias/gustavo-pab%C3%B3n"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2560683.2560699"
  links:
    doi: "http://doi.acm.org/10.1145/2560683.2560699"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ppopp/PabonH14"
  researchr: "https://researchr.org/publication/PabonH14"
  cites: 0
  citedby: 0
  pages: "21"
  booktitle: "Proceedings of the 2014 PPOPP International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM 2014, Orlando, Florida, USA, February 15, 2014"
  editor:
  - name: "Pavan Balaji"
    link: "https://researchr.org/alias/pavan-balaji"
  - name: "Minyi Guo"
    link: "https://researchr.org/alias/minyi-guo"
  - name: "Zhiyi Huang 0001"
    link: "https://researchr.org/alias/zhiyi-huang-0001"
  publisher: "ACM"
  isbn: "978-1-4503-2657-5"
  kind: "inproceedings"
  key: "PabonH14"
- title: "A component platform for experimenting with autonomic composition"
  author:
  - name: "Françoise Baude"
    link: "https://researchr.org/alias/fran%C3%A7oise-baude"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Paul Naoumenko"
    link: "https://researchr.org/alias/paul-naoumenko"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1365562.1365573"
  links:
    doi: "http://doi.acm.org/10.1145/1365562.1365573"
  tags:
  - "composition"
  researchr: "https://researchr.org/publication/BaudeHN07"
  cites: 0
  citedby: 0
  pages: "8"
  booktitle: "Proceedings of the 1st International Conference on Autonomic Computing and Communication Systems, Autonomics 2007,  28-30 October 2007, Rome, Italy"
  editor:
  - name: "F. Davide"
    link: "https://researchr.org/alias/f.-davide"
  volume: "302"
  series: "ACM International Conference Proceeding Series"
  publisher: "ACM"
  isbn: "978-963-9799-09-7"
  kind: "inproceedings"
  key: "BaudeHN07"
- title: "fun : A typed functional active object calculus"
  author:
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Florian Kammüller"
    link: "https://researchr.org/alias/florian-kamm%C3%BCller"
  - name: "Bianca Lutz"
    link: "https://researchr.org/alias/bianca-lutz"
  year: "2012"
  doi: "http://dx.doi.org/10.1016/j.scico.2010.12.008"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2010.12.008"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/HenrioKL12"
  researchr: "https://researchr.org/publication/HenrioKL12"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "77"
  number: "7-8"
  pages: "823-847"
  kind: "article"
  key: "HenrioKL12"
- title: "A Framework for Reasoning on Component Composition"
  author:
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Florian Kammüller"
    link: "https://researchr.org/alias/florian-kamm%C3%BCller"
  - name: "Muhammad Uzair Khan"
    link: "https://researchr.org/alias/muhammad-uzair-khan"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-17071-3_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-17071-3_1"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fmco/HenrioKK09"
  tags:
  - "composition"
  researchr: "https://researchr.org/publication/HenrioKK09"
  cites: 0
  citedby: 0
  pages: "1-20"
  booktitle: "Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers"
  editor:
  - name: "Frank S. de Boer"
    link: "https://researchr.org/alias/frank-s.-de-boer"
  - name: "Marcello M. Bonsangue"
    link: "https://researchr.org/alias/marcello-m.-bonsangue"
  - name: "Stefan Hallerstede"
    link: "https://researchr.org/alias/stefan-hallerstede"
  - name: "Michael Leuschel"
    link: "https://researchr.org/alias/michael-leuschel"
  volume: "6286"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-17070-6"
  kind: "inproceedings"
  key: "HenrioKK09"
- title: "High-Level Scripting Approach for Building Component-Based Applications on the Grid"
  author:
  - name: "Maciej Malawski"
    link: "https://researchr.org/alias/maciej-malawski"
  - name: "Tomasz Gubala"
    link: "https://researchr.org/alias/tomasz-gubala"
  - name: "Marek Kasztelnik"
    link: "https://researchr.org/alias/marek-kasztelnik"
  - name: "Tomasz Bartynski"
    link: "https://researchr.org/alias/tomasz-bartynski"
  - name: "Marian Bubak"
    link: "https://researchr.org/alias/marian-bubak"
  - name: "Françoise Baude"
    link: "https://researchr.org/alias/fran%C3%A7oise-baude"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-0-387-78448-9_25"
  links:
    doi: "http://dx.doi.org/10.1007/978-0-387-78448-9_25"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/coregrid/MalawskiGKBBBH07"
  tags:
  - "rule-based"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/MalawskiGKBBBH07"
  cites: 0
  citedby: 0
  pages: "309-321"
  booktitle: "Making Grids Work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments, 12-13 June 2007, Heraklion, Crete, Greece"
  editor:
  - name: "Marco Danelutto"
    link: "https://researchr.org/alias/marco-danelutto"
  - name: "Paraskevi Fragopoulou"
    link: "https://researchr.org/alias/paraskevi-fragopoulou"
  - name: "Vladimir Getov"
    link: "https://researchr.org/alias/vladimir-getov"
  publisher: "Springer"
  isbn: "978-0-387-78447-2"
  kind: "inproceedings"
  key: "MalawskiGKBBBH07"
- title: "Secured Information Flow for Asynchronous Sequential Processes"
  author:
  - name: "Isabelle Attali"
    link: "https://researchr.org/alias/isabelle-attali"
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Felipe Luna Del Aguila"
    link: "https://researchr.org/alias/felipe-luna-del-aguila"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.05.045"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.05.045"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/AttaliCHA07"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "180"
  number: "1"
  pages: "17-34"
  kind: "article"
  key: "AttaliCHA07"
- title: "Locally Nameless Sigma Calculus"
  author:
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Florian Kammüller"
    link: "https://researchr.org/alias/florian-kamm%C3%BCller"
  - name: "Bianca Lutz"
    link: "https://researchr.org/alias/bianca-lutz"
  - name: "Henry Sudhof"
    link: "https://researchr.org/alias/henry-sudhof"
  year: "2010"
  doi: "http://afp.sourceforge.net/entries/Locally-Nameless-Sigma.shtml"
  note: "Formal proof development"
  links:
    doi: "http://afp.sourceforge.net/entries/Locally-Nameless-Sigma.shtml"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/afp/HenrioKLS10"
  researchr: "https://researchr.org/publication/HenrioKLS10"
  cites: 0
  citedby: 0
  journal: "Archive of Formal Proofs"
  volume: "2010"
  kind: "article"
  key: "HenrioKLS10"
- title: "Collective Interfaces for Distributed Components"
  author:
  - name: "Françoise Baude"
    link: "https://researchr.org/alias/fran%C3%A7oise-baude"
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Matthieu Morel"
    link: "https://researchr.org/alias/matthieu-morel"
  year: "2007"
  doi: "http://dx.doi.org/10.1109/CCGRID.2007.32"
  links:
    doi: "http://dx.doi.org/10.1109/CCGRID.2007.32"
  researchr: "https://researchr.org/publication/BaudeCHM07"
  cites: 0
  citedby: 0
  pages: "599-610"
  booktitle: "Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2007), 14-17 May 2007, Rio de Janeiro, Brazil"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "BaudeCHM07"
- title: "Transparent First-class Futures and Distributed Components"
  author:
  - name: "Antonio Cansado"
    link: "http://www-sop.inria.fr/oasis/personnel/Antonio.Cansado/index.html"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Eric Madelaine"
    link: "http://www.inria.fr/members/Eric.Madelaine"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.12.036"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.12.036"
  researchr: "https://researchr.org/publication/CansadoHM10"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "260"
  pages: "155-171"
  kind: "article"
  key: "CansadoHM10"
- title: "Un protocole de tolérance aux pannes pour objets actifs non préemptifs"
  author:
  - name: "Françoise Baude"
    link: "https://researchr.org/alias/fran%C3%A7oise-baude"
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Christian Delbé"
    link: "https://researchr.org/alias/christian-delb%C3%A9"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  year: "2005"
  doi: "http://tsi.revuesonline.com/article.jsp?articleId=7767"
  links:
    doi: "http://tsi.revuesonline.com/article.jsp?articleId=7767"
  researchr: "https://researchr.org/publication/BaudeCDH05"
  cites: 0
  citedby: 0
  journal: "Technique et Science Informatiques"
  volume: "24"
  number: "10"
  pages: "1199-1226"
  kind: "article"
  key: "BaudeCDH05"
- title: "Unifying Architectural and Behavioural Specifications of Distributed Components"
  author:
  - name: "Antonio Cansado"
    link: "http://www-sop.inria.fr/oasis/personnel/Antonio.Cansado/index.html"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Eric Madelaine"
    link: "http://www.inria.fr/members/Eric.Madelaine"
  - name: "Pablo Valenzuela"
    link: "https://researchr.org/alias/pablo-valenzuela"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.12.030"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.12.030"
  tags:
  - "architecture"
  researchr: "https://researchr.org/publication/CansadoHMV10"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "260"
  pages: "25-45"
  kind: "article"
  key: "CansadoHMV10"
- title: "Structural Reconfiguration: An Autonomic Strategy for GCM Components"
  author:
  - name: "Françoise Baude"
    link: "https://researchr.org/alias/fran%C3%A3%C2%A7oise-baude"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Paul Naoumenko"
    link: "https://researchr.org/alias/paul-naoumenko"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICAS.2009.28"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICAS.2009.28"
  researchr: "https://researchr.org/publication/BaudeHN09"
  cites: 0
  citedby: 0
  pages: "123-128"
  booktitle: "Fifth International Conference on Autonomic and Autonomous Systems, ICAS 2009, Valencia, Spain, 20-25 April 2009"
  editor:
  - name: "Radu Calinescu"
    link: "https://researchr.org/alias/radu-calinescu"
  - name: "Fidel Liberal"
    link: "https://researchr.org/alias/fidel-liberal"
  - name: "Mauricio Marín"
    link: "https://researchr.org/alias/mauricio-mar%C3%A3%C2%ADn"
  - name: "Lourdes Peñalver Herrero"
    link: "https://researchr.org/alias/lourdes-pe%C3%A3%C2%B1alver-herrero"
  - name: "Carlos Turro"
    link: "https://researchr.org/alias/carlos-turro"
  - name: "Manuela Popescu"
    link: "https://researchr.org/alias/manuela-popescu"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-3584-5"
  kind: "inproceedings"
  key: "BaudeHN09"
- title: "Asynchonous Distributed Components: Concurrency and Determinacy"
  author:
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-0-387-34735-6_16"
  links:
    doi: "http://dx.doi.org/10.1007/978-0-387-34735-6_16"
  researchr: "https://researchr.org/publication/CaromelH06"
  cites: 0
  citedby: 0
  pages: "165-183"
  booktitle: "Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), IFIP 19th World Computer Congress, TC-1 Foundations of Computer Science, August 23-24, 2006, Santiago, Chile"
  editor:
  - name: "Gonzalo Navarro"
    link: "https://researchr.org/alias/gonzalo-navarro"
  - name: "Leopoldo E. Bertossi"
    link: "https://researchr.org/alias/leopoldo-e.-bertossi"
  - name: "Yoshiharu Kohayakawa"
    link: "https://researchr.org/alias/yoshiharu-kohayakawa"
  volume: "209"
  series: "IFIP"
  publisher: "Springer"
  isbn: "0-387-34633-3"
  kind: "inproceedings"
  key: "CaromelH06"
- title: "Behavioural Models for Hierarchical Components"
  author:
  - name: "Tomás Barros"
    link: "https://researchr.org/alias/tom%C3%A1s-barros"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Eric Madelaine"
    link: "http://www.inria.fr/members/Eric.Madelaine"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11537328_14"
  links:
    doi: "http://dx.doi.org/10.1007/11537328_14"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/BarrosHM05"
  cites: 0
  citedby: 0
  pages: "154-168"
  booktitle: "Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings"
  editor:
  - name: "Patrice Godefroid"
    link: "https://researchr.org/alias/patrice-godefroid"
  volume: "3639"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-28195-9"
  kind: "inproceedings"
  key: "BarrosHM05"
- title: "An Asynchronous Distributed Component Model and Its Semantics"
  author:
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Florian Kammüller"
    link: "https://researchr.org/alias/florian-kamm%C3%A3%C2%BCller"
  - name: "Marcela Rivera"
    link: "https://researchr.org/alias/marcela-rivera"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-04167-9_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-04167-9_9"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/HenrioKR08"
  cites: 0
  citedby: 0
  pages: "159-179"
  booktitle: "Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures"
  editor:
  - name: "Frank S. de Boer"
    link: "https://researchr.org/alias/frank-s.-de-boer"
  - name: "Marcello M. Bonsangue"
    link: "https://researchr.org/alias/marcello-m.-bonsangue"
  - name: "Eric Madelain"
    link: "https://researchr.org/alias/eric-madelain"
  volume: "5751"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-04166-2"
  kind: "inproceedings"
  key: "HenrioKR08"
- title: "Behavioural models for distributed Fractal components"
  author:
  - name: "Tomás Barros"
    link: "https://researchr.org/alias/tom%C3%A1s-barros"
  - name: "Rabéa Ameur-Boulifa"
    link: "https://researchr.org/alias/rab%C3%A9a-ameur-boulifa"
  - name: "Antonio Cansado"
    link: "http://www-sop.inria.fr/oasis/personnel/Antonio.Cansado/index.html"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Eric Madelaine"
    link: "http://www.inria.fr/members/Eric.Madelaine"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s12243-008-0069-7"
  links:
    doi: "http://dx.doi.org/10.1007/s12243-008-0069-7"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/BarrosACHM09"
  cites: 0
  citedby: 0
  journal: "Annales des Télécommunications"
  volume: "64"
  number: "1-2"
  pages: "25-43"
  kind: "article"
  key: "BarrosACHM09"
- title: "A Mechanized Model for CAN Protocols"
  author:
  - name: "Francesco Bongiovanni"
    link: "https://researchr.org/alias/francesco-bongiovanni"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-37057-1_20"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-37057-1_20"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fase/BongiovanniH13"
  researchr: "https://researchr.org/publication/BongiovanniH13"
  cites: 0
  citedby: 0
  pages: "266-281"
  booktitle: "Fundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings"
  editor:
  - name: "Vittorio Cortellessa"
    link: "https://researchr.org/alias/vittorio-cortellessa"
  - name: "Dániel Varró"
    link: "https://researchr.org/alias/d%C3%A1niel-varr%C3%B3"
  volume: "7793"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-37056-4"
  kind: "inproceedings"
  key: "BongiovanniH13"
- title: "Smart Tools for Java Cards"
  author:
  - name: "Isabelle Attali"
    link: "https://researchr.org/alias/isabelle-attali"
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Carine Courbis"
    link: "https://researchr.org/alias/carine-courbis"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Henrik Nilsson"
    link: "https://researchr.org/alias/henrik-nilsson"
  year: "2000"
  tags:
  - "Java"
  researchr: "https://researchr.org/publication/AttaliCCHN00"
  cites: 0
  citedby: 0
  pages: "155-176"
  booktitle: "Smart Card Research and Advanced Applications, Proceedings of the Fourth Working Conference on Smart Card Research and Advanced Applications, CARDIS 2000, September 20-22, 2000, Bristol, UK"
  editor:
  - name: "Josep Domingo-Ferrer"
    link: "https://researchr.org/alias/josep-domingo-ferrer"
  - name: "David Chan"
    link: "https://researchr.org/alias/david-chan"
  - name: "Anthony Watson"
    link: "https://researchr.org/alias/anthony-watson"
  volume: "180"
  series: "IFIP Conference Proceedings"
  publisher: "Kluwer"
  isbn: "0-7923-7953-5"
  kind: "inproceedings"
  key: "AttaliCCHN00"
- title: "GCM: a grid extension to Fractal for autonomous distributed components"
  author:
  - name: "Françoise Baude"
    link: "https://researchr.org/alias/fran%C3%A7oise-baude"
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Cédric Dalmasso"
    link: "https://researchr.org/alias/c%C3%A9dric-dalmasso"
  - name: "Marco Danelutto"
    link: "https://researchr.org/alias/marco-danelutto"
  - name: "Vladimir Getov"
    link: "https://researchr.org/alias/vladimir-getov"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Christian Pérez"
    link: "https://researchr.org/alias/christian-p%C3%A9rez"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s12243-008-0068-8"
  links:
    doi: "http://dx.doi.org/10.1007/s12243-008-0068-8"
  researchr: "https://researchr.org/publication/BaudeCDDGHP09"
  cites: 0
  citedby: 0
  journal: "Annales des Télécommunications"
  volume: "64"
  number: "1-2"
  pages: "5-24"
  kind: "article"
  key: "BaudeCDDGHP09"
- title: "Garbage Collecting the Grid: A Complete DGC for Activities"
  author:
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Guillaume Chazarain"
    link: "https://researchr.org/alias/guillaume-chazarain"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-76778-7_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-76778-7_9"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/CaromelCH07"
  cites: 0
  citedby: 0
  pages: "164-183"
  booktitle: "Middleware 2007, ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007, Proceedings"
  editor:
  - name: "Renato Cerqueira"
    link: "https://researchr.org/alias/renato-cerqueira"
  - name: "Roy H. Campbell"
    link: "https://researchr.org/alias/roy-h.-campbell"
  volume: "4834"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-76777-0"
  kind: "inproceedings"
  key: "CaromelCH07"
- title: "Verification of Distributed Hierarchical Components"
  author:
  - name: "Tomás Barros"
    link: "https://researchr.org/alias/tom%C3%A1s-barros"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Eric Madelaine"
    link: "http://www.inria.fr/members/Eric.Madelaine"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2006.05.014"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2006.05.014"
  researchr: "https://researchr.org/publication/BarrosHM06"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "160"
  pages: "41-55"
  kind: "article"
  key: "BarrosHM06"
- title: "Exceptions for Algorithmic Skeletons"
  author:
  - name: "Mario Leyton"
    link: "https://researchr.org/alias/mario-leyton"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "José M. Piquer"
    link: "https://researchr.org/alias/jos%C3%A9-m.-piquer"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-15291-7_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-15291-7_3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/europar/LeytonHP10"
  tags:
  - "exceptions"
  researchr: "https://researchr.org/publication/LeytonHP10"
  cites: 0
  citedby: 0
  pages: "14-25"
  booktitle: "Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II"
  editor:
  - name: "Pasqua D Ambra"
    link: "https://researchr.org/alias/pasqua-d-ambra"
  - name: "Mario Rosario Guarracino"
    link: "https://researchr.org/alias/mario-rosario-guarracino"
  - name: "Domenico Talia"
    link: "https://researchr.org/alias/domenico-talia"
  volume: "6272"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-15290-0"
  kind: "inproceedings"
  key: "LeytonHP10"
- title: "A Hybrid Message Logging-CIC Protocol for Constrained Checkpointability"
  author:
  - name: "Françoise Baude"
    link: "https://researchr.org/alias/fran%C3%A7oise-baude"
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Christian Delbé"
    link: "https://researchr.org/alias/christian-delb%C3%A9"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11549468_71"
  links:
    doi: "http://dx.doi.org/10.1007/11549468_71"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/BaudeCDH05%3A0"
  cites: 0
  citedby: 0
  pages: "644-653"
  booktitle: "Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings"
  editor:
  - name: "José C. Cunha"
    link: "https://researchr.org/alias/jos%C3%A9-c.-cunha"
  - name: "Pedro D. Medeiros"
    link: "https://researchr.org/alias/pedro-d.-medeiros"
  volume: "3648"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-28700-0"
  kind: "inproceedings"
  key: "BaudeCDH05:0"
- title: "A Fault Tolerant and Multi-Paradigm Grid Architecture for Time Constrained Problems. Application to Option Pricing in Finance"
  author:
  - name: "Sebastien Bezzine"
    link: "https://researchr.org/alias/sebastien-bezzine"
  - name: "Virginie Galtier"
    link: "https://researchr.org/alias/virginie-galtier"
  - name: "Stéphane Vialle"
    link: "https://researchr.org/alias/st%C3%A9phane-vialle"
  - name: "Françoise Baude"
    link: "https://researchr.org/alias/fran%C3%A7oise-baude"
  - name: "Mireille Bossy"
    link: "https://researchr.org/alias/mireille-bossy"
  - name: "Viet Dung Doan"
    link: "https://researchr.org/alias/viet-dung-doan"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/E-SCIENCE.2006.7"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/E-SCIENCE.2006.7"
  tags:
  - "architecture"
  researchr: "https://researchr.org/publication/BezzineGVBBDH06"
  cites: 0
  citedby: 0
  pages: "49"
  booktitle: "Second International Conference on e-Science and Grid Technologies (e-Science 2006), 4-6 December 2006, Amsterdam, The Netherlands"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2734-5"
  kind: "inproceedings"
  key: "BezzineGVBBDH06"
- title: "A Mechanized Model of the Theory of Objects"
  author:
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Florian Kammüller"
    link: "https://researchr.org/alias/florian-kamm%C3%BCller"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-72952-5_12"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-72952-5_12"
  tags:
  - "meta-model"
  - "object-role modeling"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/HenrioK07"
  cites: 0
  citedby: 0
  pages: "190-205"
  booktitle: "Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings"
  editor:
  - name: "Marcello M. Bonsangue"
    link: "https://researchr.org/alias/marcello-m.-bonsangue"
  - name: "Einar Broch Johnsen"
    link: "https://researchr.org/alias/einar-broch-johnsen"
  volume: "4468"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-72919-8"
  kind: "inproceedings"
  key: "HenrioK07"
- title: "Type Safe Algorithmic Skeletons"
  author:
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Mario Leyton"
    link: "https://researchr.org/alias/mario-leyton"
  year: "2008"
  doi: "http://doi.ieeecomputersociety.org/10.1109/PDP.2008.29"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/PDP.2008.29"
  researchr: "https://researchr.org/publication/CaromelHL08"
  cites: 0
  citedby: 0
  pages: "45-53"
  booktitle: "16th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2008), 13-15 February 2008, Toulouse, France"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "CaromelHL08"
- title: "Verifying Safety of Fault-Tolerant Distributed Components"
  author:
  - name: "Rabéa Ameur-Boulifa"
    link: "https://researchr.org/alias/rab%C3%A9a-ameur-boulifa"
  - name: "Raluca Halalai"
    link: "https://researchr.org/alias/raluca-halalai"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Eric Madelaine"
    link: "https://researchr.org/alias/eric-madelaine"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-35743-5_17"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-35743-5_17"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/facs2/Ameur-BoulifaHHM11"
  researchr: "https://researchr.org/publication/Ameur-BoulifaHHM11"
  cites: 0
  citedby: 0
  pages: "278-295"
  booktitle: "Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers"
  editor:
  - name: "Farhad Arbab"
    link: "https://researchr.org/alias/farhad-arbab"
  - name: "Peter Csaba Ölveczky"
    link: "https://researchr.org/alias/peter-csaba-%C3%B6lveczky"
  volume: "7253"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-35743-5"
  kind: "inproceedings"
  key: "Ameur-BoulifaHHM11"
- title: "An Optimal Broadcast Algorithm for Content-Addressable Networks"
  author:
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Fabrice Huet"
    link: "https://researchr.org/alias/fabrice-huet"
  - name: "Justine Rochas"
    link: "https://researchr.org/alias/justine-rochas"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-319-03850-6_13"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-03850-6_13"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/opodis/HenrioHR13"
  researchr: "https://researchr.org/publication/HenrioHR13"
  cites: 0
  citedby: 0
  pages: "176-190"
  booktitle: "Principles of Distributed Systems - 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings"
  editor:
  - name: "Roberto Baldoni"
    link: "https://researchr.org/alias/roberto-baldoni"
  - name: "Nicolas Nisse"
    link: "https://researchr.org/alias/nicolas-nisse"
  - name: "Maarten van Steen"
    link: "https://researchr.org/alias/maarten-van-steen"
  volume: "8304"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-03849-0"
  kind: "inproceedings"
  key: "HenrioHR13"
- title: "Active Objects and Distributed Components: Theory and Implementation"
  author:
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Eric Madelaine"
    link: "http://www.inria.fr/members/Eric.Madelaine"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-92188-2_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-92188-2_6"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/CaromelHM07"
  cites: 0
  citedby: 0
  pages: "133-152"
  booktitle: "Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures"
  editor:
  - name: "Frank S. de Boer"
    link: "https://researchr.org/alias/frank-s.-de-boer"
  - name: "Marcello M. Bonsangue"
    link: "https://researchr.org/alias/marcello-m.-bonsangue"
  - name: "Susanne Graf"
    link: "https://researchr.org/alias/susanne-graf"
  - name: "Willem P. de Roever"
    link: "https://researchr.org/alias/willem-p.-de-roever"
  volume: "5382"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-92187-5"
  kind: "inproceedings"
  key: "CaromelHM07"
- title: "Mixing Workflows and Components to Support Evolving Services"
  author:
  - name: "Françoise Baude"
    link: "https://researchr.org/alias/fran%26ccedil%3Boise-baude"
  - name: "Virginie Legrand Contes"
    link: "https://researchr.org/alias/virginie-legrand-contes"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Paul Naoumenko"
    link: "https://researchr.org/alias/paul-naoumenko"
  - name: "Heiko Pfeffer"
    link: "https://researchr.org/alias/heiko-pfeffer"
  - name: "Louay Bassbouss"
    link: "https://researchr.org/alias/louay-bassbouss"
  - name: "David Linner"
    link: "https://researchr.org/alias/david-linner"
  year: "2010"
  doi: "http://dx.doi.org/10.4018/jaras.2010100105"
  links:
    doi: "http://dx.doi.org/10.4018/jaras.2010100105"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ijaras/BaudeCHNPBL10"
  tags:
  - "workflow"
  researchr: "https://researchr.org/publication/BaudeCHNPBL10"
  cites: 0
  citedby: 0
  journal: "IJARAS"
  volume: "1"
  number: "4"
  pages: "60-84"
  kind: "article"
  key: "BaudeCHNPBL10"
- title: "Multi-threaded Active Objects"
  author:
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Fabrice Huet"
    link: "https://researchr.org/alias/fabrice-huet"
  - name: "Zsolt István"
    link: "https://researchr.org/alias/zsolt-istv%C3%A1n"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-38493-6_7"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-38493-6_7"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/coordination/HenrioHI13"
  researchr: "https://researchr.org/publication/HenrioHI13"
  cites: 0
  citedby: 0
  pages: "90-104"
  booktitle: "Coordination Models and Languages, 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings"
  editor:
  - name: "Rocco De Nicola"
    link: "https://researchr.org/alias/rocco-de-nicola"
  - name: "Christine Julien"
    link: "https://researchr.org/alias/christine-julien"
  volume: "7890"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-38493-6"
  kind: "inproceedings"
  key: "HenrioHI13"
- title: "Asynchronous and deterministic objects"
  author:
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Bernard P. Serpette"
    link: "https://researchr.org/alias/bernard-p.-serpette"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/964001.964012"
  links:
    doi: "http://doi.acm.org/10.1145/964001.964012"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/CaromelHS04"
  cites: 0
  citedby: 0
  pages: "123-134"
  booktitle: "Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004"
  editor:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  - name: "Xavier Leroy"
    link: "http://pauillac.inria.fr/~xleroy/"
  publisher: "ACM"
  isbn: "1-58113-729-X"
  kind: "inproceedings"
  key: "CaromelHS04"
- title: "First Class Futures: Specification and Implementation of Update Strategies"
  author:
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Muhammad Uzair Khan"
    link: "https://researchr.org/alias/muhammad-uzair-khan"
  - name: "Nadia Ranaldo"
    link: "https://researchr.org/alias/nadia-ranaldo"
  - name: "Eugenio Zimeo"
    link: "https://researchr.org/alias/eugenio-zimeo"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-21878-1_37"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-21878-1_37"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/europar/HenrioKRZ10"
  researchr: "https://researchr.org/publication/HenrioKRZ10"
  cites: 0
  citedby: 0
  pages: "295-303"
  booktitle: "Euro-Par 2010 Parallel Processing Workshops - HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31-September 3, 2010, Revised Selected Papers"
  editor:
  - name: "Mario R. Guarracino"
    link: "https://researchr.org/alias/mario-r.-guarracino"
  - name: "Frédéric Vivien"
    link: "https://researchr.org/alias/fr%26eacute%3Bd%26eacute%3Bric-vivien"
  - name: "Jesper Larsson Träff"
    link: "https://researchr.org/alias/jesper-larsson-tr%26auml%3Bff"
  - name: "Mario Cannatoro"
    link: "https://researchr.org/alias/mario-cannatoro"
  - name: "Marco Danelutto"
    link: "https://researchr.org/alias/marco-danelutto"
  - name: "Anders Hast"
    link: "https://researchr.org/alias/anders-hast"
  - name: "Francesca Perla"
    link: "https://researchr.org/alias/francesca-perla"
  - name: "Andreas Knüpfer"
    link: "https://researchr.org/alias/andreas-kn%26uuml%3Bpfer"
  - name: "Beniamino Di Martino"
    link: "https://researchr.org/alias/beniamino-di-martino"
  - name: "Michael Alexander"
    link: "https://researchr.org/alias/michael-alexander"
  volume: "6586"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-21877-4"
  kind: "inproceedings"
  key: "HenrioKRZ10"