A fully abstract semantics for value-passing CCS for trees View Full Text


Ontology type: schema:ScholarlyArticle      Open Access: True


Article Info

DATE

2018-10-16

AUTHORS

Ying Jiang, Shichao Liu, Thomas Ehrhard

ABSTRACT

We propose a fully abstract semantics for valuepassing CCS for trees (VCCTS) with the feature that processes are located at the vertices of a graph whose edges describe possible interaction capabilities. The operational semantics is given both in terms of a reduction semantics and in terms of a labelled transition semantics. We develop a theory of behavioral equivalences by introducing both weak barbed congruence and weak bisimilarity. In particular, we show that, on image-finite processes, weak barbed congruence coincides with weak bisimilarity. To illustrate potential applications and the powerful expressiveness of VCCTS, we formally compare VCCTS with some well-known models, e.g., dynamic pushdown networks, top-down tree automata and value-passing CCS. More... »

PAGES

1-22

References to SciGraph publications

  • 2001-10-10. Observational Equivalence for Synchronized Graph Rewriting with Mobility in THEORETICAL ASPECTS OF COMPUTER SOFTWARE
  • 2007. CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence in PROGRAMMING LANGUAGES AND SYSTEMS
  • 1994-08. Comparing locality and causality based equivalences in ACTA INFORMATICA
  • 2006. Synchronised Hyperedge Replacement as a Model for Service Oriented Computing in FORMAL METHODS FOR COMPONENTS AND OBJECTS
  • 1989. An introduction to event structures in LINEAR TIME, BRANCHING TIME AND PARTIAL ORDER IN LOGICS AND MODELS FOR CONCURRENCY
  • 1992. Barbed bisimulation in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 2008. Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra in CONCURRENCY, GRAPHS AND MODELS
  • 2005. Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems in CONCUR 2005 – CONCURRENCY THEORY
  • 2009. Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints in COMPUTER AIDED VERIFICATION
  • 2003-05-13. An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
  • 1994-03. A theory of processes with localities in FORMAL ASPECTS OF COMPUTING
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s11704-018-7069-1

    DOI

    http://dx.doi.org/10.1007/s11704-018-7069-1

    DIMENSIONS

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


    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/0802", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computation Theory and Mathematics", 
            "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": "Institute of Software", 
              "id": "https://www.grid.ac/institutes/grid.458446.f", 
              "name": [
                "State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, 100190, Beijing, China"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Jiang", 
            "givenName": "Ying", 
            "id": "sg:person.014604120065.23", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014604120065.23"
            ], 
            "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, 100190, Beijing, China", 
                "University of Chinese Academy of Sciences, 100049, Beijing, China"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Liu", 
            "givenName": "Shichao", 
            "id": "sg:person.016174373145.08", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016174373145.08"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "name": [
                "CNRS, IRIF, UMR 8243, Univ Paris Diderot, Sorbonne Paris Cit\u00e9, F-75205, Paris, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Ehrhard", 
            "givenName": "Thomas", 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1145/357980.358021", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1005499695"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/174130.174141", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007185298"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-68679-8_47", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011519742", 
              "https://doi.org/10.1007/978-3-540-68679-8_47"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/b978-044482830-9/50033-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011581987"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.tcs.2010.01.023", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1014133885"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/76359.76369", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1019662251"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01221098", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020031453", 
              "https://doi.org/10.1007/bf01221098"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01221098", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020031453", 
              "https://doi.org/10.1007/bf01221098"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/362946.362970", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020431561"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/2603088.2603093", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020951895"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-02658-4_39", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021666635", 
              "https://doi.org/10.1007/978-3-642-02658-4_39"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-02658-4_39", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021666635", 
              "https://doi.org/10.1007/978-3-642-02658-4_39"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-76637-7_26", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024907650", 
              "https://doi.org/10.1007/978-3-540-76637-7_26"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-76637-7_26", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024907650", 
              "https://doi.org/10.1007/978-3-540-76637-7_26"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(90)90095-y", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025721939"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.tcs.2006.08.036", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028743769"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-55719-9_114", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035226837", 
              "https://doi.org/10.1007/3-540-55719-9_114"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.ic.2007.11.010", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035348497"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11539452_36", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035572638", 
              "https://doi.org/10.1007/11539452_36"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11539452_36", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035572638", 
              "https://doi.org/10.1007/11539452_36"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01178730", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040436894", 
              "https://doi.org/10.1007/bf01178730"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01178730", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040436894", 
              "https://doi.org/10.1007/bf01178730"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-49019-1_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040798671", 
              "https://doi.org/10.1007/3-540-49019-1_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-49019-1_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040798671", 
              "https://doi.org/10.1007/3-540-49019-1_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11804192_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042673423", 
              "https://doi.org/10.1007/11804192_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11804192_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042673423", 
              "https://doi.org/10.1007/11804192_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0890-5401(92)90008-4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1045157295"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0013026", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1049781746", 
              "https://doi.org/10.1007/bfb0013026"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45500-0_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1053573475", 
              "https://doi.org/10.1007/3-540-45500-0_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45500-0_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1053573475", 
              "https://doi.org/10.1007/3-540-45500-0_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tase.2016.19", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094822324"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/cbo9780511792588", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1108323787"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2018-10-16", 
        "datePublishedReg": "2018-10-16", 
        "description": "We propose a fully abstract semantics for valuepassing CCS for trees (VCCTS) with the feature that processes are located at the vertices of a graph whose edges describe possible interaction capabilities. The operational semantics is given both in terms of a reduction semantics and in terms of a labelled transition semantics. We develop a theory of behavioral equivalences by introducing both weak barbed congruence and weak bisimilarity. In particular, we show that, on image-finite processes, weak barbed congruence coincides with weak bisimilarity. To illustrate potential applications and the powerful expressiveness of VCCTS, we formally compare VCCTS with some well-known models, e.g., dynamic pushdown networks, top-down tree automata and value-passing CCS.", 
        "genre": "research_article", 
        "id": "sg:pub.10.1007/s11704-018-7069-1", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": true, 
        "isPartOf": [
          {
            "id": "sg:journal.1356943", 
            "issn": [
              "2095-2228", 
              "2095-2236"
            ], 
            "name": "Frontiers of Computer Science", 
            "type": "Periodical"
          }
        ], 
        "name": "A fully abstract semantics for value-passing CCS for trees", 
        "pagination": "1-22", 
        "productId": [
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "aa953b4fd2846290d637845a1e474a6d2618b767ef80d110de69eeff8f444b8e"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s11704-018-7069-1"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1107644311"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s11704-018-7069-1", 
          "https://app.dimensions.ai/details/publication/pub.1107644311"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2019-04-10T16:56", 
        "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_8669_00000605.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://link.springer.com/10.1007%2Fs11704-018-7069-1"
      }
    ]
     

    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/s11704-018-7069-1'

    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/s11704-018-7069-1'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s11704-018-7069-1'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s11704-018-7069-1'


     

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

    157 TRIPLES      21 PREDICATES      48 URIs      16 LITERALS      5 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s11704-018-7069-1 schema:about anzsrc-for:08
    2 anzsrc-for:0802
    3 schema:author N9f328f55ea984c189325924e4b4fa41b
    4 schema:citation sg:pub.10.1007/11539452_36
    5 sg:pub.10.1007/11804192_2
    6 sg:pub.10.1007/3-540-45500-0_7
    7 sg:pub.10.1007/3-540-49019-1_2
    8 sg:pub.10.1007/3-540-55719-9_114
    9 sg:pub.10.1007/978-3-540-68679-8_47
    10 sg:pub.10.1007/978-3-540-76637-7_26
    11 sg:pub.10.1007/978-3-642-02658-4_39
    12 sg:pub.10.1007/bf01178730
    13 sg:pub.10.1007/bf01221098
    14 sg:pub.10.1007/bfb0013026
    15 https://doi.org/10.1016/0304-3975(90)90095-y
    16 https://doi.org/10.1016/0890-5401(92)90008-4
    17 https://doi.org/10.1016/b978-044482830-9/50033-3
    18 https://doi.org/10.1016/j.ic.2007.11.010
    19 https://doi.org/10.1016/j.tcs.2006.08.036
    20 https://doi.org/10.1016/j.tcs.2010.01.023
    21 https://doi.org/10.1017/cbo9780511792588
    22 https://doi.org/10.1109/tase.2016.19
    23 https://doi.org/10.1145/174130.174141
    24 https://doi.org/10.1145/2603088.2603093
    25 https://doi.org/10.1145/357980.358021
    26 https://doi.org/10.1145/362946.362970
    27 https://doi.org/10.1145/76359.76369
    28 schema:datePublished 2018-10-16
    29 schema:datePublishedReg 2018-10-16
    30 schema:description We propose a fully abstract semantics for valuepassing CCS for trees (VCCTS) with the feature that processes are located at the vertices of a graph whose edges describe possible interaction capabilities. The operational semantics is given both in terms of a reduction semantics and in terms of a labelled transition semantics. We develop a theory of behavioral equivalences by introducing both weak barbed congruence and weak bisimilarity. In particular, we show that, on image-finite processes, weak barbed congruence coincides with weak bisimilarity. To illustrate potential applications and the powerful expressiveness of VCCTS, we formally compare VCCTS with some well-known models, e.g., dynamic pushdown networks, top-down tree automata and value-passing CCS.
    31 schema:genre research_article
    32 schema:inLanguage en
    33 schema:isAccessibleForFree true
    34 schema:isPartOf sg:journal.1356943
    35 schema:name A fully abstract semantics for value-passing CCS for trees
    36 schema:pagination 1-22
    37 schema:productId N24a034c588c04aeb83c5c8fed946b773
    38 N88a51b5a9c294eadbea3e06c427e6b42
    39 Nc732280ae1d44d668d12e25b14495b91
    40 schema:sameAs https://app.dimensions.ai/details/publication/pub.1107644311
    41 https://doi.org/10.1007/s11704-018-7069-1
    42 schema:sdDatePublished 2019-04-10T16:56
    43 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    44 schema:sdPublisher Nf59becddc62d4fc2b9e81a2b39044da2
    45 schema:url https://link.springer.com/10.1007%2Fs11704-018-7069-1
    46 sgo:license sg:explorer/license/
    47 sgo:sdDataset articles
    48 rdf:type schema:ScholarlyArticle
    49 N24a034c588c04aeb83c5c8fed946b773 schema:name dimensions_id
    50 schema:value pub.1107644311
    51 rdf:type schema:PropertyValue
    52 N3abb8666c9714864956e9ec78d491b73 schema:name CNRS, IRIF, UMR 8243, Univ Paris Diderot, Sorbonne Paris Cité, F-75205, Paris, France
    53 rdf:type schema:Organization
    54 N87146543ff4b4cae8a1a12e85f1fe424 rdf:first Nc702ae508556465bb97c105e7cb9f2ff
    55 rdf:rest rdf:nil
    56 N88a51b5a9c294eadbea3e06c427e6b42 schema:name readcube_id
    57 schema:value aa953b4fd2846290d637845a1e474a6d2618b767ef80d110de69eeff8f444b8e
    58 rdf:type schema:PropertyValue
    59 N9f328f55ea984c189325924e4b4fa41b rdf:first sg:person.014604120065.23
    60 rdf:rest Ndd8f842bdc7c48f7837718c94a7f70c6
    61 Nc702ae508556465bb97c105e7cb9f2ff schema:affiliation N3abb8666c9714864956e9ec78d491b73
    62 schema:familyName Ehrhard
    63 schema:givenName Thomas
    64 rdf:type schema:Person
    65 Nc732280ae1d44d668d12e25b14495b91 schema:name doi
    66 schema:value 10.1007/s11704-018-7069-1
    67 rdf:type schema:PropertyValue
    68 Ndd8f842bdc7c48f7837718c94a7f70c6 rdf:first sg:person.016174373145.08
    69 rdf:rest N87146543ff4b4cae8a1a12e85f1fe424
    70 Nf59becddc62d4fc2b9e81a2b39044da2 schema:name Springer Nature - SN SciGraph project
    71 rdf:type schema:Organization
    72 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    73 schema:name Information and Computing Sciences
    74 rdf:type schema:DefinedTerm
    75 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
    76 schema:name Computation Theory and Mathematics
    77 rdf:type schema:DefinedTerm
    78 sg:journal.1356943 schema:issn 2095-2228
    79 2095-2236
    80 schema:name Frontiers of Computer Science
    81 rdf:type schema:Periodical
    82 sg:person.014604120065.23 schema:affiliation https://www.grid.ac/institutes/grid.458446.f
    83 schema:familyName Jiang
    84 schema:givenName Ying
    85 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014604120065.23
    86 rdf:type schema:Person
    87 sg:person.016174373145.08 schema:affiliation https://www.grid.ac/institutes/grid.410726.6
    88 schema:familyName Liu
    89 schema:givenName Shichao
    90 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016174373145.08
    91 rdf:type schema:Person
    92 sg:pub.10.1007/11539452_36 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035572638
    93 https://doi.org/10.1007/11539452_36
    94 rdf:type schema:CreativeWork
    95 sg:pub.10.1007/11804192_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042673423
    96 https://doi.org/10.1007/11804192_2
    97 rdf:type schema:CreativeWork
    98 sg:pub.10.1007/3-540-45500-0_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053573475
    99 https://doi.org/10.1007/3-540-45500-0_7
    100 rdf:type schema:CreativeWork
    101 sg:pub.10.1007/3-540-49019-1_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040798671
    102 https://doi.org/10.1007/3-540-49019-1_2
    103 rdf:type schema:CreativeWork
    104 sg:pub.10.1007/3-540-55719-9_114 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035226837
    105 https://doi.org/10.1007/3-540-55719-9_114
    106 rdf:type schema:CreativeWork
    107 sg:pub.10.1007/978-3-540-68679-8_47 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011519742
    108 https://doi.org/10.1007/978-3-540-68679-8_47
    109 rdf:type schema:CreativeWork
    110 sg:pub.10.1007/978-3-540-76637-7_26 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024907650
    111 https://doi.org/10.1007/978-3-540-76637-7_26
    112 rdf:type schema:CreativeWork
    113 sg:pub.10.1007/978-3-642-02658-4_39 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021666635
    114 https://doi.org/10.1007/978-3-642-02658-4_39
    115 rdf:type schema:CreativeWork
    116 sg:pub.10.1007/bf01178730 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040436894
    117 https://doi.org/10.1007/bf01178730
    118 rdf:type schema:CreativeWork
    119 sg:pub.10.1007/bf01221098 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020031453
    120 https://doi.org/10.1007/bf01221098
    121 rdf:type schema:CreativeWork
    122 sg:pub.10.1007/bfb0013026 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049781746
    123 https://doi.org/10.1007/bfb0013026
    124 rdf:type schema:CreativeWork
    125 https://doi.org/10.1016/0304-3975(90)90095-y schema:sameAs https://app.dimensions.ai/details/publication/pub.1025721939
    126 rdf:type schema:CreativeWork
    127 https://doi.org/10.1016/0890-5401(92)90008-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1045157295
    128 rdf:type schema:CreativeWork
    129 https://doi.org/10.1016/b978-044482830-9/50033-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011581987
    130 rdf:type schema:CreativeWork
    131 https://doi.org/10.1016/j.ic.2007.11.010 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035348497
    132 rdf:type schema:CreativeWork
    133 https://doi.org/10.1016/j.tcs.2006.08.036 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028743769
    134 rdf:type schema:CreativeWork
    135 https://doi.org/10.1016/j.tcs.2010.01.023 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014133885
    136 rdf:type schema:CreativeWork
    137 https://doi.org/10.1017/cbo9780511792588 schema:sameAs https://app.dimensions.ai/details/publication/pub.1108323787
    138 rdf:type schema:CreativeWork
    139 https://doi.org/10.1109/tase.2016.19 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094822324
    140 rdf:type schema:CreativeWork
    141 https://doi.org/10.1145/174130.174141 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007185298
    142 rdf:type schema:CreativeWork
    143 https://doi.org/10.1145/2603088.2603093 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020951895
    144 rdf:type schema:CreativeWork
    145 https://doi.org/10.1145/357980.358021 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005499695
    146 rdf:type schema:CreativeWork
    147 https://doi.org/10.1145/362946.362970 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020431561
    148 rdf:type schema:CreativeWork
    149 https://doi.org/10.1145/76359.76369 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019662251
    150 rdf:type schema:CreativeWork
    151 https://www.grid.ac/institutes/grid.410726.6 schema:alternateName University of Chinese Academy of Sciences
    152 schema:name State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, 100190, Beijing, China
    153 University of Chinese Academy of Sciences, 100049, Beijing, China
    154 rdf:type schema:Organization
    155 https://www.grid.ac/institutes/grid.458446.f schema:alternateName Institute of Software
    156 schema:name State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, 100190, Beijing, China
    157 rdf:type schema:Organization
     




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


    ...