Event Structure Semantics of Orc View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2008

AUTHORS

Sidney Rosario , David Kitchin , Albert Benveniste , William Cook , Stefan Haar , Claude Jard

ABSTRACT

Developing wide-area distributed applications requires jointly analyzing functional and Quality of Service (QoS) aspects, such as timing properties. Labelled transition systems and sequential trace semantics - the common semantic domains - do not facilitate this kind of analysis because they do not precisely express the causal relationships between events. Asymmetric Event Structures (AES) provide an explicit representation of the causal dependencies between events in the execution of a system and allow for an elegant coding of preemption. Event structures are, however, difficult to construct compositionally, because they cannot easily represent fragments of a computation. The heaps we develop here allow for such a representation, and easily generate AES. In this paper, we develop a partial-order semantics in terms of heaps, for Orc, an orchestration language used to describe distributed computations over the internet. We briefly show how Orc, and this new semantics, are used for QoS studies of wide area orchestrations. More... »

PAGES

154-168

References to SciGraph publications

  • 2006. Workflow Patterns in Orc in COORDINATION MODELS AND LANGUAGES
  • 2002-05. An Improvement of McMillan's Unfolding Algorithm in FORMAL METHODS IN SYSTEM DESIGN
  • 2003-07. Workflow Patterns in DISTRIBUTED AND PARALLEL DATABASES
  • 1987. Event structures in PETRI NETS: APPLICATIONS AND RELATIONSHIPS TO OTHER MODELS OF CONCURRENCY
  • 2006. Verification of Computation Orchestration Via Timed Automata in FORMAL METHODS AND SOFTWARE ENGINEERING
  • 2003-03. The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services in JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT
  • 2006. Translating Orc Features into Petri Nets and the Join Calculus in WEB SERVICES AND FORMAL METHODS
  • 2005. Using the π-Calculus for Formalizing Workflow Patterns in BUSINESS PROCESS MANAGEMENT
  • 2006. Event Structure Semantics for Nominal Calculi in CONCUR 2006 – CONCURRENCY THEORY
  • 2006. A Language for Task Orchestration and Its Semantic Properties in CONCUR 2006 – CONCURRENCY THEORY
  • Book

    TITLE

    Web Services and Formal Methods

    ISBN

    978-3-540-79229-1
    978-3-540-79230-7

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-540-79230-7_11

    DOI

    http://dx.doi.org/10.1007/978-3-540-79230-7_11

    DIMENSIONS

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


    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/1005", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Communications Technologies", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/10", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Technology", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "University of Rennes 1", 
              "id": "https://www.grid.ac/institutes/grid.410368.8", 
              "name": [
                "Irisa/Inria, Campus de Beaulieu, 35042, Rennes cedex, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Rosario", 
            "givenName": "Sidney", 
            "id": "sg:person.013250251650.29", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013250251650.29"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "The University of Texas at Austin", 
              "id": "https://www.grid.ac/institutes/grid.89336.37", 
              "name": [
                "Department of Computer Sciences, The University of Texas at Austin, Austin, USA"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Kitchin", 
            "givenName": "David", 
            "id": "sg:person.013363106171.03", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013363106171.03"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Rennes 1", 
              "id": "https://www.grid.ac/institutes/grid.410368.8", 
              "name": [
                "Irisa/Inria, Campus de Beaulieu, 35042, Rennes cedex, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Benveniste", 
            "givenName": "Albert", 
            "id": "sg:person.011174600625.42", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "The University of Texas at Austin", 
              "id": "https://www.grid.ac/institutes/grid.89336.37", 
              "name": [
                "Department of Computer Sciences, The University of Texas at Austin, Austin, USA"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Cook", 
            "givenName": "William", 
            "id": "sg:person.01114514134.65", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01114514134.65"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Ottawa", 
              "id": "https://www.grid.ac/institutes/grid.28046.38", 
              "name": [
                "Irisa/Inria Rennes and SITE, University of Ottawa, Canada"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Haar", 
            "givenName": "Stefan", 
            "id": "sg:person.015066472515.27", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015066472515.27"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Rennes 1", 
              "id": "https://www.grid.ac/institutes/grid.410368.8", 
              "name": [
                "Irisa/ENS Cachan, Campus de Beaulieu, 35042, Rennes cedex, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Jard", 
            "givenName": "Claude", 
            "id": "sg:person.015533423605.19", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015533423605.19"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/3-540-17906-2_31", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1000541505", 
              "https://doi.org/10.1007/3-540-17906-2_31"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11817949_20", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001551449", 
              "https://doi.org/10.1007/11817949_20"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11538394_11", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004380505", 
              "https://doi.org/10.1007/11538394_11"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11538394_11", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004380505", 
              "https://doi.org/10.1007/11538394_11"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1023/a:1014746130920", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1005669454", 
              "https://doi.org/10.1023/a:1014746130920"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.scico.2007.03.002", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007297217"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11901433_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1009176738", 
              "https://doi.org/10.1007/11901433_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11901433_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1009176738", 
              "https://doi.org/10.1007/11901433_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1023/a:1022445108617", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013777192", 
              "https://doi.org/10.1023/a:1022445108617"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/inco.2001.3060", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1017198995"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11767954_6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028057137", 
              "https://doi.org/10.1007/11767954_6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11767954_6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028057137", 
              "https://doi.org/10.1007/11767954_6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1023/a:1022883727209", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030766505", 
              "https://doi.org/10.1023/a:1022883727209"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11817949_32", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1045348036", 
              "https://doi.org/10.1007/11817949_32"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11841197_8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046530376", 
              "https://doi.org/10.1007/11841197_8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11841197_8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046530376", 
              "https://doi.org/10.1007/11841197_8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/inco.2002.3117", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052319010"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s1389-1286(00)00149-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052861991"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0890-5401(02)93117-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1054661579"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0890-5401(02)93117-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1054661579"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/isola.2006.8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1093321595"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/icws.2007.144", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095498513"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2008", 
        "datePublishedReg": "2008-01-01", 
        "description": "Developing wide-area distributed applications requires jointly analyzing functional and Quality of Service (QoS) aspects, such as timing properties. Labelled transition systems and sequential trace semantics - the common semantic domains - do not facilitate this kind of analysis because they do not precisely express the causal relationships between events. Asymmetric Event Structures (AES) provide an explicit representation of the causal dependencies between events in the execution of a system and allow for an elegant coding of preemption. Event structures are, however, difficult to construct compositionally, because they cannot easily represent fragments of a computation. The heaps we develop here allow for such a representation, and easily generate AES. In this paper, we develop a partial-order semantics in terms of heaps, for Orc, an orchestration language used to describe distributed computations over the internet. We briefly show how Orc, and this new semantics, are used for QoS studies of wide area orchestrations.", 
        "editor": [
          {
            "familyName": "Dumas", 
            "givenName": "Marlon", 
            "type": "Person"
          }, 
          {
            "familyName": "Heckel", 
            "givenName": "Reiko", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-540-79230-7_11", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": true, 
        "isPartOf": {
          "isbn": [
            "978-3-540-79229-1", 
            "978-3-540-79230-7"
          ], 
          "name": "Web Services and Formal Methods", 
          "type": "Book"
        }, 
        "name": "Event Structure Semantics of Orc", 
        "pagination": "154-168", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-540-79230-7_11"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "6ce5ed71124d01bd805c5bc76e563f21b3b7c1c96e5a82c77ffce2f202c131c0"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1022857618"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-540-79230-7_11", 
          "https://app.dimensions.ai/details/publication/pub.1022857618"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-16T06:06", 
        "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_113679_00000000.jsonl", 
        "type": "Chapter", 
        "url": "https://link.springer.com/10.1007%2F978-3-540-79230-7_11"
      }
    ]
     

    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-540-79230-7_11'

    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-540-79230-7_11'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-79230-7_11'

    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-540-79230-7_11'


     

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

    173 TRIPLES      23 PREDICATES      44 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-540-79230-7_11 schema:about anzsrc-for:10
    2 anzsrc-for:1005
    3 schema:author N24902a44b85d4a0c86609304e3b0cf17
    4 schema:citation sg:pub.10.1007/11538394_11
    5 sg:pub.10.1007/11767954_6
    6 sg:pub.10.1007/11817949_20
    7 sg:pub.10.1007/11817949_32
    8 sg:pub.10.1007/11841197_8
    9 sg:pub.10.1007/11901433_13
    10 sg:pub.10.1007/3-540-17906-2_31
    11 sg:pub.10.1023/a:1014746130920
    12 sg:pub.10.1023/a:1022445108617
    13 sg:pub.10.1023/a:1022883727209
    14 https://doi.org/10.1006/inco.2001.3060
    15 https://doi.org/10.1006/inco.2002.3117
    16 https://doi.org/10.1016/j.scico.2007.03.002
    17 https://doi.org/10.1016/s0890-5401(02)93117-2
    18 https://doi.org/10.1016/s1389-1286(00)00149-3
    19 https://doi.org/10.1109/icws.2007.144
    20 https://doi.org/10.1109/isola.2006.8
    21 schema:datePublished 2008
    22 schema:datePublishedReg 2008-01-01
    23 schema:description Developing wide-area distributed applications requires jointly analyzing functional and Quality of Service (QoS) aspects, such as timing properties. Labelled transition systems and sequential trace semantics - the common semantic domains - do not facilitate this kind of analysis because they do not precisely express the causal relationships between events. Asymmetric Event Structures (AES) provide an explicit representation of the causal dependencies between events in the execution of a system and allow for an elegant coding of preemption. Event structures are, however, difficult to construct compositionally, because they cannot easily represent fragments of a computation. The heaps we develop here allow for such a representation, and easily generate AES. In this paper, we develop a partial-order semantics in terms of heaps, for Orc, an orchestration language used to describe distributed computations over the internet. We briefly show how Orc, and this new semantics, are used for QoS studies of wide area orchestrations.
    24 schema:editor N7c10da20a62449e1b554adbfc47f312e
    25 schema:genre chapter
    26 schema:inLanguage en
    27 schema:isAccessibleForFree true
    28 schema:isPartOf N7d20e119ace94e3296b0da8aba75c6bf
    29 schema:name Event Structure Semantics of Orc
    30 schema:pagination 154-168
    31 schema:productId N32ac90273f6b4a4fa3abcb1de204d045
    32 N586611d39fa1435c84359caa1d105303
    33 Ncdc186264e9d477a84d3d2af6ec25f40
    34 schema:publisher N98a21c4447ce468cafb6dac019c7ed9f
    35 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022857618
    36 https://doi.org/10.1007/978-3-540-79230-7_11
    37 schema:sdDatePublished 2019-04-16T06:06
    38 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    39 schema:sdPublisher N907d5c8222544bfea7a3a2fa910ab5b5
    40 schema:url https://link.springer.com/10.1007%2F978-3-540-79230-7_11
    41 sgo:license sg:explorer/license/
    42 sgo:sdDataset chapters
    43 rdf:type schema:Chapter
    44 N0f75eed0939641dc84596ee1bdd05eb8 rdf:first N6a0468439e0a4167a836875675f215e4
    45 rdf:rest rdf:nil
    46 N24902a44b85d4a0c86609304e3b0cf17 rdf:first sg:person.013250251650.29
    47 rdf:rest Nb4972d59900440b18af50513331a7a6e
    48 N32ac90273f6b4a4fa3abcb1de204d045 schema:name dimensions_id
    49 schema:value pub.1022857618
    50 rdf:type schema:PropertyValue
    51 N586611d39fa1435c84359caa1d105303 schema:name readcube_id
    52 schema:value 6ce5ed71124d01bd805c5bc76e563f21b3b7c1c96e5a82c77ffce2f202c131c0
    53 rdf:type schema:PropertyValue
    54 N5f9f935df64d4c538bf34848294e83ba rdf:first sg:person.01114514134.65
    55 rdf:rest Nb27ac6f0d5614ff684d3a0023d14f3fc
    56 N6a0468439e0a4167a836875675f215e4 schema:familyName Heckel
    57 schema:givenName Reiko
    58 rdf:type schema:Person
    59 N6ecbdbba5d614bb6bab0649be7a4836d schema:familyName Dumas
    60 schema:givenName Marlon
    61 rdf:type schema:Person
    62 N7c10da20a62449e1b554adbfc47f312e rdf:first N6ecbdbba5d614bb6bab0649be7a4836d
    63 rdf:rest N0f75eed0939641dc84596ee1bdd05eb8
    64 N7d20e119ace94e3296b0da8aba75c6bf schema:isbn 978-3-540-79229-1
    65 978-3-540-79230-7
    66 schema:name Web Services and Formal Methods
    67 rdf:type schema:Book
    68 N907d5c8222544bfea7a3a2fa910ab5b5 schema:name Springer Nature - SN SciGraph project
    69 rdf:type schema:Organization
    70 N98a21c4447ce468cafb6dac019c7ed9f schema:location Berlin, Heidelberg
    71 schema:name Springer Berlin Heidelberg
    72 rdf:type schema:Organisation
    73 Nb27ac6f0d5614ff684d3a0023d14f3fc rdf:first sg:person.015066472515.27
    74 rdf:rest Ncb6d452c4e484666b291146eae765206
    75 Nb4972d59900440b18af50513331a7a6e rdf:first sg:person.013363106171.03
    76 rdf:rest Nc56319f50dba49afa6ce813259a09e55
    77 Nc56319f50dba49afa6ce813259a09e55 rdf:first sg:person.011174600625.42
    78 rdf:rest N5f9f935df64d4c538bf34848294e83ba
    79 Ncb6d452c4e484666b291146eae765206 rdf:first sg:person.015533423605.19
    80 rdf:rest rdf:nil
    81 Ncdc186264e9d477a84d3d2af6ec25f40 schema:name doi
    82 schema:value 10.1007/978-3-540-79230-7_11
    83 rdf:type schema:PropertyValue
    84 anzsrc-for:10 schema:inDefinedTermSet anzsrc-for:
    85 schema:name Technology
    86 rdf:type schema:DefinedTerm
    87 anzsrc-for:1005 schema:inDefinedTermSet anzsrc-for:
    88 schema:name Communications Technologies
    89 rdf:type schema:DefinedTerm
    90 sg:person.01114514134.65 schema:affiliation https://www.grid.ac/institutes/grid.89336.37
    91 schema:familyName Cook
    92 schema:givenName William
    93 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01114514134.65
    94 rdf:type schema:Person
    95 sg:person.011174600625.42 schema:affiliation https://www.grid.ac/institutes/grid.410368.8
    96 schema:familyName Benveniste
    97 schema:givenName Albert
    98 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42
    99 rdf:type schema:Person
    100 sg:person.013250251650.29 schema:affiliation https://www.grid.ac/institutes/grid.410368.8
    101 schema:familyName Rosario
    102 schema:givenName Sidney
    103 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013250251650.29
    104 rdf:type schema:Person
    105 sg:person.013363106171.03 schema:affiliation https://www.grid.ac/institutes/grid.89336.37
    106 schema:familyName Kitchin
    107 schema:givenName David
    108 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013363106171.03
    109 rdf:type schema:Person
    110 sg:person.015066472515.27 schema:affiliation https://www.grid.ac/institutes/grid.28046.38
    111 schema:familyName Haar
    112 schema:givenName Stefan
    113 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015066472515.27
    114 rdf:type schema:Person
    115 sg:person.015533423605.19 schema:affiliation https://www.grid.ac/institutes/grid.410368.8
    116 schema:familyName Jard
    117 schema:givenName Claude
    118 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015533423605.19
    119 rdf:type schema:Person
    120 sg:pub.10.1007/11538394_11 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004380505
    121 https://doi.org/10.1007/11538394_11
    122 rdf:type schema:CreativeWork
    123 sg:pub.10.1007/11767954_6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028057137
    124 https://doi.org/10.1007/11767954_6
    125 rdf:type schema:CreativeWork
    126 sg:pub.10.1007/11817949_20 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001551449
    127 https://doi.org/10.1007/11817949_20
    128 rdf:type schema:CreativeWork
    129 sg:pub.10.1007/11817949_32 schema:sameAs https://app.dimensions.ai/details/publication/pub.1045348036
    130 https://doi.org/10.1007/11817949_32
    131 rdf:type schema:CreativeWork
    132 sg:pub.10.1007/11841197_8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046530376
    133 https://doi.org/10.1007/11841197_8
    134 rdf:type schema:CreativeWork
    135 sg:pub.10.1007/11901433_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009176738
    136 https://doi.org/10.1007/11901433_13
    137 rdf:type schema:CreativeWork
    138 sg:pub.10.1007/3-540-17906-2_31 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000541505
    139 https://doi.org/10.1007/3-540-17906-2_31
    140 rdf:type schema:CreativeWork
    141 sg:pub.10.1023/a:1014746130920 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005669454
    142 https://doi.org/10.1023/a:1014746130920
    143 rdf:type schema:CreativeWork
    144 sg:pub.10.1023/a:1022445108617 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013777192
    145 https://doi.org/10.1023/a:1022445108617
    146 rdf:type schema:CreativeWork
    147 sg:pub.10.1023/a:1022883727209 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030766505
    148 https://doi.org/10.1023/a:1022883727209
    149 rdf:type schema:CreativeWork
    150 https://doi.org/10.1006/inco.2001.3060 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017198995
    151 rdf:type schema:CreativeWork
    152 https://doi.org/10.1006/inco.2002.3117 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052319010
    153 rdf:type schema:CreativeWork
    154 https://doi.org/10.1016/j.scico.2007.03.002 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007297217
    155 rdf:type schema:CreativeWork
    156 https://doi.org/10.1016/s0890-5401(02)93117-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1054661579
    157 rdf:type schema:CreativeWork
    158 https://doi.org/10.1016/s1389-1286(00)00149-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052861991
    159 rdf:type schema:CreativeWork
    160 https://doi.org/10.1109/icws.2007.144 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095498513
    161 rdf:type schema:CreativeWork
    162 https://doi.org/10.1109/isola.2006.8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093321595
    163 rdf:type schema:CreativeWork
    164 https://www.grid.ac/institutes/grid.28046.38 schema:alternateName University of Ottawa
    165 schema:name Irisa/Inria Rennes and SITE, University of Ottawa, Canada
    166 rdf:type schema:Organization
    167 https://www.grid.ac/institutes/grid.410368.8 schema:alternateName University of Rennes 1
    168 schema:name Irisa/ENS Cachan, Campus de Beaulieu, 35042, Rennes cedex, France
    169 Irisa/Inria, Campus de Beaulieu, 35042, Rennes cedex, France
    170 rdf:type schema:Organization
    171 https://www.grid.ac/institutes/grid.89336.37 schema:alternateName The University of Texas at Austin
    172 schema:name Department of Computer Sciences, The University of Texas at Austin, Austin, USA
    173 rdf:type schema:Organization
     




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


    ...