<?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-01774933</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-21T02:43:12+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">A Fixpoint-Based Calculus for Graph-Shaped Computational Fields</title>
            <author role="aut">
              <persName>
                <forename type="first">Alberto</forename>
                <forename type="middle">Lluch</forename>
                <surname>Lafuente</surname>
              </persName>
              <email type="md5">f89388a7cd1c8cf4a09c92e3edff7c36</email>
              <email type="domain">dtu.dk</email>
              <idno type="idhal" notation="numeric">1022455</idno>
              <idno type="halauthorid" notation="string">1356797-1022455</idno>
              <affiliation ref="#struct-302599"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Michele</forename>
                <surname>Loreti</surname>
              </persName>
              <idno type="halauthorid">852317-0</idno>
              <affiliation ref="#struct-417999"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Ugo</forename>
                <surname>Montanari</surname>
              </persName>
              <idno type="halauthorid">685210-0</idno>
              <affiliation ref="#struct-366408"/>
            </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">2018-04-24 10:53:46</date>
              <date type="whenModified">2024-12-04 14:44:02</date>
              <date type="whenReleased">2018-04-24 10:55:48</date>
              <date type="whenProduced">2015-06-02</date>
              <date type="whenEndEmbargoed">2018-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01774933v1/document">
                <date notBefore="2018-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01774933v1/file/978-3-319-19282-6_7_Chapter.pdf" id="file-1774933-1805352">
                <date notBefore="2018-01-01"/>
              </ref>
              <ref type="externalLink" target="http://orbit.dtu.dk/files/122924788/A_Fixpoint_based_Calculus_for_Graph_shaped_Computational_Fields_2.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-01774933</idno>
            <idno type="halUri">https://inria.hal.science/hal-01774933</idno>
            <idno type="halBibtex">lafuente:hal-01774933</idno>
            <idno type="halRefHtml">&lt;i&gt;17th International Conference on Coordination Languages and Models (COORDINATION)&lt;/i&gt;, Jun 2015, Grenoble, France. pp.101-116, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-319-19282-6_7"&gt;&amp;#x27E8;10.1007/978-3-319-19282-6_7&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.101-116, &amp;#x27E8;10.1007/978-3-319-19282-6_7&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1774933-1805352"/></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-DISCOTEC">International Federated Conference on Distributed Computing Techniques</idno>
            <idno type="stamp" n="IFIP-LNCS-9037" corresp="IFIP-LNCS">Coordination Models and Languages</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Part 3: Constraints</note>
            <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 Fixpoint-Based Calculus for Graph-Shaped Computational Fields</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Alberto</forename>
                    <forename type="middle">Lluch</forename>
                    <surname>Lafuente</surname>
                  </persName>
                  <email type="md5">f89388a7cd1c8cf4a09c92e3edff7c36</email>
                  <email type="domain">dtu.dk</email>
                  <idno type="idhal" notation="numeric">1022455</idno>
                  <idno type="halauthorid" notation="string">1356797-1022455</idno>
                  <affiliation ref="#struct-302599"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Michele</forename>
                    <surname>Loreti</surname>
                  </persName>
                  <idno type="halauthorid">852317-0</idno>
                  <affiliation ref="#struct-417999"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Ugo</forename>
                    <surname>Montanari</surname>
                  </persName>
                  <idno type="halauthorid">685210-0</idno>
                  <affiliation ref="#struct-366408"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>17th International Conference on Coordination Languages and Models (COORDINATION)</title>
                  <date type="start">2015-06-02</date>
                  <date type="end">2015-06-04</date>
                  <settlement>Grenoble</settlement>
                  <country key="FR">France</country>
                </meeting>
                <editor>Tom Holvoet</editor>
                <editor>Mirko Viroli</editor>
                <imprint>
                  <publisher>Springer International Publishing</publisher>
                  <biblScope unit="serie">Coordination Models and Languages</biblScope>
                  <biblScope unit="volume">LNCS-9037</biblScope>
                  <biblScope unit="pp">101-116</biblScope>
                  <date type="datePub">2015</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-319-19282-6_7</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Tuple Space</term>
                <term xml:lang="en">Disaster Recovery</term>
                <term xml:lang="en">Edge Label</term>
                <term xml:lang="en">Distribute Hash Table</term>
                <term xml:lang="en">Span Tree</term>
              </keywords>
              <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>Coordination is essential for dynamic distributed systems exhibiting autonomous behaviors. Spatially distributed, locally interacting, propagating computational fields are particularly appealing for allowing components to join and leave with little or no overhead. In our approach, the space topology is represented by a graph-shaped field, namely a network with attributes on both nodes and arcs, where arcs represent interaction capabilities between nodes. We propose a calculus where computation is strictly synchronous and corresponds to sequential computations of fixpoints in the graph-shaped field. Under some conditions, those fixpoints can be computed by synchronised iterations, where in each iteration the attributes of a node is updated based on the attributes of the neighbours in the previous iteration. Basic constructs are reminiscent of the semiring μ-calculus, a semiring-valued generalisation of the modal μ-calculus, which provides a flexible mechanism to specify the neighbourhood range (according to path formulae) and the way attributes should be combined (through semiring operators). Additional control-flow constructs allow one to conveniently structure the fixpoint computations. We illustrate our approach with a case study based on a disaster recovery scenario, implemented in a prototype simulator that we use to evaluate the performance of a disaster recovery strategy.</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-302599" status="VALID">
          <idno type="ROR">https://ror.org/04qtj9h94</idno>
          <orgName>Danmarks Tekniske Universitet = Technical University of Denmark</orgName>
          <orgName type="acronym">DTU</orgName>
          <desc>
            <address>
              <addrLine>Anker Engelunds Vej 1 , Bygning 101A , 2800 Kgs. Lyngby</addrLine>
              <country key="DK"/>
            </address>
            <ref type="url">http://www.dtu.dk/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-417999" status="VALID">
          <orgName>IMT Alti Studi Lucca</orgName>
          <desc>
            <address>
              <addrLine>Piazza S. Ponziano, 6 - 55100 Lucca</addrLine>
              <country key="IT"/>
            </address>
            <ref type="url">http://www.imtlucca.it/it</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-366408" status="VALID">
          <idno type="IdRef">026619385</idno>
          <idno type="ISNI">0000000417573729</idno>
          <idno type="ROR">https://ror.org/03ad39j10</idno>
          <idno type="Wikidata">Q645663</idno>
          <orgName>University of Pisa [Italy] = Università di Pisa [Italia] = Université de Pise [Italie]</orgName>
          <orgName type="acronym">UniPi</orgName>
          <date type="start">1343-01-01</date>
          <desc>
            <address>
              <addrLine>Lungarno Pacinotti 43 – 56126 Pisa – Italia</addrLine>
              <country key="IT"/>
            </address>
            <ref type="url">https://www.unipi.it/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>