<?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-01821499</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-20T23:06:42+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">A Formal Approach to the Engineering of Domain-Specific Distributed Systems</title>
            <author role="aut">
              <persName>
                <forename type="first">Rocco</forename>
                <forename type="middle">De</forename>
                <surname>Nicola</surname>
              </persName>
              <email type="md5">d29f33985932dbb07184311f0b6bcd69</email>
              <email type="domain">imtlucca.it</email>
              <idno type="idhal" notation="numeric">993626</idno>
              <idno type="halauthorid" notation="string">1081140-993626</idno>
              <affiliation ref="#struct-301837"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Gianluigi</forename>
                <surname>Ferrari</surname>
              </persName>
              <email type="md5">a68f8655c7b3d4ebdc9567baf3f31fef</email>
              <email type="domain">di.unipi.it</email>
              <idno type="idhal" notation="numeric">998109</idno>
              <idno type="halauthorid" notation="string">414706-998109</idno>
              <affiliation ref="#struct-366408"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Rosario</forename>
                <surname>Pugliese</surname>
              </persName>
              <email type="md5">c95cf68f848582d64c58d0b811d90893</email>
              <email type="domain">unifi.it</email>
              <idno type="idhal" notation="numeric">978928</idno>
              <idno type="halauthorid" notation="string">1010400-978928</idno>
              <affiliation ref="#struct-148408"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Francesco</forename>
                <surname>Tiezzi</surname>
              </persName>
              <email type="md5">11c8a654e882edd635b7a5576a834356</email>
              <email type="domain">unicam.it</email>
              <idno type="idhal" notation="numeric">972838</idno>
              <idno type="halauthorid" notation="string">873636-972838</idno>
              <affiliation ref="#struct-40726"/>
            </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-06-22 14:56:06</date>
              <date type="whenModified">2024-12-20 11:38:17</date>
              <date type="whenReleased">2018-06-22 15:02:25</date>
              <date type="whenProduced">2018-06-18</date>
              <date type="whenEndEmbargoed">2021-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01821499v1/document">
                <date notBefore="2021-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01821499v1/file/468924_1_En_5_Chapter.pdf" id="file-1821499-1848968">
                <date notBefore="2021-01-01"/>
              </ref>
            </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-01821499</idno>
            <idno type="halUri">https://inria.hal.science/hal-01821499</idno>
            <idno type="halBibtex">nicola:hal-01821499</idno>
            <idno type="halRefHtml">&lt;i&gt;20th International Conference on Coordination Languages and Models (COORDINATION)&lt;/i&gt;, Jun 2018, Madrid, Spain. pp.110-141, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-319-92408-3_5"&gt;&amp;#x27E8;10.1007/978-3-319-92408-3_5&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.110-141, &amp;#x27E8;10.1007/978-3-319-92408-3_5&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1821499-1848968"/></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-10852" corresp="IFIP-LNCS">Coordination Models and Languages (COORDINATION 2018)</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 Formal Approach to the Engineering of Domain-Specific Distributed Systems</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Rocco</forename>
                    <forename type="middle">De</forename>
                    <surname>Nicola</surname>
                  </persName>
                  <email type="md5">d29f33985932dbb07184311f0b6bcd69</email>
                  <email type="domain">imtlucca.it</email>
                  <idno type="idhal" notation="numeric">993626</idno>
                  <idno type="halauthorid" notation="string">1081140-993626</idno>
                  <affiliation ref="#struct-301837"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Gianluigi</forename>
                    <surname>Ferrari</surname>
                  </persName>
                  <email type="md5">a68f8655c7b3d4ebdc9567baf3f31fef</email>
                  <email type="domain">di.unipi.it</email>
                  <idno type="idhal" notation="numeric">998109</idno>
                  <idno type="halauthorid" notation="string">414706-998109</idno>
                  <affiliation ref="#struct-366408"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Rosario</forename>
                    <surname>Pugliese</surname>
                  </persName>
                  <email type="md5">c95cf68f848582d64c58d0b811d90893</email>
                  <email type="domain">unifi.it</email>
                  <idno type="idhal" notation="numeric">978928</idno>
                  <idno type="halauthorid" notation="string">1010400-978928</idno>
                  <affiliation ref="#struct-148408"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Francesco</forename>
                    <surname>Tiezzi</surname>
                  </persName>
                  <email type="md5">11c8a654e882edd635b7a5576a834356</email>
                  <email type="domain">unicam.it</email>
                  <idno type="idhal" notation="numeric">972838</idno>
                  <idno type="halauthorid" notation="string">873636-972838</idno>
                  <affiliation ref="#struct-40726"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>20th International Conference on Coordination Languages and Models (COORDINATION)</title>
                  <date type="start">2018-06-18</date>
                  <date type="end">2018-06-21</date>
                  <settlement>Madrid</settlement>
                  <country key="ES">Spain</country>
                </meeting>
                <editor>Giovanna Di Marzo Serugendo</editor>
                <editor>Michele Loreti</editor>
                <imprint>
                  <publisher>Springer International Publishing</publisher>
                  <biblScope unit="serie">Coordination Models and Languages</biblScope>
                  <biblScope unit="volume">LNCS-10852</biblScope>
                  <biblScope unit="pp">110-141</biblScope>
                  <date type="datePub">2018</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-319-92408-3_5</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>We review some results regarding specification, programming and  verification of different classes of distributed systems which stemmed from the research of the Concurrency and Mobility Group at University of Firenze. More specifically, we review distinguishing features of network-aware programming, service-oriented computing, autonomic computing, and collective adaptive systems programming. We then present an overview of four different languages,namely KLAIM, COWS, SCEL and AbC. For each language, we discuss design choices, present syntax and informal semantics, show some illustrative examples,and describe programming environments and verification techniques.</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-301837" status="VALID">
          <idno type="ROR">https://ror.org/035gh3a49</idno>
          <orgName>IMT Institute for Advanced Studies [Lucca]</orgName>
          <desc>
            <address>
              <addrLine>Piazza S.Francesco, 19, 55100 Lucca LU</addrLine>
              <country key="IT"/>
            </address>
          </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>
        <org type="institution" xml:id="struct-148408" status="VALID">
          <idno type="IdRef">026430584</idno>
          <idno type="ROR">https://ror.org/04jr1s763</idno>
          <orgName>Università degli Studi di Firenze = University of Florence = Université de Florence</orgName>
          <orgName type="acronym">UniFI</orgName>
          <desc>
            <address>
              <addrLine>Piazza di San Marco, 4, 50121 Firenze FI, Italie</addrLine>
              <country key="IT"/>
            </address>
            <ref type="url">https://www.unifi.it/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-40726" status="VALID">
          <idno type="ISNI">0000000097456549</idno>
          <idno type="ROR">https://ror.org/0005w8d69</idno>
          <orgName>Università degli Studi di Camerino = University of Camerino</orgName>
          <orgName type="acronym">UNICAM</orgName>
          <date type="start">1336-01-01</date>
          <desc>
            <address>
              <addrLine>Piazza Cavour 19/f 62032 Camerino (MC)</addrLine>
              <country key="IT"/>
            </address>
            <ref type="url">https://www.unicam.it/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>