<?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-01486034</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:21:40+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions</title>
            <author role="aut">
              <persName>
                <forename type="first">Mario</forename>
                <surname>Coppo</surname>
              </persName>
              <idno type="halauthorid">1147026-0</idno>
              <affiliation ref="#struct-47709"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Mariangiola</forename>
                <surname>Dezani-Ciancaglini</surname>
              </persName>
              <idno type="halauthorid">207659-0</idno>
              <affiliation ref="#struct-47709"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Luca</forename>
                <surname>Padovani</surname>
              </persName>
              <idno type="halauthorid">210107-0</idno>
              <affiliation ref="#struct-47709"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Nobuko</forename>
                <surname>Yoshida</surname>
              </persName>
              <idno type="halauthorid">207657-0</idno>
              <affiliation ref="#struct-69530"/>
            </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-03-09 15:53:08</date>
              <date type="whenModified">2024-01-09 12:34:04</date>
              <date type="whenReleased">2017-03-09 15:57:29</date>
              <date type="whenProduced">2013-06-03</date>
              <date type="whenEndEmbargoed">2016-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01486034v1/document">
                <date notBefore="2016-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01486034v1/file/978-3-642-38493-6_4_Chapter.pdf" id="file-1486034-1551877">
                <date notBefore="2016-01-01"/>
              </ref>
              <ref type="externalLink" target="https://link.springer.com/content/pdf/10.1007%2F978-3-642-38493-6_4.pdf"/>
            </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-01486034</idno>
            <idno type="halUri">https://inria.hal.science/hal-01486034</idno>
            <idno type="halBibtex">coppo:hal-01486034</idno>
            <idno type="halRefHtml">&lt;i&gt;15th International Conference on Coordination Models and Languages (COORDINATION)&lt;/i&gt;, Jun 2013, Florence, Italy. pp.45-59, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-642-38493-6_4"&gt;&amp;#x27E8;10.1007/978-3-642-38493-6_4&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.45-59, &amp;#x27E8;10.1007/978-3-642-38493-6_4&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1486034-1551877"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <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="IFIP-LNCS-7890" corresp="IFIP-LNCS">Coordination Models and Languages</idno>
            <idno type="stamp" n="IFIP-DISCOTEC">International Federated Conference on Distributed Computing Techniques</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">Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Mario</forename>
                    <surname>Coppo</surname>
                  </persName>
                  <idno type="halauthorid">1147026-0</idno>
                  <affiliation ref="#struct-47709"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Mariangiola</forename>
                    <surname>Dezani-Ciancaglini</surname>
                  </persName>
                  <idno type="halauthorid">207659-0</idno>
                  <affiliation ref="#struct-47709"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Luca</forename>
                    <surname>Padovani</surname>
                  </persName>
                  <idno type="halauthorid">210107-0</idno>
                  <affiliation ref="#struct-47709"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Nobuko</forename>
                    <surname>Yoshida</surname>
                  </persName>
                  <idno type="halauthorid">207657-0</idno>
                  <affiliation ref="#struct-69530"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>15th International Conference on Coordination Models and Languages (COORDINATION)</title>
                  <date type="start">2013-06-03</date>
                  <date type="end">2013-06-05</date>
                  <settlement>Florence</settlement>
                  <country key="IT">Italy</country>
                </meeting>
                <editor>Rocco Nicola</editor>
                <editor>Christine Julien</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Coordination Models and Languages</biblScope>
                  <biblScope unit="volume">LNCS-7890</biblScope>
                  <biblScope unit="pp">45-59</biblScope>
                  <date type="datePub">2013</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-642-38493-6_4</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>Conventional session type systems guarantee progress within single sessions, but do not usually take into account the dependencies arising from the interleaving of simultaneously active sessions and from session delegations. As a consequence, a well-typed system may fail to have progress, even assuming that helper processes can join the system after its execution has started. In this paper we develop a static analysis technique, specified as a set of syntax-directed inference rules, that is capable of verifying whether a system of processes engaged in simultaneously active multiparty sessions has the progress property.</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-47709" status="VALID">
          <idno type="IdRef">027548325</idno>
          <idno type="ROR">https://ror.org/048tbm396</idno>
          <orgName>Università degli studi di Torino = University of Turin</orgName>
          <orgName type="acronym">UNITO</orgName>
          <date type="start">1404-01-01</date>
          <desc>
            <address>
              <addrLine>Via Verdi, 8 10124 Torino Italie</addrLine>
              <country key="IT"/>
            </address>
            <ref type="url">http://www.unito.it/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-69530" status="VALID">
          <idno type="ISNI">0000000121138111</idno>
          <idno type="ROR">https://ror.org/041kmwe10</idno>
          <orgName>Imperial College London</orgName>
          <date type="start">1907-01-01</date>
          <desc>
            <address>
              <addrLine>South Kensington Campus, London SW7 2AZ</addrLine>
              <country key="GB"/>
            </address>
            <ref type="url">http://www.imperial.ac.uk/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>