<?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-01095004</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-18T19:54:34+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Constructive Polychronous Systems</title>
            <author role="aut">
              <persName>
                <forename type="first">Jean-Pierre</forename>
                <surname>Talpin</surname>
              </persName>
              <email type="md5">a4581aba9878bd85f3ccefafbafbe20c</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">jean-pierretalpin</idno>
              <idno type="idhal" notation="numeric">742474</idno>
              <idno type="halauthorid" notation="string">13257-742474</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-0556-4265</idno>
              <idno type="IDREF">https://www.idref.fr/094211515</idno>
              <affiliation ref="#struct-241905"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jens</forename>
                <surname>Brandt</surname>
              </persName>
              <idno type="halauthorid">678277-0</idno>
              <affiliation ref="#struct-97386"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Mike</forename>
                <surname>Gemünde</surname>
              </persName>
              <idno type="halauthorid">678278-0</idno>
              <affiliation ref="#struct-97386"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Klaus</forename>
                <surname>Schneider</surname>
              </persName>
              <idno type="halauthorid">193250-0</idno>
              <affiliation ref="#struct-97386"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Sandeep</forename>
                <surname>Shukla</surname>
              </persName>
              <idno type="halauthorid">143620-0</idno>
              <affiliation ref="#struct-238929"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Jean-Pierre</forename>
                <surname>Talpin</surname>
              </persName>
              <email type="md5">a4581aba9878bd85f3ccefafbafbe20c</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2014-12-14 19:44:33</date>
              <date type="whenModified">2026-02-07 05:11:15</date>
              <date type="whenReleased">2014-12-14 19:44:33</date>
              <date type="whenProduced">2014-09-01</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="119263">
                <persName>
                  <forename>Jean-Pierre</forename>
                  <surname>Talpin</surname>
                </persName>
                <email type="md5">a4581aba9878bd85f3ccefafbafbe20c</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01095004</idno>
            <idno type="halUri">https://inria.hal.science/hal-01095004</idno>
            <idno type="halBibtex">talpin:hal-01095004</idno>
            <idno type="halRefHtml">&lt;i&gt;Science of Computer Programming&lt;/i&gt;, 2014, Science of Computer Programming, pp.20</idno>
            <idno type="halRef">Science of Computer Programming, 2014, Science of Computer Programming, pp.20</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="EC-PARIS">Ecole Centrale Paris</idno>
            <idno type="stamp" n="UNIV-RENNES1">Université de Rennes 1</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="UNIV-UBS">Université de Bretagne Sud</idno>
            <idno type="stamp" n="INSA-RENNES">Institut National des Sciences Appliquées de Rennes</idno>
            <idno type="stamp" n="INRIA-RENNES">INRIA Rennes - Bretagne Atlantique</idno>
            <idno type="stamp" n="IRISA">Irisa</idno>
            <idno type="stamp" n="IRISA_SET">IRISA_SET</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="IRISA-D4">LANGAGE ET GÉNIE LOGICIEL </idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="UR1-HAL">Publications labos UR1 dans HAL-Rennes 1</idno>
            <idno type="stamp" n="UR1-MATH-STIC">UR1 - publications Maths-STIC</idno>
            <idno type="stamp" n="UR1-UFR-ISTIC">UFR ISTIC Informatique et électronique</idno>
            <idno type="stamp" n="TEST-UNIV-RENNES">TEST Université de Rennes</idno>
            <idno type="stamp" n="TEST-UR-CSS">TEST Université de Rennes CSS</idno>
            <idno type="stamp" n="UNIV-RENNES">Université de Rennes</idno>
            <idno type="stamp" n="INRIA-RENGRE">INRIA-RENGRE</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="UR1-MATH-NUM">Pôle UnivRennes - Mathématiques - Numérique </idno>
            <idno type="stamp" n="INRIA-ETATSUNIS">Copublications Inria-Etats-Unis</idno>
            <idno type="stamp" n="INRIA-ALLEMAGNE">INRIA-ALLEMAGNE</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Constructive Polychronous Systems</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean-Pierre</forename>
                    <surname>Talpin</surname>
                  </persName>
                  <email type="md5">a4581aba9878bd85f3ccefafbafbe20c</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">jean-pierretalpin</idno>
                  <idno type="idhal" notation="numeric">742474</idno>
                  <idno type="halauthorid" notation="string">13257-742474</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-0556-4265</idno>
                  <idno type="IDREF">https://www.idref.fr/094211515</idno>
                  <affiliation ref="#struct-241905"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jens</forename>
                    <surname>Brandt</surname>
                  </persName>
                  <idno type="halauthorid">678277-0</idno>
                  <affiliation ref="#struct-97386"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Mike</forename>
                    <surname>Gemünde</surname>
                  </persName>
                  <idno type="halauthorid">678278-0</idno>
                  <affiliation ref="#struct-97386"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Klaus</forename>
                    <surname>Schneider</surname>
                  </persName>
                  <idno type="halauthorid">193250-0</idno>
                  <affiliation ref="#struct-97386"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Sandeep</forename>
                    <surname>Shukla</surname>
                  </persName>
                  <idno type="halauthorid">143620-0</idno>
                  <affiliation ref="#struct-238929"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">18828</idno>
                <idno type="issn">0167-6423</idno>
                <title level="j">Science of Computer Programming</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="serie">Science of Computer Programming</biblScope>
                  <biblScope unit="pp">20</biblScope>
                  <date type="datePub">2014-09-01</date>
                  <date type="dateEpub">2014-09-01</date>
                </imprint>
              </monogr>
              <ref type="publisher">http://www.journals.elsevier.com/science-of-computer-programming</ref>
            </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-pl">Computer Science [cs]/Programming Languages [cs.PL]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>The synchronous paradigm provides a logical abstraction of time for reactivesystem design which allows automatic synthesis of embedded systems that behave in a predictable, timely, and reactive manner. According to the synchronyhypothesis, a synchronous model reacts to inputs by generating outputs thatare immediately made available to the environment. While synchrony greatlysimplifies the design of complex systems in general, it can sometimes lead tocausal cycles. In these cases, constructiveness is a key property to guaranteethat the output of each reaction can still be always algorithmically determined.Polychrony deviates from perfect synchrony by using a partially ordered,i.e., a relational model of time. It encompasses the behaviors of (implicitly)multi-clocked data-flow networks of synchronous modules and can analyze andsynthesize them as GALS systems or Kahn process networks (KPNs).In this paper, we present a unified constructive semantic framework usingstructured operational semantics, which encompasses both the constructive behavior of synchronous modules and the multi-clocked behavior of polychronousnetworks. Along the way, we define the very first executable operational seman-tics of the polychronous languageSignal</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-241905" status="OLD">
          <idno type="RNSR">201421201N</idno>
          <orgName>Tim, Events and Architectures</orgName>
          <orgName type="acronym">TEA</orgName>
          <date type="start">2014-01-01</date>
          <date type="end">2014-12-31</date>
          <desc>
            <address>
              <addrLine>Campus universitaire de Beaulieu 35042 RENNES Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/tea</ref>
          </desc>
          <listRelation>
            <relation active="#struct-419153" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-419365" type="direct"/>
            <relation active="#struct-105128" type="indirect"/>
            <relation active="#struct-105160" type="indirect"/>
            <relation active="#struct-117606" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-172265" type="indirect"/>
            <relation active="#struct-247362" type="indirect"/>
            <relation active="#struct-301262" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation name="UMR6074" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-97386" status="VALID">
          <orgName>Department of Computer Science [Kaiserslautern]</orgName>
          <desc>
            <address>
              <addrLine>Postfach 3049 67653 Kaiserslautern Germany</addrLine>
              <country key="DE"/>
            </address>
            <ref type="url">http://www.informatik.uni-kl.de/en/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-358321" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-238929" status="VALID">
          <orgName>Department of Electrical and Computer Engineering [Blacksburg]</orgName>
          <orgName type="acronym">ECE</orgName>
          <desc>
            <address>
              <addrLine>MC 0111 1185 Perry St. / Room 302 Blacksburg, VA 24061</addrLine>
              <country key="US"/>
            </address>
            <ref type="url">http://www.ece.vt.edu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-47147" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-419153" status="VALID">
          <idno type="RNSR">198018249C</idno>
          <idno type="ROR">https://ror.org/04040yw90</idno>
          <orgName>Centre Inria de l'Université de Rennes</orgName>
          <desc>
            <address>
              <addrLine>Campus de beaulieu35042 Rennes cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/rennes</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="department" xml:id="struct-419365" status="OLD">
          <orgName>LANGAGE ET GÉNIE LOGICIEL</orgName>
          <orgName type="acronym">IRISA-D4</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.irisa.fr/fr/departements/d4-langage-genie-logiciel</ref>
          </desc>
          <listRelation>
            <relation active="#struct-105128" type="direct"/>
            <relation active="#struct-105160" type="indirect"/>
            <relation active="#struct-117606" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-172265" type="indirect"/>
            <relation active="#struct-247362" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-301262" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation name="UMR6074" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-105128" status="OLD">
          <idno type="IdRef">026386909</idno>
          <idno type="ISNI">0000 0001 2298 7270</idno>
          <idno type="RNSR">200012163A</idno>
          <idno type="ROR">https://ror.org/00myn0z94</idno>
          <orgName>Institut de Recherche en Informatique et Systèmes Aléatoires</orgName>
          <orgName type="acronym">IRISA</orgName>
          <date type="start">2000-01-01</date>
          <date type="end">2016-12-31</date>
          <desc>
            <address>
              <addrLine>Avenue du général LeclercCampus de Beaulieu 35042 RENNES CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irisa.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-105160" type="direct"/>
            <relation active="#struct-117606" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-172265" type="direct"/>
            <relation active="#struct-247362" type="direct"/>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-301262" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation name="UMR6074" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-105160" status="VALID">
          <idno type="IdRef">26693823X</idno>
          <idno type="ROR">https://ror.org/015m7wh34</idno>
          <orgName>Université de Rennes</orgName>
          <orgName type="acronym">UR</orgName>
          <desc>
            <address>
              <addrLine>Campus de Beaulieu, 263 avenue Général Leclerc, CS 74205, 35042 RENNES CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-rennes.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-117606" status="VALID">
          <idno type="ROR">https://ror.org/04xaa4j22</idno>
          <orgName>Institut National des Sciences Appliquées - Rennes</orgName>
          <orgName type="acronym">INSA Rennes</orgName>
          <desc>
            <address>
              <addrLine>20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-rennes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301232" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301232" status="VALID">
          <idno type="IdRef">162105150</idno>
          <orgName>Institut National des Sciences Appliquées</orgName>
          <orgName type="acronym">INSA</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-172265" status="VALID">
          <idno type="IdRef">05017746X</idno>
          <idno type="ISNI">0000000121680285</idno>
          <idno type="ROR">https://ror.org/04ed7fw48</idno>
          <orgName>Université de Bretagne Sud</orgName>
          <orgName type="acronym">UBS</orgName>
          <date type="start">1995-02-07</date>
          <desc>
            <address>
              <addrLine>BP 92116 - 56321 Lorient cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-ubs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-247362" status="VALID">
          <idno type="ROR">https://ror.org/03rxtdc22</idno>
          <orgName>École normale supérieure - Rennes</orgName>
          <orgName type="acronym">ENS Rennes</orgName>
          <desc>
            <address>
              <addrLine>Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ens-rennes.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301262" status="OLD">
          <orgName>Télécom Bretagne</orgName>
          <date type="start">1977</date>
          <desc>
            <address>
              <addrLine>Technopôle Brest-IroiseCS 8381829238 BREST Cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.telecom-bretagne.eu/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-411575" status="VALID">
          <idno type="IdRef">184443237</idno>
          <idno type="ROR">https://ror.org/019tcpt25</idno>
          <orgName>CentraleSupélec</orgName>
          <desc>
            <address>
              <addrLine>3, rue Joliot Curie,Plateau de Moulon,91192 GIF-SUR-YVETTE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.centralesupelec.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="institution" xml:id="struct-358321" status="VALID">
          <idno type="ROR">https://ror.org/04zrf7b53</idno>
          <orgName>Technische Universität Kaiserslautern</orgName>
          <orgName type="acronym">TU Kaiserslautern</orgName>
          <date type="start">1970-01-01</date>
          <desc>
            <address>
              <addrLine>Erwin-Schrödinger-Straße 52, 67663 Kaiserslautern</addrLine>
              <country key="DE"/>
            </address>
            <ref type="url">https://www.uni-kl.de/en/home/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-47147" status="VALID">
          <orgName>Virginia Tech [Blacksburg]</orgName>
          <desc>
            <address>
              <addrLine>Virginia Polytechnic Institute and State University Blacksburg, VA 24061-0002</addrLine>
              <country key="US"/>
            </address>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>