<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-01299562</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-24T02:29:42+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">A Theory for the Composition of Concurrent Processes -Extended version</title>
            <title xml:lang="fr">Une theorie pour la composition de processus concurrents - Version etendue</title>
            <author role="aut">
              <persName>
                <forename type="first">Ludovic</forename>
                <surname>Henrio</surname>
              </persName>
              <email type="md5">0cfe963c407482275255c1029a438ef9</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">ludovic-henrio</idno>
              <idno type="idhal" notation="numeric">595</idno>
              <idno type="halauthorid" notation="string">18966-595</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=ZGvMp1sAAAAJ&amp;hl=en</idno>
              <idno type="IDREF">https://www.idref.fr/077367979</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-7137-3523</idno>
              <affiliation ref="#struct-1060935"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Eric</forename>
                <surname>Madelaine</surname>
              </persName>
              <email type="md5">e31733899904c147cbbf097bd471ee91</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">eric-madelaine</idno>
              <idno type="idhal" notation="numeric">16780</idno>
              <idno type="halauthorid" notation="string">21718-16780</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-5552-5993</idno>
              <idno type="IDREF">https://www.idref.fr/087543958</idno>
              <affiliation ref="#struct-455237"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Min</forename>
                <surname>Zhang</surname>
              </persName>
              <idno type="halauthorid">212129-0</idno>
              <affiliation ref="#struct-300771"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Eric</forename>
                <surname>Madelaine</surname>
              </persName>
              <email type="md5">e31733899904c147cbbf097bd471ee91</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2016-04-07 17:55:18</date>
              <date type="whenWritten">2016-04</date>
              <date type="whenModified">2025-10-07 15:32:03</date>
              <date type="whenReleased">2016-04-08 16:22:57</date>
              <date type="whenProduced">2016-04</date>
              <date type="whenEndEmbargoed">2016-04-07</date>
              <ref type="file" target="https://inria.hal.science/hal-01299562v1/document">
                <date notBefore="2016-04-07"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01299562v1/file/RR-8898.pdf" id="file-1299562-1379487">
                <date notBefore="2016-04-07"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="112250">
                <persName>
                  <forename>Eric</forename>
                  <surname>Madelaine</surname>
                </persName>
                <email type="md5">e31733899904c147cbbf097bd471ee91</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01299562</idno>
            <idno type="halUri">https://inria.hal.science/hal-01299562</idno>
            <idno type="halBibtex">henrio:hal-01299562</idno>
            <idno type="halRefHtml">[Research Report] RR-8898, INRIA Sophia Antipolis - I3S. 2016, pp.23</idno>
            <idno type="halRef">[Research Report] RR-8898, INRIA Sophia Antipolis - I3S. 2016, pp.23</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1299562-1379487"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNICE">Université Nice Sophia Antipolis</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INRIA-SOPHIA">INRIA Sophia Antipolis - Méditerranée</idno>
            <idno type="stamp" n="INRIA-ROCQ">INRIA Paris - Rocquencourt</idno>
            <idno type="stamp" n="INRIA-RRRT">Rapports de recherche et Technique de l'Inria</idno>
            <idno type="stamp" n="I3S">Laboratoire d'Informatique, Signaux et Systèmes de Sophia-Antipolis</idno>
            <idno type="stamp" n="INRIASO">INRIA-SOPHIA</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="LARA">LARA</idno>
            <idno type="stamp" n="UNIV-COTEDAZUR">Université Côte d'Azur</idno>
            <idno type="stamp" n="TEST-NICE">test nice</idno>
          </seriesStmt>
          <notesStmt>
            <note type="report" n="6">Research Report</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">A Theory for the Composition of Concurrent Processes -Extended version</title>
                <title xml:lang="fr">Une theorie pour la composition de processus concurrents - Version etendue</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Ludovic</forename>
                    <surname>Henrio</surname>
                  </persName>
                  <email type="md5">0cfe963c407482275255c1029a438ef9</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">ludovic-henrio</idno>
                  <idno type="idhal" notation="numeric">595</idno>
                  <idno type="halauthorid" notation="string">18966-595</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=ZGvMp1sAAAAJ&amp;hl=en</idno>
                  <idno type="IDREF">https://www.idref.fr/077367979</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-7137-3523</idno>
                  <affiliation ref="#struct-1060935"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Eric</forename>
                    <surname>Madelaine</surname>
                  </persName>
                  <email type="md5">e31733899904c147cbbf097bd471ee91</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">eric-madelaine</idno>
                  <idno type="idhal" notation="numeric">16780</idno>
                  <idno type="halauthorid" notation="string">21718-16780</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-5552-5993</idno>
                  <idno type="IDREF">https://www.idref.fr/087543958</idno>
                  <affiliation ref="#struct-455237"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Min</forename>
                    <surname>Zhang</surname>
                  </persName>
                  <idno type="halauthorid">212129-0</idno>
                  <affiliation ref="#struct-300771"/>
                </author>
              </analytic>
              <monogr>
                <idno type="reportNumber">RR-8898</idno>
                <imprint>
                  <biblScope unit="pp">23</biblScope>
                  <date type="datePub">2016-04</date>
                </imprint>
                <authority type="institution">INRIA Sophia Antipolis - I3S</authority>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Symbolic bisimulation</term>
                <term xml:lang="en">Distributed systems</term>
                <term xml:lang="en">Structured labelled transition systems</term>
                <term xml:lang="en">Behavioral semantics</term>
                <term xml:lang="en">Formal methods</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="info.info-dc">Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]</classCode>
              <classCode scheme="halDomain" n="info.info-fl">Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]</classCode>
              <classCode scheme="halTypology" n="REPORT">Reports</classCode>
              <classCode scheme="halOldTypology" n="REPORT">Reports</classCode>
              <classCode scheme="halTreeTypology" n="REPORT.RESREPORT">Reports - Research report</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>In this paper, we provide a theory for the operators composing concurrent processes.  Open pNets  (parameterised networks of synchronised automata) are new semantic objects that we propose for defining the semantics of  composition operators. This paper defines the  operational semantics of open pNets, using ``open transitions'' that include symbolic hypotheses on the behaviour of the pNets ``holes''. We discuss when this semantics can be finite and how to compute it symbolically, and we illustrate this construction on a simple operator. This paper also defines a bisimulation equivalence between open pNets, and shows its decidability and compositionability.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-1060935" status="OLD">
          <orgName>Safe Composition of Autonomous applications with Large-SCALE Execution environment</orgName>
          <orgName type="acronym">SCALE</orgName>
          <date type="start">2016-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Laboratoire d'Informatique, Signaux et Systèmes de Sophia-Antipolis (I3S) - UMR7271 - UNS CNRS2000, route des Lucioles - Les Algorithmes - bât. Euclide B 06900 Sophia Antipolis - France</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-451999" type="direct"/>
            <relation active="#struct-13009" type="indirect"/>
            <relation active="#struct-117617" type="indirect"/>
            <relation name="UMR7271" active="#struct-441569" type="indirect"/>
            <relation active="#struct-1039632" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-455237" status="OLD">
          <idno type="RNSR">200418395G</idno>
          <orgName>Models and methods of analysis and optimization for systems with real-time and embedding constraints</orgName>
          <orgName type="acronym">AOSTE</orgName>
          <date type="start">2016-01-01</date>
          <date type="end">2016-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/aoste</ref>
          </desc>
          <listRelation>
            <relation active="#struct-34586" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-451999" type="direct"/>
            <relation active="#struct-13009" type="indirect"/>
            <relation active="#struct-117617" type="indirect"/>
            <relation name="UMR7271" active="#struct-441569" type="indirect"/>
            <relation active="#struct-1039632" type="indirect"/>
            <relation active="#struct-454310" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300771" status="VALID">
          <idno type="ROR">https://ror.org/02n96ep67</idno>
          <orgName>East China Normal University [Shangaï]</orgName>
          <orgName type="acronym">ECNU</orgName>
          <desc>
            <address>
              <addrLine>3663 Zhongshan N Rd, Putuo, Shanghai</addrLine>
              <country key="CN"/>
            </address>
            <ref type="url">http://english.ecnu.edu.cn/</ref>
          </desc>
        </org>
        <org type="department" xml:id="struct-451999" status="VALID">
          <orgName>COMmunications, Réseaux, systèmes Embarqués et Distribués</orgName>
          <orgName type="acronym">Laboratoire I3S - COMRED</orgName>
          <date type="start">2016-03-02</date>
          <desc>
            <address>
              <addrLine>Laboratoire I3SCS 4012106903 Sophia Antipolis Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.i3s.unice.fr/comred</ref>
          </desc>
          <listRelation>
            <relation active="#struct-13009" type="direct"/>
            <relation active="#struct-117617" type="indirect"/>
            <relation name="UMR7271" active="#struct-441569" type="indirect"/>
            <relation active="#struct-1039632" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-13009" status="VALID">
          <idno type="IdRef">050320491</idno>
          <idno type="ISNI">0000000105613840</idno>
          <idno type="RNSR">201220432L</idno>
          <idno type="ROR">https://ror.org/01215r597</idno>
          <orgName>Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis</orgName>
          <orgName type="acronym">I3S</orgName>
          <desc>
            <address>
              <addrLine>2000, route des Lucioles - Les Algorithmes - bât. Euclide B 06900 Sophia Antipolis</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.i3s.unice.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-117617" type="direct"/>
            <relation name="UMR7271" active="#struct-441569" type="direct"/>
            <relation active="#struct-1039632" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-117617" status="VALID">
          <idno type="IdRef">026403498</idno>
          <idno type="ISNI">0000000123372892</idno>
          <idno type="ROR">https://ror.org/02k9vew78</idno>
          <orgName>Université Nice Sophia Antipolis (1965 - 2019)</orgName>
          <orgName type="acronym">UNS</orgName>
          <date type="start">1965-10-23</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Parc Valrose, 06100 Nice</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://unice.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-1039632" status="VALID">
          <idno type="IdRef">241035694</idno>
          <idno type="ROR">https://ror.org/019tgvf94</idno>
          <orgName>Université Côte d'Azur</orgName>
          <orgName type="acronym">UniCA</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Parc Valrose, 28, avenue Valrose 06108 Nice Cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://univ-cotedazur.fr</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-34586" status="VALID">
          <idno type="RNSR">198318250R</idno>
          <idno type="ROR">https://ror.org/01nzkaw91</idno>
          <orgName>Centre Inria d'Université Côte d'Azur</orgName>
          <desc>
            <address>
              <addrLine>2004 route des Lucioles BP 93 06902 Sophia Antipolis</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/sophia/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-454310" status="VALID">
          <idno type="IdRef">241614864</idno>
          <idno type="RNSR">196718247G</idno>
          <idno type="ROR">https://ror.org/05eyd5d35</idno>
          <orgName>Centre Inria de Paris</orgName>
          <date type="start">2016-03-10</date>
          <desc>
            <address>
              <addrLine>48 Rue Barrault, 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/paris</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>