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 N17cb40f55fc747248c50f8cbd9e14fca
    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 N312e9f8b2ea045078869bfb11b04a580
    26 schema:genre chapter
    27 schema:inLanguage en
    28 schema:isAccessibleForFree false
    29 schema:isPartOf N590d1d8537084296a739ed47568a9f47
    30 schema:name GoAt: Attribute-Based Interaction in Google Go
    31 schema:pagination 288-303
    32 schema:productId N089a5565aad546cea313f57c8e75ae0c
    33 N232dabdc3a60441db7a7c9fa846adb3b
    34 N6047314d86e74156bd326d8b877dbead
    35 schema:publisher Nc3733a8b1ce948f2bee3993db63bbb9b
    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 Nb6c192e312e34b9d99c127fe5b6cdd49
    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 N089a5565aad546cea313f57c8e75ae0c schema:name doi
    46 schema:value 10.1007/978-3-030-03424-5_19
    47 rdf:type schema:PropertyValue
    48 N17cb40f55fc747248c50f8cbd9e14fca rdf:first sg:person.011426060075.03
    49 rdf:rest N7d290f6f0ca0402fad67f63001857878
    50 N232dabdc3a60441db7a7c9fa846adb3b schema:name dimensions_id
    51 schema:value pub.1107922860
    52 rdf:type schema:PropertyValue
    53 N312e9f8b2ea045078869bfb11b04a580 rdf:first Nb70b95fa59c24393afe948f6e0290296
    54 rdf:rest Ncdd51dca816a4f5c867070953efacbbe
    55 N590d1d8537084296a739ed47568a9f47 schema:isbn 978-3-030-03423-8
    56 978-3-030-03424-5
    57 schema:name Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
    58 rdf:type schema:Book
    59 N5e70dcfe1eba45cf8e07719c7cada4dd schema:familyName Steffen
    60 schema:givenName Bernhard
    61 rdf:type schema:Person
    62 N6047314d86e74156bd326d8b877dbead schema:name readcube_id
    63 schema:value 396f482661eae8d52f836a68baa44ec2d8184d16413ff9473c664f566f6c2a68
    64 rdf:type schema:PropertyValue
    65 N7d290f6f0ca0402fad67f63001857878 rdf:first sg:person.07767717642.84
    66 rdf:rest Neb60eddf23b64c94b80b6fa8905917ff
    67 Nb6c192e312e34b9d99c127fe5b6cdd49 schema:name Springer Nature - SN SciGraph project
    68 rdf:type schema:Organization
    69 Nb70b95fa59c24393afe948f6e0290296 schema:familyName Margaria
    70 schema:givenName Tiziana
    71 rdf:type schema:Person
    72 Nc3733a8b1ce948f2bee3993db63bbb9b schema:location Cham
    73 schema:name Springer International Publishing
    74 rdf:type schema:Organisation
    75 Ncdd51dca816a4f5c867070953efacbbe rdf:first N5e70dcfe1eba45cf8e07719c7cada4dd
    76 rdf:rest rdf:nil
    77 Neb60eddf23b64c94b80b6fa8905917ff 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)


    ...