Distributed Monitoring of Concurrent and Asynchronous Systems* View Full Text


Ontology type: schema:ScholarlyArticle      Open Access: True


Article Info

DATE

2005-03

AUTHORS

Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard

ABSTRACT

In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our approach relies on Petri net unfoldings and event structures, as means to manipulate trajectories of systems with concurrency. This article is an extended version of the paper with same title, which appeared as a plenary address in the Proceedings of CONCUR’2003. More... »

PAGES

33-84

References to SciGraph publications

  • 1993. Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits in COMPUTER AIDED VERIFICATION
  • 2003. Diagnosis of Active Systems, Principles and Techniques in NONE
  • 2003. Distributed Monitoring of Concurrent and Asynchronous Systems in CONCUR 2003 - CONCURRENCY THEORY
  • 2000-01. Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems in DISCRETE EVENT DYNAMIC SYSTEMS
  • 2002-04-19. An Unfolding Algorithm for Synchronous Products of Transition Systems in CONCUR’99 CONCURRENCY THEORY
  • 2003-05-27. Distributed Diagnosis of Discrete-Event Systems Using Petri Nets in APPLICATIONS AND THEORY OF PETRI NETS 2003
  • 1991-06. Branching processes of Petri nets in ACTA INFORMATICA
  • 1987. Event structures in PETRI NETS: APPLICATIONS AND RELATIONSHIPS TO OTHER MODELS OF CONCURRENCY
  • 2004. UML Specification of a Generic Model for Fault Diagnosis of Telecommunication Networks in TELECOMMUNICATIONS AND NETWORKING - ICT 2004
  • 2004. Algorithms for Distributed Fault Management in Telecommunications Networks in TELECOMMUNICATIONS AND NETWORKING - ICT 2004
  • 1985. Petri Nets, An Introduction in NONE
  • 1985. Categories of models for concurrency in SEMINAR ON CONCURRENCY
  • 1999. Introduction to Discrete Event Systems in NONE
  • 2005-10-22. Event structure semantics for CCS and related languages in AUTOMATA, LANGUAGES AND PROGRAMMING
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s10626-005-5238-5

    DOI

    http://dx.doi.org/10.1007/s10626-005-5238-5

    DIMENSIONS

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


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "about": [
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0803", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computer Software", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "University of Rennes 1", 
              "id": "https://www.grid.ac/institutes/grid.410368.8", 
              "name": [
                "Campus de Beaulieu, IRISA/INRIA, 35042, Rennes Cedex, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Fabre", 
            "givenName": "Eric", 
            "id": "sg:person.011362250353.22", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011362250353.22"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Rennes 1", 
              "id": "https://www.grid.ac/institutes/grid.410368.8", 
              "name": [
                "Campus de Beaulieu, IRISA/INRIA, 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": "University of Rennes 1", 
              "id": "https://www.grid.ac/institutes/grid.410368.8", 
              "name": [
                "Campus de Beaulieu, IRISA/INRIA, 35042, Rennes Cedex, France"
              ], 
              "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": {
              "name": [
                "Campus de Ker-Lann, IRISA/ENS-Cachan, 35170, Bruz, 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/978-3-540-27824-5_108", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004276901", 
              "https://doi.org/10.1007/978-3-540-27824-5_108"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-27824-5_108", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004276901", 
              "https://doi.org/10.1007/978-3-540-27824-5_108"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-15670-4_12", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1005749967", 
              "https://doi.org/10.1007/3-540-15670-4_12"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0012800", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006383355", 
              "https://doi.org/10.1007/bfb0012800"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0012800", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006383355", 
              "https://doi.org/10.1007/bfb0012800"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://app.dimensions.ai/details/publication/pub.1006790306", 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-94-017-0257-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006790306", 
              "https://doi.org/10.1007/978-94-017-0257-7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-94-017-0257-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006790306", 
              "https://doi.org/10.1007/978-94-017-0257-7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-27824-5_111", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012060962", 
              "https://doi.org/10.1007/978-3-540-27824-5_111"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-27824-5_111", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012060962", 
              "https://doi.org/10.1007/978-3-540-27824-5_111"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-69968-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015990409", 
              "https://doi.org/10.1007/978-3-642-69968-9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-69968-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015990409", 
              "https://doi.org/10.1007/978-3-642-69968-9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.3182/20020721-6-es-1901.00731", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018362748"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1023/a:1008335115538", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1019019323", 
              "https://doi.org/10.1023/a:1008335115538"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-44919-1_21", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020288080", 
              "https://doi.org/10.1007/3-540-44919-1_21"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-44919-1_21", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020288080", 
              "https://doi.org/10.1007/3-540-44919-1_21"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01463946", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023439124", 
              "https://doi.org/10.1007/bf01463946"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01463946", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023439124", 
              "https://doi.org/10.1007/bf01463946"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-56496-9_14", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034555011", 
              "https://doi.org/10.1007/3-540-56496-9_14"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(81)90112-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035972534"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0004-3702(99)00019-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039253583"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-48320-9_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040370433", 
              "https://doi.org/10.1007/3-540-48320-9_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-48320-9_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040370433", 
              "https://doi.org/10.1007/3-540-48320-9_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-45187-7_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047070728", 
              "https://doi.org/10.1007/978-3-540-45187-7_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-45187-7_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047070728", 
              "https://doi.org/10.1007/978-3-540-45187-7_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://app.dimensions.ai/details/publication/pub.1050224641", 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4757-4070-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1050224641", 
              "https://doi.org/10.1007/978-1-4757-4070-7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4757-4070-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1050224641", 
              "https://doi.org/10.1007/978-1-4757-4070-7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/87.486338", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061241589"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/9.412626", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061244618"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1142/s0218213002000927", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1062964293"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/lics.1988.5112", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1086229170"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/cdc.2002.1184529", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1093396657"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/cdc.2003.1271732", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094184637"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/wodes.2002.1167684", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095203459"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/cdc.2002.1184457", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095296207"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/wodes.2002.1167685", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095476431"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/cbo9780511526558", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1098786518"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2005-03", 
        "datePublishedReg": "2005-03-01", 
        "description": "In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our approach relies on Petri net unfoldings and event structures, as means to manipulate trajectories of systems with concurrency. This article is an extended version of the paper with same title, which appeared as a plenary address in the Proceedings of CONCUR\u20192003.", 
        "genre": "research_article", 
        "id": "sg:pub.10.1007/s10626-005-5238-5", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": true, 
        "isPartOf": [
          {
            "id": "sg:journal.1136419", 
            "issn": [
              "0924-6703", 
              "1573-7594"
            ], 
            "name": "Discrete Event Dynamic Systems", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "1", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "15"
          }
        ], 
        "name": "Distributed Monitoring of Concurrent and Asynchronous Systems*", 
        "pagination": "33-84", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s10626-005-5238-5"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "695af487e046ce059fcc69d43a3c0ecdaa40f97e5c4d4a99952f7162a6feefb1"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1022113780"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s10626-005-5238-5", 
          "https://app.dimensions.ai/details/publication/pub.1022113780"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2019-04-15T09:27", 
        "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/0000000376_0000000376/records_56196_00000001.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "http://link.springer.com/10.1007/s10626-005-5238-5"
      }
    ]
     

    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/s10626-005-5238-5'

    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/s10626-005-5238-5'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10626-005-5238-5'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10626-005-5238-5'


     

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

    183 TRIPLES      21 PREDICATES      56 URIs      19 LITERALS      7 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s10626-005-5238-5 schema:about anzsrc-for:08
    2 anzsrc-for:0803
    3 schema:author Naf6d6b3f164f4a07a626d70d55bdfae5
    4 schema:citation sg:pub.10.1007/3-540-15670-4_12
    5 sg:pub.10.1007/3-540-17906-2_31
    6 sg:pub.10.1007/3-540-44919-1_21
    7 sg:pub.10.1007/3-540-48320-9_2
    8 sg:pub.10.1007/3-540-56496-9_14
    9 sg:pub.10.1007/978-1-4757-4070-7
    10 sg:pub.10.1007/978-3-540-27824-5_108
    11 sg:pub.10.1007/978-3-540-27824-5_111
    12 sg:pub.10.1007/978-3-540-45187-7_1
    13 sg:pub.10.1007/978-3-642-69968-9
    14 sg:pub.10.1007/978-94-017-0257-7
    15 sg:pub.10.1007/bf01463946
    16 sg:pub.10.1007/bfb0012800
    17 sg:pub.10.1023/a:1008335115538
    18 https://app.dimensions.ai/details/publication/pub.1006790306
    19 https://app.dimensions.ai/details/publication/pub.1050224641
    20 https://doi.org/10.1016/0304-3975(81)90112-2
    21 https://doi.org/10.1016/s0004-3702(99)00019-3
    22 https://doi.org/10.1017/cbo9780511526558
    23 https://doi.org/10.1109/87.486338
    24 https://doi.org/10.1109/9.412626
    25 https://doi.org/10.1109/cdc.2002.1184457
    26 https://doi.org/10.1109/cdc.2002.1184529
    27 https://doi.org/10.1109/cdc.2003.1271732
    28 https://doi.org/10.1109/lics.1988.5112
    29 https://doi.org/10.1109/wodes.2002.1167684
    30 https://doi.org/10.1109/wodes.2002.1167685
    31 https://doi.org/10.1142/s0218213002000927
    32 https://doi.org/10.3182/20020721-6-es-1901.00731
    33 schema:datePublished 2005-03
    34 schema:datePublishedReg 2005-03-01
    35 schema:description In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our approach relies on Petri net unfoldings and event structures, as means to manipulate trajectories of systems with concurrency. This article is an extended version of the paper with same title, which appeared as a plenary address in the Proceedings of CONCUR’2003.
    36 schema:genre research_article
    37 schema:inLanguage en
    38 schema:isAccessibleForFree true
    39 schema:isPartOf N47fb34244ef64e7dab2845e4eda76fe6
    40 Nd3aa6433317f4319919c2092ca180372
    41 sg:journal.1136419
    42 schema:name Distributed Monitoring of Concurrent and Asynchronous Systems*
    43 schema:pagination 33-84
    44 schema:productId N1698ceee3432457f90db2f264fe97c8f
    45 Nb326aaea3acf4c77a485704bbb206ebe
    46 Neca6545bf43e406ba5b32ae48c526600
    47 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022113780
    48 https://doi.org/10.1007/s10626-005-5238-5
    49 schema:sdDatePublished 2019-04-15T09:27
    50 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    51 schema:sdPublisher Nb7b96ec8a4764df8b03fd7e99fe96351
    52 schema:url http://link.springer.com/10.1007/s10626-005-5238-5
    53 sgo:license sg:explorer/license/
    54 sgo:sdDataset articles
    55 rdf:type schema:ScholarlyArticle
    56 N1698ceee3432457f90db2f264fe97c8f schema:name doi
    57 schema:value 10.1007/s10626-005-5238-5
    58 rdf:type schema:PropertyValue
    59 N24a8f4cad99e4855b9ab178bb965cbeb rdf:first sg:person.015533423605.19
    60 rdf:rest rdf:nil
    61 N47fb34244ef64e7dab2845e4eda76fe6 schema:volumeNumber 15
    62 rdf:type schema:PublicationVolume
    63 N671b477ed6784d7d9c2dff34a6a1ca24 rdf:first sg:person.015066472515.27
    64 rdf:rest N24a8f4cad99e4855b9ab178bb965cbeb
    65 N728ed186c74e4c3dbaf9cc911730c6da rdf:first sg:person.011174600625.42
    66 rdf:rest N671b477ed6784d7d9c2dff34a6a1ca24
    67 Naf6d6b3f164f4a07a626d70d55bdfae5 rdf:first sg:person.011362250353.22
    68 rdf:rest N728ed186c74e4c3dbaf9cc911730c6da
    69 Nb326aaea3acf4c77a485704bbb206ebe schema:name readcube_id
    70 schema:value 695af487e046ce059fcc69d43a3c0ecdaa40f97e5c4d4a99952f7162a6feefb1
    71 rdf:type schema:PropertyValue
    72 Nb7b96ec8a4764df8b03fd7e99fe96351 schema:name Springer Nature - SN SciGraph project
    73 rdf:type schema:Organization
    74 Nd3aa6433317f4319919c2092ca180372 schema:issueNumber 1
    75 rdf:type schema:PublicationIssue
    76 Ne706e51f53b145adac074a3b655b0890 schema:name Campus de Ker-Lann, IRISA/ENS-Cachan, 35170, Bruz, France
    77 rdf:type schema:Organization
    78 Neca6545bf43e406ba5b32ae48c526600 schema:name dimensions_id
    79 schema:value pub.1022113780
    80 rdf:type schema:PropertyValue
    81 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    82 schema:name Information and Computing Sciences
    83 rdf:type schema:DefinedTerm
    84 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    85 schema:name Computer Software
    86 rdf:type schema:DefinedTerm
    87 sg:journal.1136419 schema:issn 0924-6703
    88 1573-7594
    89 schema:name Discrete Event Dynamic Systems
    90 rdf:type schema:Periodical
    91 sg:person.011174600625.42 schema:affiliation https://www.grid.ac/institutes/grid.410368.8
    92 schema:familyName Benveniste
    93 schema:givenName Albert
    94 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42
    95 rdf:type schema:Person
    96 sg:person.011362250353.22 schema:affiliation https://www.grid.ac/institutes/grid.410368.8
    97 schema:familyName Fabre
    98 schema:givenName Eric
    99 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011362250353.22
    100 rdf:type schema:Person
    101 sg:person.015066472515.27 schema:affiliation https://www.grid.ac/institutes/grid.410368.8
    102 schema:familyName Haar
    103 schema:givenName Stefan
    104 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015066472515.27
    105 rdf:type schema:Person
    106 sg:person.015533423605.19 schema:affiliation Ne706e51f53b145adac074a3b655b0890
    107 schema:familyName Jard
    108 schema:givenName Claude
    109 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015533423605.19
    110 rdf:type schema:Person
    111 sg:pub.10.1007/3-540-15670-4_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005749967
    112 https://doi.org/10.1007/3-540-15670-4_12
    113 rdf:type schema:CreativeWork
    114 sg:pub.10.1007/3-540-17906-2_31 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000541505
    115 https://doi.org/10.1007/3-540-17906-2_31
    116 rdf:type schema:CreativeWork
    117 sg:pub.10.1007/3-540-44919-1_21 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020288080
    118 https://doi.org/10.1007/3-540-44919-1_21
    119 rdf:type schema:CreativeWork
    120 sg:pub.10.1007/3-540-48320-9_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040370433
    121 https://doi.org/10.1007/3-540-48320-9_2
    122 rdf:type schema:CreativeWork
    123 sg:pub.10.1007/3-540-56496-9_14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034555011
    124 https://doi.org/10.1007/3-540-56496-9_14
    125 rdf:type schema:CreativeWork
    126 sg:pub.10.1007/978-1-4757-4070-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050224641
    127 https://doi.org/10.1007/978-1-4757-4070-7
    128 rdf:type schema:CreativeWork
    129 sg:pub.10.1007/978-3-540-27824-5_108 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004276901
    130 https://doi.org/10.1007/978-3-540-27824-5_108
    131 rdf:type schema:CreativeWork
    132 sg:pub.10.1007/978-3-540-27824-5_111 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012060962
    133 https://doi.org/10.1007/978-3-540-27824-5_111
    134 rdf:type schema:CreativeWork
    135 sg:pub.10.1007/978-3-540-45187-7_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047070728
    136 https://doi.org/10.1007/978-3-540-45187-7_1
    137 rdf:type schema:CreativeWork
    138 sg:pub.10.1007/978-3-642-69968-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015990409
    139 https://doi.org/10.1007/978-3-642-69968-9
    140 rdf:type schema:CreativeWork
    141 sg:pub.10.1007/978-94-017-0257-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006790306
    142 https://doi.org/10.1007/978-94-017-0257-7
    143 rdf:type schema:CreativeWork
    144 sg:pub.10.1007/bf01463946 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023439124
    145 https://doi.org/10.1007/bf01463946
    146 rdf:type schema:CreativeWork
    147 sg:pub.10.1007/bfb0012800 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006383355
    148 https://doi.org/10.1007/bfb0012800
    149 rdf:type schema:CreativeWork
    150 sg:pub.10.1023/a:1008335115538 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019019323
    151 https://doi.org/10.1023/a:1008335115538
    152 rdf:type schema:CreativeWork
    153 https://app.dimensions.ai/details/publication/pub.1006790306 schema:CreativeWork
    154 https://app.dimensions.ai/details/publication/pub.1050224641 schema:CreativeWork
    155 https://doi.org/10.1016/0304-3975(81)90112-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035972534
    156 rdf:type schema:CreativeWork
    157 https://doi.org/10.1016/s0004-3702(99)00019-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039253583
    158 rdf:type schema:CreativeWork
    159 https://doi.org/10.1017/cbo9780511526558 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098786518
    160 rdf:type schema:CreativeWork
    161 https://doi.org/10.1109/87.486338 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061241589
    162 rdf:type schema:CreativeWork
    163 https://doi.org/10.1109/9.412626 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061244618
    164 rdf:type schema:CreativeWork
    165 https://doi.org/10.1109/cdc.2002.1184457 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095296207
    166 rdf:type schema:CreativeWork
    167 https://doi.org/10.1109/cdc.2002.1184529 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093396657
    168 rdf:type schema:CreativeWork
    169 https://doi.org/10.1109/cdc.2003.1271732 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094184637
    170 rdf:type schema:CreativeWork
    171 https://doi.org/10.1109/lics.1988.5112 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086229170
    172 rdf:type schema:CreativeWork
    173 https://doi.org/10.1109/wodes.2002.1167684 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095203459
    174 rdf:type schema:CreativeWork
    175 https://doi.org/10.1109/wodes.2002.1167685 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095476431
    176 rdf:type schema:CreativeWork
    177 https://doi.org/10.1142/s0218213002000927 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062964293
    178 rdf:type schema:CreativeWork
    179 https://doi.org/10.3182/20020721-6-es-1901.00731 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018362748
    180 rdf:type schema:CreativeWork
    181 https://www.grid.ac/institutes/grid.410368.8 schema:alternateName University of Rennes 1
    182 schema:name Campus de Beaulieu, IRISA/INRIA, 35042, Rennes Cedex, France
    183 rdf:type schema:Organization
     




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


    ...