<?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-01631726</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-21T00:20:36+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">On Synchronous and Asynchronous Compatibility of Communicating Components</title>
            <author role="aut">
              <persName>
                <forename type="first">Rolf</forename>
                <surname>Hennicker</surname>
              </persName>
              <email type="md5">040add758729e3bfdd91f647daa0c5b4</email>
              <email type="domain">ifi.lmu.de</email>
              <idno type="idhal" notation="numeric">1022473</idno>
              <idno type="halauthorid" notation="string">686488-1022473</idno>
              <affiliation ref="#struct-460393"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Michel</forename>
                <surname>Bidoit</surname>
              </persName>
              <idno type="halauthorid">168731-0</idno>
              <affiliation ref="#struct-2571"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Thanh-Son</forename>
                <surname>Dang</surname>
              </persName>
              <idno type="halauthorid">1259768-0</idno>
              <affiliation ref="#struct-460393"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Hal</forename>
                <surname>Ifip</surname>
              </persName>
              <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2017-11-09 16:14:20</date>
              <date type="whenModified">2026-01-27 14:46:04</date>
              <date type="whenReleased">2017-11-09 16:15:51</date>
              <date type="whenProduced">2016-06-06</date>
              <date type="whenEndEmbargoed">2019-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01631726v1/document">
                <date notBefore="2019-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01631726v1/file/416253_1_En_9_Chapter.pdf" id="file-1631726-1677028">
                <date notBefore="2019-01-01"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="200187">
                <persName>
                  <forename>Hal</forename>
                  <surname>Ifip</surname>
                </persName>
                <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01631726</idno>
            <idno type="halUri">https://inria.hal.science/hal-01631726</idno>
            <idno type="halBibtex">hennicker:hal-01631726</idno>
            <idno type="halRefHtml">&lt;i&gt;18th International Conference on Coordination Languages and Models (COORDINATION)&lt;/i&gt;, Jun 2016, Heraklion, Greece. pp.138-156, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-319-39519-7_9"&gt;&amp;#x27E8;10.1007/978-3-319-39519-7_9&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.138-156, &amp;#x27E8;10.1007/978-3-319-39519-7_9&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1631726-1677028"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="ENS-CACHAN">Ecole Normale Supérieure de Cachan</idno>
            <idno type="stamp" n="IFIP-LNCS" corresp="IFIP">IFIP - Lecture Notes in Computer Science</idno>
            <idno type="stamp" n="IFIP">IFIP - International Federation for Information Processing</idno>
            <idno type="stamp" n="IFIP-TC" corresp="IFIP">IFIP Technical Committees </idno>
            <idno type="stamp" n="IFIP-WG" corresp="IFIP">Working Groups</idno>
            <idno type="stamp" n="IFIP-TC6" corresp="IFIP-TC">TC 6: Communication Systems</idno>
            <idno type="stamp" n="IFIP-WG6-1" corresp="IFIP-WG">Architectures and Protocols for Distributed Systems</idno>
            <idno type="stamp" n="IFIP-COORDINATION" corresp="IFIP">COORDINATION: Conference on Coordination Models and Languages</idno>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="ENS-CACHAN-SACLAY" corresp="UNIV-PARIS-SACLAY">ENS-CACHAN-SACLAY</idno>
            <idno type="stamp" n="IFIP-LNCS-9686" corresp="IFIP-LNCS">Coordination Models and Languages (COORDINATION 2016)</idno>
            <idno type="stamp" n="LSV-AUTO">Laboratoire Spécification et Vérification</idno>
            <idno type="stamp" n="FARMAN">Institut Farman</idno>
            <idno type="stamp" n="ENS-PARIS-SACLAY">Ecole Normale Supérieure paris-Saclay</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">On Synchronous and Asynchronous Compatibility of Communicating Components</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Rolf</forename>
                    <surname>Hennicker</surname>
                  </persName>
                  <email type="md5">040add758729e3bfdd91f647daa0c5b4</email>
                  <email type="domain">ifi.lmu.de</email>
                  <idno type="idhal" notation="numeric">1022473</idno>
                  <idno type="halauthorid" notation="string">686488-1022473</idno>
                  <affiliation ref="#struct-460393"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Michel</forename>
                    <surname>Bidoit</surname>
                  </persName>
                  <idno type="halauthorid">168731-0</idno>
                  <affiliation ref="#struct-2571"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Thanh-Son</forename>
                    <surname>Dang</surname>
                  </persName>
                  <idno type="halauthorid">1259768-0</idno>
                  <affiliation ref="#struct-460393"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>18th International Conference on Coordination Languages and Models (COORDINATION)</title>
                  <date type="start">2016-06-06</date>
                  <date type="end">2016-06-09</date>
                  <settlement>Heraklion</settlement>
                  <country key="GR">Greece</country>
                </meeting>
                <editor>Alberto Lluch Lafuente</editor>
                <editor>José Proença</editor>
                <imprint>
                  <publisher>Springer International Publishing</publisher>
                  <biblScope unit="serie">Coordination Models and Languages</biblScope>
                  <biblScope unit="volume">LNCS-9686</biblScope>
                  <biblScope unit="pp">138-156</biblScope>
                  <date type="datePub">2016</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-319-39519-7_9</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="info.info-ni">Computer Science [cs]/Networking and Internet Architecture [cs.NI]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>We study interacting components and their compatibility with respect to synchronous and asynchronous composition. The behavior of components is formalized by I/O-transition systems. Synchronous composition is based on simultaneous execution of shared output and input actions of two components while asynchronous composition uses unbounded FIFO-buffers for message transfer. In both contexts we study compatibility notions based on the idea that any output issued by one component should be accepted as an input by the other. We distinguish between strong and weak versions of compatibility, the latter allowing the execution of internal actions before a message is accepted. We consider open systems and study conditions under which (strong/weak) synchronous compatibility is sufficient and necessary to get (strong/weak) asynchronous compatibility. We show that these conditions characterize half-duplex systems. Then we focus on the verification of weak asynchronous compatibility for possibly non half-duplex systems and provide a decidable criterion that ensures weak asynchronous compatibility.</p>
            </abstract>
            <particDesc>
              <org type="consortium">TC 6</org>
              <org type="consortium">WG 6.1</org>
            </particDesc>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-460393" status="VALID">
          <idno type="ROR">https://ror.org/05591te55</idno>
          <orgName>Ludwig Maximilian University [Munich] = Ludwig Maximilians Universität München</orgName>
          <orgName type="acronym">LMU</orgName>
          <date type="start">1472-01-01</date>
          <desc>
            <address>
              <addrLine>Professor-Huber-Platz 2, 80539 München, Allemagne</addrLine>
              <country key="DE"/>
            </address>
            <ref type="url">https://www.lmu.de/en/about-lmu/index.html</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-2571" status="OLD">
          <orgName>Laboratoire Spécification et Vérification [Cachan]</orgName>
          <orgName type="acronym">LSV</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Bâtiment d'Alembert 61 Avenue du Président Wilson 94235 CACHAN CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lsv.ens-cachan.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-6862" type="direct"/>
            <relation name="UMR8643" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-6862" status="VALID">
          <orgName>École normale supérieure - Cachan</orgName>
          <orgName type="acronym">ENS Cachan</orgName>
          <desc>
            <address>
              <addrLine>61, avenue du Président Wilson - 94230 Cachan</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ens-cachan.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>
      </listOrg>
    </back>
  </text>
</TEI>