<?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-01215226</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-23T07:16:55+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Channel Synthesis Revisited</title>
            <author role="aut">
              <persName>
                <forename type="first">Béatrice</forename>
                <surname>Bérard</surname>
              </persName>
              <email type="md5">c8f5f5e7dae68065d538d083be96e7bc</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">beatrice-berard</idno>
              <idno type="idhal" notation="numeric">9360</idno>
              <idno type="halauthorid" notation="string">25835-9360</idno>
              <idno type="IDREF">https://www.idref.fr/029892740</idno>
              <affiliation ref="#struct-405336"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Olivier</forename>
                <surname>Carton</surname>
              </persName>
              <email type="md5">123cfbd614d01704c1bcc7cde21d13ed</email>
              <email type="domain">irif.fr</email>
              <idno type="idhal" notation="string">olivier-carton</idno>
              <idno type="idhal" notation="numeric">836550</idno>
              <idno type="halauthorid" notation="string">161094-836550</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2728-6534</idno>
              <idno type="ARXIV">https://arxiv.org/a/carton_o_1</idno>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Lip6</forename>
                <surname>Publications</surname>
              </persName>
              <email type="md5">48f930374cf1d03f2eafeaae16bb5814</email>
              <email type="domain">lip6.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2015-10-13 17:17:16</date>
              <date type="whenModified">2023-04-11 15:16:28</date>
              <date type="whenReleased">2015-10-13 17:17:16</date>
              <date type="whenProduced">2014-03</date>
              <ref type="externalLink" target="https://hal.archives-ouvertes.fr/hal-02545987/file/lip6-2013-001.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="196566">
                <persName>
                  <forename>Lip6</forename>
                  <surname>Publications</surname>
                </persName>
                <email type="md5">48f930374cf1d03f2eafeaae16bb5814</email>
                <email type="domain">lip6.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01215226</idno>
            <idno type="halUri">https://hal.science/hal-01215226</idno>
            <idno type="halBibtex">berard:hal-01215226</idno>
            <idno type="halRefHtml">&lt;i&gt;8th International Conference on Languages and Automata Theory and Applications -- LATA&lt;/i&gt;, Mar 2014, Madrid, Spain. pp.149-160, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-319-04921-2_12"&gt;&amp;#x27E8;10.1007/978-3-319-04921-2_12&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">8th International Conference on Languages and Automata Theory and Applications -- LATA, Mar 2014, Madrid, Spain. pp.149-160, &amp;#x27E8;10.1007/978-3-319-04921-2_12&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UPMC" corresp="SORBONNE-UNIVERSITE">Université Pierre et Marie Curie</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</idno>
            <idno type="stamp" n="UPMC_POLE_1" corresp="UPMC">UPMC Pôle 1</idno>
            <idno type="stamp" n="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="SU-TI">Sorbonne Université - Texte Intégral</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</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">Channel Synthesis Revisited</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Béatrice</forename>
                    <surname>Bérard</surname>
                  </persName>
                  <email type="md5">c8f5f5e7dae68065d538d083be96e7bc</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">beatrice-berard</idno>
                  <idno type="idhal" notation="numeric">9360</idno>
                  <idno type="halauthorid" notation="string">25835-9360</idno>
                  <idno type="IDREF">https://www.idref.fr/029892740</idno>
                  <affiliation ref="#struct-405336"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Olivier</forename>
                    <surname>Carton</surname>
                  </persName>
                  <email type="md5">123cfbd614d01704c1bcc7cde21d13ed</email>
                  <email type="domain">irif.fr</email>
                  <idno type="idhal" notation="string">olivier-carton</idno>
                  <idno type="idhal" notation="numeric">836550</idno>
                  <idno type="halauthorid" notation="string">161094-836550</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2728-6534</idno>
                  <idno type="ARXIV">https://arxiv.org/a/carton_o_1</idno>
                </author>
              </analytic>
              <monogr>
                <title level="m">8th International Conference on Languages and Automata Theory and Applications -- LATA</title>
                <meeting>
                  <title>8th International Conference on Languages and Automata Theory and Applications -- LATA</title>
                  <date type="start">2014-03</date>
                  <settlement>Madrid</settlement>
                  <country key="ES">Spain</country>
                </meeting>
                <imprint>
                  <publisher>Springer International Publishing</publisher>
                  <biblScope unit="serie">Lecture Notes in Computer Science</biblScope>
                  <biblScope unit="volume">8370</biblScope>
                  <biblScope unit="pp">149-160</biblScope>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-319-04921-2_12</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</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>Given a system modeled by a rational relation R, a channel is a pair (E,D) of rational relations that respectively encode and decode binary messages, and such that the composition E R D is the identity relation. This means that the message between E and D has been perfectly transmitted through R. Investigating the links between channels and the growth of rational sets of words, we give new characterizations for relations with channels. In the particular case where the relation is given as a union of functions, we obtain as a consequence the decidability of the synthesis problem with a linear complexity.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-405336" status="OLD">
          <orgName>Modélisation et Vérification</orgName>
          <orgName type="acronym">MoVe</orgName>
          <date type="start">2004-01-01</date>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-233" type="direct"/>
            <relation active="#struct-93591" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-233" status="OLD">
          <idno type="RNSR">199712651U</idno>
          <idno type="ROR">https://ror.org/05krcen59</idno>
          <orgName>Laboratoire d'Informatique de Paris 6</orgName>
          <orgName type="acronym">LIP6</orgName>
          <date type="start">1997-01-01</date>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>4 Place JUSSIEU 75252 PARIS CEDEX 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lip6.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-93591" type="direct"/>
            <relation name="UMR7606" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-93591" status="OLD">
          <idno type="ROR">https://ror.org/02en5vm52</idno>
          <orgName>Université Pierre et Marie Curie - Paris 6</orgName>
          <orgName type="acronym">UPMC</orgName>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>4 place Jussieu - 75005 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.upmc.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>