Reversible sessions with flexible choices View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2019-03-01

AUTHORS

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini

ABSTRACT

We propose a calculus for concurrent reversible multiparty sessions, equipped with a flexible choice operator allowing for different sets of participants in each branch. This operator is inspired by the notion of connecting action recently introduced by Hu and Yoshida to describe protocols with optional participants. We argue that this choice operator allows for a natural description of typical communication protocols. Our calculus also supports a compact representation of the history of processes and types, which facilitates the definition of rollback. Moreover, it implements a fine-tuned strategy for backward computation. We present a session type system for the calculus and show that it enforces the expected properties of session fidelity, forward progress and backward progress. More... »

PAGES

1-31

References to SciGraph publications

  • 2016. Rigid Families for the Reversible $$\pi $$ -Calculus in REVERSIBLE COMPUTATION
  • 1989. Permutation of transitions: An event structure semantics for CCS and SCCS in LINEAR TIME, BRANCHING TIME AND PARTIAL ORDER IN LOGICS AND MODELS FOR CONCURRENCY
  • 2016. Reversing Single Sessions in REVERSIBLE COMPUTATION
  • 2011. Controlling Reversibility in Higher-Order Pi in CONCUR 2011 – CONCURRENCY THEORY
  • 2017. Explicit Connection Actions in Multiparty Session Types in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • 1998. Language primitives and type discipline for structured communication-based programming in PROGRAMMING LANGUAGES AND SYSTEMS
  • 2008. The Conversation Calculus: A Model of Service-Oriented Computation in PROGRAMMING LANGUAGES AND SYSTEMS
  • 2014. Bisimulations for Communicating Transactions in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
  • 2010. Reversing Higher-Order Pi in CONCUR 2010 - CONCURRENCY THEORY
  • 2016-07. Reversible client/server interactions in FORMAL ASPECTS OF COMPUTING
  • 2004. Reversible Communicating Systems in CONCUR 2004 - CONCURRENCY THEORY
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s00236-019-00332-y

    DOI

    http://dx.doi.org/10.1007/s00236-019-00332-y

    DIMENSIONS

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


    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/0101", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Pure Mathematics", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/01", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Mathematical Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "French Institute for Research in Computer Science and Automation", 
              "id": "https://www.grid.ac/institutes/grid.5328.c", 
              "name": [
                "INRIA, Universit\u00e9 C\u00f4te d\u2019Azur, 2004 Route des Lucioles, 06902, Sophia Antipolis, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Castellani", 
            "givenName": "Ilaria", 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Turin", 
              "id": "https://www.grid.ac/institutes/grid.7605.4", 
              "name": [
                "Dipartimento di Informatica, Universit\u00e0 di Torino, Corso Svizzera 185, 10131, Turin, Italy"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Dezani-Ciancaglini", 
            "givenName": "Mariangiola", 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Eastern Piedmont Amadeo Avogadro", 
              "id": "https://www.grid.ac/institutes/grid.16563.37", 
              "name": [
                "DiSIT, Universit\u00e0 del Piemonte Orientale, Via Teresa Michel 11, 15121, Alessandria, Italy"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Giannini", 
            "givenName": "Paola", 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/s00165-016-0358-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1000686715", 
              "https://doi.org/10.1007/s00165-016-0358-2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0053567", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1005203249", 
              "https://doi.org/10.1007/bfb0053567"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.jlamp.2015.03.004", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006750313"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/inco.1994.1088", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010267592"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-40578-0_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011479446", 
              "https://doi.org/10.1007/978-3-319-40578-0_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-28644-8_19", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011799317", 
              "https://doi.org/10.1007/978-3-540-28644-8_19"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-28644-8_19", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011799317", 
              "https://doi.org/10.1007/978-3-540-28644-8_19"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-23217-6_20", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020979620", 
              "https://doi.org/10.1007/978-3-642-23217-6_20"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-23217-6_20", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020979620", 
              "https://doi.org/10.1007/978-3-642-23217-6_20"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-78739-6_21", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021328334", 
              "https://doi.org/10.1007/978-3-540-78739-6_21"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-78739-6_21", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021328334", 
              "https://doi.org/10.1007/978-3-540-78739-6_21"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.entcs.2005.12.095", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023190678"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-40578-0_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024040512", 
              "https://doi.org/10.1007/978-3-319-40578-0_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2827695", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024412745"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.jlamp.2015.07.004", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1031000660"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-54830-7_21", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1041863432", 
              "https://doi.org/10.1007/978-3-642-54830-7_21"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-15375-4_33", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1044654541", 
              "https://doi.org/10.1007/978-3-642-15375-4_33"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-15375-4_33", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1044654541", 
              "https://doi.org/10.1007/978-3-642-15375-4_33"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.jlap.2006.11.002", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047389617"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s0960129514000243", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047506249"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s096012951400005x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1048189948"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0013028", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1050108860", 
              "https://doi.org/10.1007/bfb0013028"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2168/lmcs-11(4:13)2015", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1069150811"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.4204/eptcs.203.5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1072355685"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.4204/eptcs.222.5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1072355901"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/3033019.3033031", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1083905192"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.4204/eptcs.246.9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1084656463"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-662-54494-5_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1084711651", 
              "https://doi.org/10.1007/978-3-662-54494-5_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1328438.1328472", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1098950123"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2019-03-01", 
        "datePublishedReg": "2019-03-01", 
        "description": "We propose a calculus for concurrent reversible multiparty sessions, equipped with a flexible choice operator allowing for different sets of participants in each branch. This operator is inspired by the notion of connecting action recently introduced by Hu and Yoshida to describe protocols with optional participants. We argue that this choice operator allows for a natural description of typical communication protocols. Our calculus also supports a compact representation of the history of processes and types, which facilitates the definition of rollback. Moreover, it implements a fine-tuned strategy for backward computation. We present a session type system for the calculus and show that it enforces the expected properties of session fidelity, forward progress and backward progress.", 
        "genre": "research_article", 
        "id": "sg:pub.10.1007/s00236-019-00332-y", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": [
          {
            "id": "sg:journal.1133515", 
            "issn": [
              "0001-5903", 
              "1432-0525"
            ], 
            "name": "Acta Informatica", 
            "type": "Periodical"
          }
        ], 
        "name": "Reversible sessions with flexible choices", 
        "pagination": "1-31", 
        "productId": [
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "724bd14880473e6050c84c0873d20a7f802fea6f6fc903920ca54ae13ea9b7ef"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s00236-019-00332-y"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1112470492"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s00236-019-00332-y", 
          "https://app.dimensions.ai/details/publication/pub.1112470492"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2019-04-11T10:35", 
        "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/0000000349_0000000349/records_113667_00000005.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://link.springer.com/10.1007%2Fs00236-019-00332-y"
      }
    ]
     

    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/s00236-019-00332-y'

    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/s00236-019-00332-y'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s00236-019-00332-y'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s00236-019-00332-y'


     

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

    158 TRIPLES      21 PREDICATES      49 URIs      16 LITERALS      5 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s00236-019-00332-y schema:about anzsrc-for:01
    2 anzsrc-for:0101
    3 schema:author N17c2df8a6bf34428ae5d0350952b9bf9
    4 schema:citation sg:pub.10.1007/978-3-319-40578-0_1
    5 sg:pub.10.1007/978-3-319-40578-0_4
    6 sg:pub.10.1007/978-3-540-28644-8_19
    7 sg:pub.10.1007/978-3-540-78739-6_21
    8 sg:pub.10.1007/978-3-642-15375-4_33
    9 sg:pub.10.1007/978-3-642-23217-6_20
    10 sg:pub.10.1007/978-3-642-54830-7_21
    11 sg:pub.10.1007/978-3-662-54494-5_7
    12 sg:pub.10.1007/bfb0013028
    13 sg:pub.10.1007/bfb0053567
    14 sg:pub.10.1007/s00165-016-0358-2
    15 https://doi.org/10.1006/inco.1994.1088
    16 https://doi.org/10.1016/j.entcs.2005.12.095
    17 https://doi.org/10.1016/j.jlamp.2015.03.004
    18 https://doi.org/10.1016/j.jlamp.2015.07.004
    19 https://doi.org/10.1016/j.jlap.2006.11.002
    20 https://doi.org/10.1017/s096012951400005x
    21 https://doi.org/10.1017/s0960129514000243
    22 https://doi.org/10.1145/1328438.1328472
    23 https://doi.org/10.1145/2827695
    24 https://doi.org/10.1145/3033019.3033031
    25 https://doi.org/10.2168/lmcs-11(4:13)2015
    26 https://doi.org/10.4204/eptcs.203.5
    27 https://doi.org/10.4204/eptcs.222.5
    28 https://doi.org/10.4204/eptcs.246.9
    29 schema:datePublished 2019-03-01
    30 schema:datePublishedReg 2019-03-01
    31 schema:description We propose a calculus for concurrent reversible multiparty sessions, equipped with a flexible choice operator allowing for different sets of participants in each branch. This operator is inspired by the notion of connecting action recently introduced by Hu and Yoshida to describe protocols with optional participants. We argue that this choice operator allows for a natural description of typical communication protocols. Our calculus also supports a compact representation of the history of processes and types, which facilitates the definition of rollback. Moreover, it implements a fine-tuned strategy for backward computation. We present a session type system for the calculus and show that it enforces the expected properties of session fidelity, forward progress and backward progress.
    32 schema:genre research_article
    33 schema:inLanguage en
    34 schema:isAccessibleForFree false
    35 schema:isPartOf sg:journal.1133515
    36 schema:name Reversible sessions with flexible choices
    37 schema:pagination 1-31
    38 schema:productId N1c9ddb2d02ec42a9b8fcd4fc10285bd4
    39 Nbdebdedcada24dcd927ced80586ee462
    40 Neb792e650bb84723bdc3c411f10d3215
    41 schema:sameAs https://app.dimensions.ai/details/publication/pub.1112470492
    42 https://doi.org/10.1007/s00236-019-00332-y
    43 schema:sdDatePublished 2019-04-11T10:35
    44 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    45 schema:sdPublisher N4e469f5e776748879b9e7b1d3beee021
    46 schema:url https://link.springer.com/10.1007%2Fs00236-019-00332-y
    47 sgo:license sg:explorer/license/
    48 sgo:sdDataset articles
    49 rdf:type schema:ScholarlyArticle
    50 N0347577c28f2489ea5cecf9d01ba9bfe schema:affiliation https://www.grid.ac/institutes/grid.16563.37
    51 schema:familyName Giannini
    52 schema:givenName Paola
    53 rdf:type schema:Person
    54 N17c2df8a6bf34428ae5d0350952b9bf9 rdf:first N2e787e699b5c4d668d040a73171b741e
    55 rdf:rest N5c32083b3b1b46aaa710bfd6987c8333
    56 N1c9ddb2d02ec42a9b8fcd4fc10285bd4 schema:name dimensions_id
    57 schema:value pub.1112470492
    58 rdf:type schema:PropertyValue
    59 N2a05651bd97d40b0be04b050d71cf4b1 rdf:first N0347577c28f2489ea5cecf9d01ba9bfe
    60 rdf:rest rdf:nil
    61 N2e787e699b5c4d668d040a73171b741e schema:affiliation https://www.grid.ac/institutes/grid.5328.c
    62 schema:familyName Castellani
    63 schema:givenName Ilaria
    64 rdf:type schema:Person
    65 N4e469f5e776748879b9e7b1d3beee021 schema:name Springer Nature - SN SciGraph project
    66 rdf:type schema:Organization
    67 N5c32083b3b1b46aaa710bfd6987c8333 rdf:first N8a80fc43a1fe425d920943be3ff384e4
    68 rdf:rest N2a05651bd97d40b0be04b050d71cf4b1
    69 N8a80fc43a1fe425d920943be3ff384e4 schema:affiliation https://www.grid.ac/institutes/grid.7605.4
    70 schema:familyName Dezani-Ciancaglini
    71 schema:givenName Mariangiola
    72 rdf:type schema:Person
    73 Nbdebdedcada24dcd927ced80586ee462 schema:name doi
    74 schema:value 10.1007/s00236-019-00332-y
    75 rdf:type schema:PropertyValue
    76 Neb792e650bb84723bdc3c411f10d3215 schema:name readcube_id
    77 schema:value 724bd14880473e6050c84c0873d20a7f802fea6f6fc903920ca54ae13ea9b7ef
    78 rdf:type schema:PropertyValue
    79 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
    80 schema:name Mathematical Sciences
    81 rdf:type schema:DefinedTerm
    82 anzsrc-for:0101 schema:inDefinedTermSet anzsrc-for:
    83 schema:name Pure Mathematics
    84 rdf:type schema:DefinedTerm
    85 sg:journal.1133515 schema:issn 0001-5903
    86 1432-0525
    87 schema:name Acta Informatica
    88 rdf:type schema:Periodical
    89 sg:pub.10.1007/978-3-319-40578-0_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024040512
    90 https://doi.org/10.1007/978-3-319-40578-0_1
    91 rdf:type schema:CreativeWork
    92 sg:pub.10.1007/978-3-319-40578-0_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011479446
    93 https://doi.org/10.1007/978-3-319-40578-0_4
    94 rdf:type schema:CreativeWork
    95 sg:pub.10.1007/978-3-540-28644-8_19 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011799317
    96 https://doi.org/10.1007/978-3-540-28644-8_19
    97 rdf:type schema:CreativeWork
    98 sg:pub.10.1007/978-3-540-78739-6_21 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021328334
    99 https://doi.org/10.1007/978-3-540-78739-6_21
    100 rdf:type schema:CreativeWork
    101 sg:pub.10.1007/978-3-642-15375-4_33 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044654541
    102 https://doi.org/10.1007/978-3-642-15375-4_33
    103 rdf:type schema:CreativeWork
    104 sg:pub.10.1007/978-3-642-23217-6_20 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020979620
    105 https://doi.org/10.1007/978-3-642-23217-6_20
    106 rdf:type schema:CreativeWork
    107 sg:pub.10.1007/978-3-642-54830-7_21 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041863432
    108 https://doi.org/10.1007/978-3-642-54830-7_21
    109 rdf:type schema:CreativeWork
    110 sg:pub.10.1007/978-3-662-54494-5_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1084711651
    111 https://doi.org/10.1007/978-3-662-54494-5_7
    112 rdf:type schema:CreativeWork
    113 sg:pub.10.1007/bfb0013028 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050108860
    114 https://doi.org/10.1007/bfb0013028
    115 rdf:type schema:CreativeWork
    116 sg:pub.10.1007/bfb0053567 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005203249
    117 https://doi.org/10.1007/bfb0053567
    118 rdf:type schema:CreativeWork
    119 sg:pub.10.1007/s00165-016-0358-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000686715
    120 https://doi.org/10.1007/s00165-016-0358-2
    121 rdf:type schema:CreativeWork
    122 https://doi.org/10.1006/inco.1994.1088 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010267592
    123 rdf:type schema:CreativeWork
    124 https://doi.org/10.1016/j.entcs.2005.12.095 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023190678
    125 rdf:type schema:CreativeWork
    126 https://doi.org/10.1016/j.jlamp.2015.03.004 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006750313
    127 rdf:type schema:CreativeWork
    128 https://doi.org/10.1016/j.jlamp.2015.07.004 schema:sameAs https://app.dimensions.ai/details/publication/pub.1031000660
    129 rdf:type schema:CreativeWork
    130 https://doi.org/10.1016/j.jlap.2006.11.002 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047389617
    131 rdf:type schema:CreativeWork
    132 https://doi.org/10.1017/s096012951400005x schema:sameAs https://app.dimensions.ai/details/publication/pub.1048189948
    133 rdf:type schema:CreativeWork
    134 https://doi.org/10.1017/s0960129514000243 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047506249
    135 rdf:type schema:CreativeWork
    136 https://doi.org/10.1145/1328438.1328472 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098950123
    137 rdf:type schema:CreativeWork
    138 https://doi.org/10.1145/2827695 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024412745
    139 rdf:type schema:CreativeWork
    140 https://doi.org/10.1145/3033019.3033031 schema:sameAs https://app.dimensions.ai/details/publication/pub.1083905192
    141 rdf:type schema:CreativeWork
    142 https://doi.org/10.2168/lmcs-11(4:13)2015 schema:sameAs https://app.dimensions.ai/details/publication/pub.1069150811
    143 rdf:type schema:CreativeWork
    144 https://doi.org/10.4204/eptcs.203.5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1072355685
    145 rdf:type schema:CreativeWork
    146 https://doi.org/10.4204/eptcs.222.5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1072355901
    147 rdf:type schema:CreativeWork
    148 https://doi.org/10.4204/eptcs.246.9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1084656463
    149 rdf:type schema:CreativeWork
    150 https://www.grid.ac/institutes/grid.16563.37 schema:alternateName University of Eastern Piedmont Amadeo Avogadro
    151 schema:name DiSIT, Università del Piemonte Orientale, Via Teresa Michel 11, 15121, Alessandria, Italy
    152 rdf:type schema:Organization
    153 https://www.grid.ac/institutes/grid.5328.c schema:alternateName French Institute for Research in Computer Science and Automation
    154 schema:name INRIA, Université Côte d’Azur, 2004 Route des Lucioles, 06902, Sophia Antipolis, France
    155 rdf:type schema:Organization
    156 https://www.grid.ac/institutes/grid.7605.4 schema:alternateName University of Turin
    157 schema:name Dipartimento di Informatica, Università di Torino, Corso Svizzera 185, 10131, Turin, Italy
    158 rdf:type schema:Organization
     




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


    ...