<?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-01290074</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-21T15:09:30+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Typing Liveness in Multiparty Communicating Systems</title>
            <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">Vasco</forename>
                <forename type="middle">Thudichum</forename>
                <surname>Vasconcelos</surname>
              </persName>
              <idno type="halauthorid">637413-0</idno>
              <affiliation ref="#struct-1114557"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Hugo</forename>
                <forename type="middle">Torres</forename>
                <surname>Vieira</surname>
              </persName>
              <idno type="halauthorid">1010359-0</idno>
              <affiliation ref="#struct-1114557"/>
            </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">2016-03-17 15:26:42</date>
              <date type="whenModified">2025-12-18 08:52:04</date>
              <date type="whenReleased">2016-03-17 15:35:04</date>
              <date type="whenProduced">2014-06-03</date>
              <date type="whenEndEmbargoed">2017-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01290074v1/document">
                <date notBefore="2017-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01290074v1/file/326181_1_En_10_Chapter.pdf" id="file-1290074-1370475">
                <date notBefore="2017-01-01"/>
              </ref>
              <ref type="externalLink" target="http://www.di.fc.ul.pt/~vv/papers/padovani-vasconcelos-vieira_typing-liveness-multiparty-system.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-01290074</idno>
            <idno type="halUri">https://inria.hal.science/hal-01290074</idno>
            <idno type="halBibtex">padovani:hal-01290074</idno>
            <idno type="halRefHtml">&lt;i&gt;16th International Conference on Coordination Models and Languages (COORDINATION)&lt;/i&gt;, Jun 2014, Berlin, Germany. pp.147-162, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-662-43376-8_10"&gt;&amp;#x27E8;10.1007/978-3-662-43376-8_10&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.147-162, &amp;#x27E8;10.1007/978-3-662-43376-8_10&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1290074-1370475"/></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-LNCS-8459" corresp="IFIP-LNCS">LNCS 8459: Coordination Models and Languages</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">Typing Liveness in Multiparty Communicating Systems</title>
                <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">Vasco</forename>
                    <forename type="middle">Thudichum</forename>
                    <surname>Vasconcelos</surname>
                  </persName>
                  <idno type="halauthorid">637413-0</idno>
                  <affiliation ref="#struct-1114557"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Hugo</forename>
                    <forename type="middle">Torres</forename>
                    <surname>Vieira</surname>
                  </persName>
                  <idno type="halauthorid">1010359-0</idno>
                  <affiliation ref="#struct-1114557"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>16th International Conference on Coordination Models and Languages (COORDINATION)</title>
                  <date type="start">2014-06-03</date>
                  <date type="end">2014-06-05</date>
                  <settlement> Berlin</settlement>
                  <country key="DE">Germany</country>
                </meeting>
                <editor>David Hutchison</editor>
                <editor>Takeo Kanade</editor>
                <editor>Bernhard Steffen</editor>
                <editor>Demetri Terzopoulos</editor>
                <editor>Doug Tygar</editor>
                <editor>Gerhard Weikum</editor>
                <editor>Eva Kühn</editor>
                <editor>Rosario Pugliese</editor>
                <editor>Josef Kittler</editor>
                <editor>Jon M. Kleinberg</editor>
                <editor>Alfred Kobsa</editor>
                <editor>Friedemann Mattern</editor>
                <editor>John C. Mitchell</editor>
                <editor>Moni Naor</editor>
                <editor>Oscar Nierstrasz</editor>
                <editor>C. Pandu Rangan</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Coordination Models and Languages</biblScope>
                  <biblScope unit="volume">LNCS-8459</biblScope>
                  <biblScope unit="pp">147-162</biblScope>
                  <date type="datePub">2014</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-662-43376-8_10</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>Session type systems are an effective tool to prove that communicating programs do not go wrong, ensuring that the participants of a session follow the protocols described by the types. In a previous work we introduced a typing discipline for the analysis of progress in binary sessions. In this paper we generalize the approach to multiparty sessions following the conversation type approach, while strengthening progress to liveness. We combine the usual session-like fidelity analysis with the liveness analysis and devise an original treatment of recursive types allowing us to address challenging configurations that are out of the reach of existing approaches.</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-1114557" status="VALID">
          <idno type="IdRef">238704718</idno>
          <idno type="ISNI">0000 0001 2181 4263</idno>
          <idno type="ROR">https://ror.org/01c27hj86</idno>
          <idno type="Wikidata">Q1122926</idno>
          <orgName>Universidade de Lisboa = University of Lisbon = Université de Lisbonne [Lisboa]</orgName>
          <orgName type="acronym">ULISBOA</orgName>
          <desc>
            <address>
              <addrLine>Alameda da Universidade 1649-004 Lisboa</addrLine>
              <country key="PT"/>
            </address>
            <ref type="url">https://www.ulisboa.pt/en</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>