<?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-01556217</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:40+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">A Temporal Logic for Multi-threaded Programs</title>
            <author role="aut">
              <persName>
                <forename type="first">Salvatore</forename>
                <forename type="middle">La</forename>
                <surname>Torre</surname>
              </persName>
              <idno type="halauthorid">1079108-0</idno>
              <affiliation ref="#struct-302831"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Margherita</forename>
                <surname>Napoli</surname>
              </persName>
              <idno type="halauthorid">1196617-0</idno>
              <affiliation ref="#struct-302831"/>
            </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-07-04 17:45:40</date>
              <date type="whenModified">2022-11-28 17:54:05</date>
              <date type="whenReleased">2017-07-04 17:47:02</date>
              <date type="whenProduced">2012-09-26</date>
              <date type="whenEndEmbargoed">2015-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01556217v1/document">
                <date notBefore="2015-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01556217v1/file/978-3-642-33475-7_16_Chapter.pdf" id="file-1556217-1608631">
                <date notBefore="2015-01-01"/>
              </ref>
              <ref type="externalLink" target="https://link.springer.com/content/pdf/10.1007%2F978-3-642-33475-7_16.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-01556217</idno>
            <idno type="halUri">https://inria.hal.science/hal-01556217</idno>
            <idno type="halBibtex">torre:hal-01556217</idno>
            <idno type="halRefHtml">&lt;i&gt;7th International Conference on Theoretical Computer Science (TCS)&lt;/i&gt;, Sep 2012, Amsterdam, Netherlands. pp.225-239, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-642-33475-7_16"&gt;&amp;#x27E8;10.1007/978-3-642-33475-7_16&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.225-239, &amp;#x27E8;10.1007/978-3-642-33475-7_16&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1556217-1608631"/></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-TC1" corresp="IFIP-TC">IFIP TC1: Foundations of Computer Science</idno>
            <idno type="stamp" n="IFIP-TC2" corresp="IFIP-TC">IFIP TC 2: Software:Theory and Practice</idno>
            <idno type="stamp" n="IFIP-TCS">IFIP-TCS</idno>
            <idno type="stamp" n="IFIP-WG2-2">WG2-2: Formal Description of Programming Concepts</idno>
            <idno type="stamp" n="IFIP-LNCS-7604" corresp="IFIP-LNCS">Theoretical Computer Science</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">A Temporal Logic for Multi-threaded Programs</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Salvatore</forename>
                    <forename type="middle">La</forename>
                    <surname>Torre</surname>
                  </persName>
                  <idno type="halauthorid">1079108-0</idno>
                  <affiliation ref="#struct-302831"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Margherita</forename>
                    <surname>Napoli</surname>
                  </persName>
                  <idno type="halauthorid">1196617-0</idno>
                  <affiliation ref="#struct-302831"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>7th International Conference on Theoretical Computer Science (TCS)</title>
                  <date type="start">2012-09-26</date>
                  <date type="end">2012-09-28</date>
                  <settlement>Amsterdam</settlement>
                  <country key="NL">Netherlands</country>
                </meeting>
                <editor>Jos C. M. Baeten</editor>
                <editor>Tom Ball</editor>
                <editor>Frank S. Boer</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Theoretical Computer Science</biblScope>
                  <biblScope unit="volume">LNCS-7604</biblScope>
                  <biblScope unit="pp">225-239</biblScope>
                  <date type="datePub">2012</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-642-33475-7_16</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>Temporal logics for nested words are a specification formalism for procedural programs, since they express requirements about matching calls and returns. We extend this formalism to multiply nested words, which are natural models of the computations of concurrent programs. We study both the satisfiability and the model-checking problems, when the multiply nested words are runs of multi-stack pushdown systems (Mpds). In particular, through a tableau-based construction, we define a Büchi Mpds for the models of a given formula. As expected both problems are undecidable, thus we consider some meaningful restrictions on the Mpds, and show decidability for the considered problems.</p>
            </abstract>
            <particDesc>
              <org type="consortium">TC 1</org>
              <org type="consortium">TC 2</org>
              <org type="consortium">WG 2.2</org>
            </particDesc>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-302831" status="VALID">
          <idno type="ISNI">0000000419370335</idno>
          <idno type="ROR">https://ror.org/0192m2k53</idno>
          <orgName>Università degli Studi di Salerno = University of Salerno</orgName>
          <orgName type="acronym">UNISA</orgName>
          <desc>
            <address>
              <addrLine>Via Giovanni Paolo II, 132 - 84084 Fisciano (SA)</addrLine>
              <country key="IT"/>
            </address>
            <ref type="url">https://www.unisa.it/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>