TSO-to-TSO linearizability is undecidable View Full Text


Ontology type: schema:ScholarlyArticle      Open Access: True


Article Info

DATE

2018-12

AUTHORS

Chao Wang, Yi Lv, Peng Wu

ABSTRACT

TSO-to-TSO linearizability is a variant of linearizability for concurrent libraries on the total store order (TSO) memory model. It is proved in this paper that TSO-to-TSO linearizability for a bounded number of processes is undecidable. We first show that the trace inclusion problem of a classic-lossy single-channel system, which is known undecidable, can be reduced to the history inclusion problem of specific libraries on the TSO memory model. Based on the equivalence between history inclusion and extended history inclusion for these libraries, we then prove that the extended history inclusion problem of libraries is undecidable on the TSO memory model. By means of extended history inclusion as an equivalent characterization of TSO-to-TSO linearizability, we finally prove that TSO-to-TSO linearizability is undecidable for a bounded number of processes. Additionally, we prove that all variants of history inclusion problems are undecidable on TSO for a bounded number of processes. More... »

PAGES

1-20

References to SciGraph publications

  • 2014. Verifying Linearizability on TSO Architectures in INTEGRATED FORMAL METHODS
  • 2012. Concurrent Library Correctness on the TSO Memory Model in PROGRAMMING LANGUAGES AND SYSTEMS
  • 2009. Abstraction for Concurrent Objects in PROGRAMMING LANGUAGES AND SYSTEMS
  • 2001-10-10. Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems in THEORETICAL ASPECTS OF COMPUTER SOFTWARE
  • 2009. Experience with Model Checking Linearizability in MODEL CHECKING SOFTWARE
  • 2013. Verifying Concurrent Programs against Sequential Specifications in PROGRAMMING LANGUAGES AND SYSTEMS
  • 2015. TSO-to-TSO Linearizability Is Undecidable in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2012. Show No Weakness: Sequentially Consistent Specifications of TSO Libraries in DISTRIBUTED COMPUTING
  • 2016. Bounded TSO-to-SC Linearizability Is Decidable in SOFSEM 2016: THEORY AND PRACTICE OF COMPUTER SCIENCE
  • 2009. A Better x86 Memory Model: x86-TSO in THEOREM PROVING IN HIGHER ORDER LOGICS
  • 2014. Using Coarse-Grained Abstractions to Verify Linearizability on TSO Architectures in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s00236-017-0305-6

    DOI

    http://dx.doi.org/10.1007/s00236-017-0305-6

    DIMENSIONS

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


    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/2103", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Historical Studies", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/21", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "History and Archaeology", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "University of Chinese Academy of Sciences", 
              "id": "https://www.grid.ac/institutes/grid.410726.6", 
              "name": [
                "State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China", 
                "University of Chinese Academy of Sciences, Beijing, China"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Wang", 
            "givenName": "Chao", 
            "id": "sg:person.01066524255.38", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01066524255.38"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Chinese Academy of Sciences", 
              "id": "https://www.grid.ac/institutes/grid.410726.6", 
              "name": [
                "State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China", 
                "University of Chinese Academy of Sciences, Beijing, China"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Lv", 
            "givenName": "Yi", 
            "id": "sg:person.010213506655.05", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010213506655.05"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Chinese Academy of Sciences", 
              "id": "https://www.grid.ac/institutes/grid.410726.6", 
              "name": [
                "State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China", 
                "University of Chinese Academy of Sciences, Beijing, China"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Wu", 
            "givenName": "Peng", 
            "id": "sg:person.016273204115.60", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016273204115.60"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-642-33651-5_3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001096828", 
              "https://doi.org/10.1007/978-3-642-33651-5_3"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-662-49192-8_33", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1002373391", 
              "https://doi.org/10.1007/978-3-662-49192-8_33"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-10181-1_21", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1002623471", 
              "https://doi.org/10.1007/978-3-319-10181-1_21"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-03359-9_27", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1002762119", 
              "https://doi.org/10.1007/978-3-642-03359-9_27"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45500-0_19", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016200604", 
              "https://doi.org/10.1007/3-540-45500-0_19"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45500-0_19", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016200604", 
              "https://doi.org/10.1007/3-540-45500-0_19"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-37036-6_17", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1019291259", 
              "https://doi.org/10.1007/978-3-642-37036-6_17"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2480359.2429099", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1022136455"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/78969.78972", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1022544687"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-28869-2_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023649607", 
              "https://doi.org/10.1007/978-3-642-28869-2_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1040305.1040336", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027153104"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1993316.1993520", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1033642740"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2676726.2677002", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1036212425"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-00590-9_19", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1044003286", 
              "https://doi.org/10.1007/978-3-642-00590-9_19"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-00590-9_19", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1044003286", 
              "https://doi.org/10.1007/978-3-642-00590-9_19"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-13338-6_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1045850001", 
              "https://doi.org/10.1007/978-3-319-13338-6_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-02652-2_21", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046725007", 
              "https://doi.org/10.1007/978-3-642-02652-2_21"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-02652-2_21", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046725007", 
              "https://doi.org/10.1007/978-3-642-02652-2_21"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1926385.1926394", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1049225088"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-24953-7_24", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052916408", 
              "https://doi.org/10.1007/978-3-319-24953-7_24"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tc.1979.1675439", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061532316"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tse.2012.82", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061789000"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/lics.1996.561322", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1093672089"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1993498.1993520", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1098906438"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2429069.2429099", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1098912301"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1706299.1706303", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1098938304"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2018-12", 
        "datePublishedReg": "2018-12-01", 
        "description": "TSO-to-TSO linearizability is a variant of linearizability for concurrent libraries on the total store order (TSO) memory model. It is proved in this paper that TSO-to-TSO linearizability for a bounded number of processes is undecidable. We first show that the trace inclusion problem of a classic-lossy single-channel system, which is known undecidable, can be reduced to the history inclusion problem of specific libraries on the TSO memory model. Based on the equivalence between history inclusion and extended history inclusion for these libraries, we then prove that the extended history inclusion problem of libraries is undecidable on the TSO memory model. By means of extended history inclusion as an equivalent characterization of TSO-to-TSO linearizability, we finally prove that TSO-to-TSO linearizability is undecidable for a bounded number of processes. Additionally, we prove that all variants of history inclusion problems are undecidable on TSO for a bounded number of processes.", 
        "genre": "research_article", 
        "id": "sg:pub.10.1007/s00236-017-0305-6", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": true, 
        "isFundedItemOf": [
          {
            "id": "sg:grant.4912135", 
            "type": "MonetaryGrant"
          }, 
          {
            "id": "sg:grant.4978650", 
            "type": "MonetaryGrant"
          }, 
          {
            "id": "sg:grant.6999470", 
            "type": "MonetaryGrant"
          }
        ], 
        "isPartOf": [
          {
            "id": "sg:journal.1133515", 
            "issn": [
              "0001-5903", 
              "1432-0525"
            ], 
            "name": "Acta Informatica", 
            "type": "Periodical"
          }
        ], 
        "name": "TSO-to-TSO linearizability is undecidable", 
        "pagination": "1-20", 
        "productId": [
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "30e31b9de90e542de6459c4b3025421a40262c3d43bf62ae78d0354ac596dca4"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s00236-017-0305-6"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1092347866"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s00236-017-0305-6", 
          "https://app.dimensions.ai/details/publication/pub.1092347866"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2019-04-10T21:47", 
        "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/0000000001_0000000264/records_8687_00000568.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://link.springer.com/10.1007%2Fs00236-017-0305-6"
      }
    ]
     

    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-017-0305-6'

    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-017-0305-6'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s00236-017-0305-6'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s00236-017-0305-6'


     

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

    156 TRIPLES      21 PREDICATES      48 URIs      17 LITERALS      5 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s00236-017-0305-6 schema:about anzsrc-for:21
    2 anzsrc-for:2103
    3 schema:author N884a36c2605241a29a9ea9ab8d013b72
    4 schema:citation sg:pub.10.1007/3-540-45500-0_19
    5 sg:pub.10.1007/978-3-319-10181-1_21
    6 sg:pub.10.1007/978-3-319-13338-6_1
    7 sg:pub.10.1007/978-3-319-24953-7_24
    8 sg:pub.10.1007/978-3-642-00590-9_19
    9 sg:pub.10.1007/978-3-642-02652-2_21
    10 sg:pub.10.1007/978-3-642-03359-9_27
    11 sg:pub.10.1007/978-3-642-28869-2_5
    12 sg:pub.10.1007/978-3-642-33651-5_3
    13 sg:pub.10.1007/978-3-642-37036-6_17
    14 sg:pub.10.1007/978-3-662-49192-8_33
    15 https://doi.org/10.1109/lics.1996.561322
    16 https://doi.org/10.1109/tc.1979.1675439
    17 https://doi.org/10.1109/tse.2012.82
    18 https://doi.org/10.1145/1040305.1040336
    19 https://doi.org/10.1145/1706299.1706303
    20 https://doi.org/10.1145/1926385.1926394
    21 https://doi.org/10.1145/1993316.1993520
    22 https://doi.org/10.1145/1993498.1993520
    23 https://doi.org/10.1145/2429069.2429099
    24 https://doi.org/10.1145/2480359.2429099
    25 https://doi.org/10.1145/2676726.2677002
    26 https://doi.org/10.1145/78969.78972
    27 schema:datePublished 2018-12
    28 schema:datePublishedReg 2018-12-01
    29 schema:description TSO-to-TSO linearizability is a variant of linearizability for concurrent libraries on the total store order (TSO) memory model. It is proved in this paper that TSO-to-TSO linearizability for a bounded number of processes is undecidable. We first show that the trace inclusion problem of a classic-lossy single-channel system, which is known undecidable, can be reduced to the history inclusion problem of specific libraries on the TSO memory model. Based on the equivalence between history inclusion and extended history inclusion for these libraries, we then prove that the extended history inclusion problem of libraries is undecidable on the TSO memory model. By means of extended history inclusion as an equivalent characterization of TSO-to-TSO linearizability, we finally prove that TSO-to-TSO linearizability is undecidable for a bounded number of processes. Additionally, we prove that all variants of history inclusion problems are undecidable on TSO for a bounded number of processes.
    30 schema:genre research_article
    31 schema:inLanguage en
    32 schema:isAccessibleForFree true
    33 schema:isPartOf sg:journal.1133515
    34 schema:name TSO-to-TSO linearizability is undecidable
    35 schema:pagination 1-20
    36 schema:productId N60f324355651491ab991408f1991867e
    37 N7cf341ec54d54be7b0bb1c9751f2149b
    38 Nd56e3586a5a044b8899c8f0a9e5f2ef8
    39 schema:sameAs https://app.dimensions.ai/details/publication/pub.1092347866
    40 https://doi.org/10.1007/s00236-017-0305-6
    41 schema:sdDatePublished 2019-04-10T21:47
    42 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    43 schema:sdPublisher N5ff7a2c5206a40288287a8a6176095ec
    44 schema:url https://link.springer.com/10.1007%2Fs00236-017-0305-6
    45 sgo:license sg:explorer/license/
    46 sgo:sdDataset articles
    47 rdf:type schema:ScholarlyArticle
    48 N5ff7a2c5206a40288287a8a6176095ec schema:name Springer Nature - SN SciGraph project
    49 rdf:type schema:Organization
    50 N60f324355651491ab991408f1991867e schema:name dimensions_id
    51 schema:value pub.1092347866
    52 rdf:type schema:PropertyValue
    53 N7cf341ec54d54be7b0bb1c9751f2149b schema:name doi
    54 schema:value 10.1007/s00236-017-0305-6
    55 rdf:type schema:PropertyValue
    56 N884a36c2605241a29a9ea9ab8d013b72 rdf:first sg:person.01066524255.38
    57 rdf:rest Ne70f3bb1540e426f815e39168bd454c4
    58 N9f9c67286c8947adae8b46d456221ca5 rdf:first sg:person.016273204115.60
    59 rdf:rest rdf:nil
    60 Nd56e3586a5a044b8899c8f0a9e5f2ef8 schema:name readcube_id
    61 schema:value 30e31b9de90e542de6459c4b3025421a40262c3d43bf62ae78d0354ac596dca4
    62 rdf:type schema:PropertyValue
    63 Ne70f3bb1540e426f815e39168bd454c4 rdf:first sg:person.010213506655.05
    64 rdf:rest N9f9c67286c8947adae8b46d456221ca5
    65 anzsrc-for:21 schema:inDefinedTermSet anzsrc-for:
    66 schema:name History and Archaeology
    67 rdf:type schema:DefinedTerm
    68 anzsrc-for:2103 schema:inDefinedTermSet anzsrc-for:
    69 schema:name Historical Studies
    70 rdf:type schema:DefinedTerm
    71 sg:grant.4912135 http://pending.schema.org/fundedItem sg:pub.10.1007/s00236-017-0305-6
    72 rdf:type schema:MonetaryGrant
    73 sg:grant.4978650 http://pending.schema.org/fundedItem sg:pub.10.1007/s00236-017-0305-6
    74 rdf:type schema:MonetaryGrant
    75 sg:grant.6999470 http://pending.schema.org/fundedItem sg:pub.10.1007/s00236-017-0305-6
    76 rdf:type schema:MonetaryGrant
    77 sg:journal.1133515 schema:issn 0001-5903
    78 1432-0525
    79 schema:name Acta Informatica
    80 rdf:type schema:Periodical
    81 sg:person.010213506655.05 schema:affiliation https://www.grid.ac/institutes/grid.410726.6
    82 schema:familyName Lv
    83 schema:givenName Yi
    84 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010213506655.05
    85 rdf:type schema:Person
    86 sg:person.01066524255.38 schema:affiliation https://www.grid.ac/institutes/grid.410726.6
    87 schema:familyName Wang
    88 schema:givenName Chao
    89 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01066524255.38
    90 rdf:type schema:Person
    91 sg:person.016273204115.60 schema:affiliation https://www.grid.ac/institutes/grid.410726.6
    92 schema:familyName Wu
    93 schema:givenName Peng
    94 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016273204115.60
    95 rdf:type schema:Person
    96 sg:pub.10.1007/3-540-45500-0_19 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016200604
    97 https://doi.org/10.1007/3-540-45500-0_19
    98 rdf:type schema:CreativeWork
    99 sg:pub.10.1007/978-3-319-10181-1_21 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002623471
    100 https://doi.org/10.1007/978-3-319-10181-1_21
    101 rdf:type schema:CreativeWork
    102 sg:pub.10.1007/978-3-319-13338-6_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1045850001
    103 https://doi.org/10.1007/978-3-319-13338-6_1
    104 rdf:type schema:CreativeWork
    105 sg:pub.10.1007/978-3-319-24953-7_24 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052916408
    106 https://doi.org/10.1007/978-3-319-24953-7_24
    107 rdf:type schema:CreativeWork
    108 sg:pub.10.1007/978-3-642-00590-9_19 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044003286
    109 https://doi.org/10.1007/978-3-642-00590-9_19
    110 rdf:type schema:CreativeWork
    111 sg:pub.10.1007/978-3-642-02652-2_21 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046725007
    112 https://doi.org/10.1007/978-3-642-02652-2_21
    113 rdf:type schema:CreativeWork
    114 sg:pub.10.1007/978-3-642-03359-9_27 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002762119
    115 https://doi.org/10.1007/978-3-642-03359-9_27
    116 rdf:type schema:CreativeWork
    117 sg:pub.10.1007/978-3-642-28869-2_5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023649607
    118 https://doi.org/10.1007/978-3-642-28869-2_5
    119 rdf:type schema:CreativeWork
    120 sg:pub.10.1007/978-3-642-33651-5_3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001096828
    121 https://doi.org/10.1007/978-3-642-33651-5_3
    122 rdf:type schema:CreativeWork
    123 sg:pub.10.1007/978-3-642-37036-6_17 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019291259
    124 https://doi.org/10.1007/978-3-642-37036-6_17
    125 rdf:type schema:CreativeWork
    126 sg:pub.10.1007/978-3-662-49192-8_33 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002373391
    127 https://doi.org/10.1007/978-3-662-49192-8_33
    128 rdf:type schema:CreativeWork
    129 https://doi.org/10.1109/lics.1996.561322 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093672089
    130 rdf:type schema:CreativeWork
    131 https://doi.org/10.1109/tc.1979.1675439 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061532316
    132 rdf:type schema:CreativeWork
    133 https://doi.org/10.1109/tse.2012.82 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061789000
    134 rdf:type schema:CreativeWork
    135 https://doi.org/10.1145/1040305.1040336 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027153104
    136 rdf:type schema:CreativeWork
    137 https://doi.org/10.1145/1706299.1706303 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098938304
    138 rdf:type schema:CreativeWork
    139 https://doi.org/10.1145/1926385.1926394 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049225088
    140 rdf:type schema:CreativeWork
    141 https://doi.org/10.1145/1993316.1993520 schema:sameAs https://app.dimensions.ai/details/publication/pub.1033642740
    142 rdf:type schema:CreativeWork
    143 https://doi.org/10.1145/1993498.1993520 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098906438
    144 rdf:type schema:CreativeWork
    145 https://doi.org/10.1145/2429069.2429099 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098912301
    146 rdf:type schema:CreativeWork
    147 https://doi.org/10.1145/2480359.2429099 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022136455
    148 rdf:type schema:CreativeWork
    149 https://doi.org/10.1145/2676726.2677002 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036212425
    150 rdf:type schema:CreativeWork
    151 https://doi.org/10.1145/78969.78972 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022544687
    152 rdf:type schema:CreativeWork
    153 https://www.grid.ac/institutes/grid.410726.6 schema:alternateName University of Chinese Academy of Sciences
    154 schema:name State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China
    155 University of Chinese Academy of Sciences, Beijing, China
    156 rdf:type schema:Organization
     




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


    ...