GoAt: Attribute-Based Interaction in Google Go View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2018-10-31

AUTHORS

Yehia Abd Alrahman , Rocco De Nicola , Giulio Garbi

ABSTRACT

The attribute-based interaction paradigm has been proposed as an appropriate tool to program the interactions of Collective Adaptive Systems where a group of components can interact according to their run-time properties and the environment they operate in. It has been shown that the novel paradigm is very expressive by means of encoding other well-known interaction paradigms. However, the question on the tradeoff between its expressiveness and its efficiency, when implemented to program distributed and collective systems, is still to be answered. In a previous work, we proposed three distributed communication infrastructures to handle message exchange for the attribute-based paradigm and we proved their correctness. In this paper, we describe an actual implementation of these infrastructures in Google Go. We describe an attribute-based programming API, named GoAt, that is parametric with respect to the infrastructure that mediates the interaction between components and an Eclipse plugin for GoAt to program in a high-level syntax which can be automatically used to generate formally verifiable Go code. Finally, we discuss the performance of the API by considering a non-trivial case study. More... »

PAGES

288-303

References to SciGraph publications

  • 2018. A Distributed Coordination Infrastructure for Attribute-Based Interaction in FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS
  • 2016. Programming of CAS Systems by Relying on Attribute-Based Communication in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES
  • 2016. On the Power of Attribute-Based Communication in FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS
  • 2017. AErlang: Empowering Erlang with Attribute-Based Communication in COORDINATION MODELS AND LANGUAGES
  • 2016. The Quest for Scalable Blockchain Fabric: Proof-of-Work vs. BFT Replication in OPEN PROBLEMS IN NETWORK SECURITY
  • Book

    TITLE

    Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

    ISBN

    978-3-030-03423-8
    978-3-030-03424-5

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-030-03424-5_19

    DOI

    http://dx.doi.org/10.1007/978-3-030-03424-5_19

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1107922860


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "about": [
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0803", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computer Software", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "IMT Institute for Advanced Studies Lucca", 
              "id": "https://www.grid.ac/institutes/grid.462365.0", 
              "name": [
                "IMT School for Advanced Studies Lucca, Lucca, Italy"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Alrahman", 
            "givenName": "Yehia Abd", 
            "id": "sg:person.011426060075.03", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011426060075.03"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "IMT Institute for Advanced Studies Lucca", 
              "id": "https://www.grid.ac/institutes/grid.462365.0", 
              "name": [
                "IMT School for Advanced Studies Lucca, Lucca, Italy"
              ], 
              "type": "Organization"
            }, 
            "familyName": "De Nicola", 
            "givenName": "Rocco", 
            "id": "sg:person.07767717642.84", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07767717642.84"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "IMT Institute for Advanced Studies Lucca", 
              "id": "https://www.grid.ac/institutes/grid.462365.0", 
              "name": [
                "IMT School for Advanced Studies Lucca, Lucca, Italy"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Garbi", 
            "givenName": "Giulio", 
            "id": "sg:person.011337410062.09", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011337410062.09"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1145/857076.857078", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1000515555"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2384716.2384720", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004520331"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2805789.2805800", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006052525"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-47166-2_38", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010981360", 
              "https://doi.org/10.1007/978-3-319-47166-2_38"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/359576.359585", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011312026"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/989.357400", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1014135587"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-39570-8_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034458219", 
              "https://doi.org/10.1007/978-3-319-39570-8_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/3149.214121", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1038326732"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2695664.2695668", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042826742"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-39028-4_9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046158698", 
              "https://doi.org/10.1007/978-3-319-39028-4_9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/503112.503113", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047532059"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.jcp.2007.10.021", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1049491762"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0890-5401(92)90009-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1050806792"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1137/1036084", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1062863717"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-59746-1_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1086391190", 
              "https://doi.org/10.1007/978-3-319-59746-1_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/isads.1995.398975", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095153431"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/ipdps.2001.925136", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095818860"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/ipdps.2001.925136", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095818860"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-92612-4_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1104284677", 
              "https://doi.org/10.1007/978-3-319-92612-4_1"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2018-10-31", 
        "datePublishedReg": "2018-10-31", 
        "description": "The attribute-based interaction paradigm has been proposed as an appropriate tool to program the interactions of Collective Adaptive Systems where a group of components can interact according to their run-time properties and the environment they operate in. It has been shown that the novel paradigm is very expressive by means of encoding other well-known interaction paradigms. However, the question on the tradeoff between its expressiveness and its efficiency, when implemented to program distributed and collective systems, is still to be answered. In a previous work, we proposed three distributed communication infrastructures to handle message exchange for the attribute-based paradigm and we proved their correctness. In this paper, we describe an actual implementation of these infrastructures in Google Go. We describe an attribute-based programming API, named GoAt, that is parametric with respect to the infrastructure that mediates the interaction between components and an Eclipse plugin for GoAt to program in a high-level syntax which can be automatically used to generate formally verifiable Go code. Finally, we discuss the performance of the API by considering a non-trivial case study.", 
        "editor": [
          {
            "familyName": "Margaria", 
            "givenName": "Tiziana", 
            "type": "Person"
          }, 
          {
            "familyName": "Steffen", 
            "givenName": "Bernhard", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-030-03424-5_19", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-030-03423-8", 
            "978-3-030-03424-5"
          ], 
          "name": "Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems", 
          "type": "Book"
        }, 
        "name": "GoAt: Attribute-Based Interaction in Google Go", 
        "pagination": "288-303", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-030-03424-5_19"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "396f482661eae8d52f836a68baa44ec2d8184d16413ff9473c664f566f6c2a68"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1107922860"
            ]
          }
        ], 
        "publisher": {
          "location": "Cham", 
          "name": "Springer International Publishing", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-030-03424-5_19", 
          "https://app.dimensions.ai/details/publication/pub.1107922860"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-16T04:41", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000322_0000000322/records_65022_00000000.jsonl", 
        "type": "Chapter", 
        "url": "https://link.springer.com/10.1007%2F978-3-030-03424-5_19"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-03424-5_19'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-03424-5_19'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-03424-5_19'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-030-03424-5_19'


     

    This table displays all metadata directly associated to this object as RDF triples.

    143 TRIPLES      23 PREDICATES      44 URIs      19 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-030-03424-5_19 schema:about anzsrc-for:08
    2 anzsrc-for:0803
    3 schema:author N45a25e0e453343e3b72f8f7ca68539aa
    4 schema:citation sg:pub.10.1007/978-3-319-39028-4_9
    5 sg:pub.10.1007/978-3-319-39570-8_1
    6 sg:pub.10.1007/978-3-319-47166-2_38
    7 sg:pub.10.1007/978-3-319-59746-1_2
    8 sg:pub.10.1007/978-3-319-92612-4_1
    9 https://doi.org/10.1016/0890-5401(92)90009-5
    10 https://doi.org/10.1016/j.jcp.2007.10.021
    11 https://doi.org/10.1109/ipdps.2001.925136
    12 https://doi.org/10.1109/isads.1995.398975
    13 https://doi.org/10.1137/1036084
    14 https://doi.org/10.1145/2384716.2384720
    15 https://doi.org/10.1145/2695664.2695668
    16 https://doi.org/10.1145/2805789.2805800
    17 https://doi.org/10.1145/3149.214121
    18 https://doi.org/10.1145/359576.359585
    19 https://doi.org/10.1145/503112.503113
    20 https://doi.org/10.1145/857076.857078
    21 https://doi.org/10.1145/989.357400
    22 schema:datePublished 2018-10-31
    23 schema:datePublishedReg 2018-10-31
    24 schema:description The attribute-based interaction paradigm has been proposed as an appropriate tool to program the interactions of Collective Adaptive Systems where a group of components can interact according to their run-time properties and the environment they operate in. It has been shown that the novel paradigm is very expressive by means of encoding other well-known interaction paradigms. However, the question on the tradeoff between its expressiveness and its efficiency, when implemented to program distributed and collective systems, is still to be answered. In a previous work, we proposed three distributed communication infrastructures to handle message exchange for the attribute-based paradigm and we proved their correctness. In this paper, we describe an actual implementation of these infrastructures in Google Go. We describe an attribute-based programming API, named GoAt, that is parametric with respect to the infrastructure that mediates the interaction between components and an Eclipse plugin for GoAt to program in a high-level syntax which can be automatically used to generate formally verifiable Go code. Finally, we discuss the performance of the API by considering a non-trivial case study.
    25 schema:editor N7f48634d992440a98b8cec28a34b7908
    26 schema:genre chapter
    27 schema:inLanguage en
    28 schema:isAccessibleForFree false
    29 schema:isPartOf N924182eb45654a4b88875727618a0b0e
    30 schema:name GoAt: Attribute-Based Interaction in Google Go
    31 schema:pagination 288-303
    32 schema:productId N454b57e0930341539252828c023eb267
    33 N4ee988ec64764c3ab353e17c76301aec
    34 Nd9d12060dd9748c2af67e8acda598a21
    35 schema:publisher N89a89ded99d64029976842b91e414ac3
    36 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107922860
    37 https://doi.org/10.1007/978-3-030-03424-5_19
    38 schema:sdDatePublished 2019-04-16T04:41
    39 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    40 schema:sdPublisher N4bc9c25b2f38475888df93d258036758
    41 schema:url https://link.springer.com/10.1007%2F978-3-030-03424-5_19
    42 sgo:license sg:explorer/license/
    43 sgo:sdDataset chapters
    44 rdf:type schema:Chapter
    45 N0bca1d7698e2442885f9ce0a9ffd920f schema:familyName Margaria
    46 schema:givenName Tiziana
    47 rdf:type schema:Person
    48 N454b57e0930341539252828c023eb267 schema:name dimensions_id
    49 schema:value pub.1107922860
    50 rdf:type schema:PropertyValue
    51 N45a25e0e453343e3b72f8f7ca68539aa rdf:first sg:person.011426060075.03
    52 rdf:rest N9a7fa1492cf94cfea6fa5add51569dd9
    53 N4a7e7f44a0ac4d4d9822c01b711230b2 schema:familyName Steffen
    54 schema:givenName Bernhard
    55 rdf:type schema:Person
    56 N4bc9c25b2f38475888df93d258036758 schema:name Springer Nature - SN SciGraph project
    57 rdf:type schema:Organization
    58 N4ee988ec64764c3ab353e17c76301aec schema:name doi
    59 schema:value 10.1007/978-3-030-03424-5_19
    60 rdf:type schema:PropertyValue
    61 N7f48634d992440a98b8cec28a34b7908 rdf:first N0bca1d7698e2442885f9ce0a9ffd920f
    62 rdf:rest Ndfbff778daf44e9f8e6d606fcd7131ea
    63 N89a89ded99d64029976842b91e414ac3 schema:location Cham
    64 schema:name Springer International Publishing
    65 rdf:type schema:Organisation
    66 N924182eb45654a4b88875727618a0b0e schema:isbn 978-3-030-03423-8
    67 978-3-030-03424-5
    68 schema:name Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
    69 rdf:type schema:Book
    70 N9a7fa1492cf94cfea6fa5add51569dd9 rdf:first sg:person.07767717642.84
    71 rdf:rest Ne7c0d85bec9a4d69a6acf3707daa7df7
    72 Nd9d12060dd9748c2af67e8acda598a21 schema:name readcube_id
    73 schema:value 396f482661eae8d52f836a68baa44ec2d8184d16413ff9473c664f566f6c2a68
    74 rdf:type schema:PropertyValue
    75 Ndfbff778daf44e9f8e6d606fcd7131ea rdf:first N4a7e7f44a0ac4d4d9822c01b711230b2
    76 rdf:rest rdf:nil
    77 Ne7c0d85bec9a4d69a6acf3707daa7df7 rdf:first sg:person.011337410062.09
    78 rdf:rest rdf:nil
    79 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    80 schema:name Information and Computing Sciences
    81 rdf:type schema:DefinedTerm
    82 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    83 schema:name Computer Software
    84 rdf:type schema:DefinedTerm
    85 sg:person.011337410062.09 schema:affiliation https://www.grid.ac/institutes/grid.462365.0
    86 schema:familyName Garbi
    87 schema:givenName Giulio
    88 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011337410062.09
    89 rdf:type schema:Person
    90 sg:person.011426060075.03 schema:affiliation https://www.grid.ac/institutes/grid.462365.0
    91 schema:familyName Alrahman
    92 schema:givenName Yehia Abd
    93 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011426060075.03
    94 rdf:type schema:Person
    95 sg:person.07767717642.84 schema:affiliation https://www.grid.ac/institutes/grid.462365.0
    96 schema:familyName De Nicola
    97 schema:givenName Rocco
    98 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07767717642.84
    99 rdf:type schema:Person
    100 sg:pub.10.1007/978-3-319-39028-4_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046158698
    101 https://doi.org/10.1007/978-3-319-39028-4_9
    102 rdf:type schema:CreativeWork
    103 sg:pub.10.1007/978-3-319-39570-8_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034458219
    104 https://doi.org/10.1007/978-3-319-39570-8_1
    105 rdf:type schema:CreativeWork
    106 sg:pub.10.1007/978-3-319-47166-2_38 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010981360
    107 https://doi.org/10.1007/978-3-319-47166-2_38
    108 rdf:type schema:CreativeWork
    109 sg:pub.10.1007/978-3-319-59746-1_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086391190
    110 https://doi.org/10.1007/978-3-319-59746-1_2
    111 rdf:type schema:CreativeWork
    112 sg:pub.10.1007/978-3-319-92612-4_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1104284677
    113 https://doi.org/10.1007/978-3-319-92612-4_1
    114 rdf:type schema:CreativeWork
    115 https://doi.org/10.1016/0890-5401(92)90009-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050806792
    116 rdf:type schema:CreativeWork
    117 https://doi.org/10.1016/j.jcp.2007.10.021 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049491762
    118 rdf:type schema:CreativeWork
    119 https://doi.org/10.1109/ipdps.2001.925136 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095818860
    120 rdf:type schema:CreativeWork
    121 https://doi.org/10.1109/isads.1995.398975 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095153431
    122 rdf:type schema:CreativeWork
    123 https://doi.org/10.1137/1036084 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062863717
    124 rdf:type schema:CreativeWork
    125 https://doi.org/10.1145/2384716.2384720 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004520331
    126 rdf:type schema:CreativeWork
    127 https://doi.org/10.1145/2695664.2695668 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042826742
    128 rdf:type schema:CreativeWork
    129 https://doi.org/10.1145/2805789.2805800 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006052525
    130 rdf:type schema:CreativeWork
    131 https://doi.org/10.1145/3149.214121 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038326732
    132 rdf:type schema:CreativeWork
    133 https://doi.org/10.1145/359576.359585 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011312026
    134 rdf:type schema:CreativeWork
    135 https://doi.org/10.1145/503112.503113 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047532059
    136 rdf:type schema:CreativeWork
    137 https://doi.org/10.1145/857076.857078 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000515555
    138 rdf:type schema:CreativeWork
    139 https://doi.org/10.1145/989.357400 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014135587
    140 rdf:type schema:CreativeWork
    141 https://www.grid.ac/institutes/grid.462365.0 schema:alternateName IMT Institute for Advanced Studies Lucca
    142 schema:name IMT School for Advanced Studies Lucca, Lucca, Italy
    143 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...