Event structures View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1987

AUTHORS

Glynn Winskel

ABSTRACT

Event structures are a model of computational processes. They represent a process as a set of event occurrences with relations to express how events causally depend on others. This paper introduces event structures, shows their relationship to Scott domains and Petri nets, and surveys their role in denotational semantics, both for modelling languages like CCS and CSP and languages with higher types. More... »

PAGES

325-392

References to SciGraph publications

  • 1979. Petri nets, event structures and domains in SEMANTICS OF CONCURRENT COMPUTATION
  • 1982. Domains for denotational semantics in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 2005-10-22. Event structure semantics for CCS and related languages in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 1983. Synchronisation trees in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 1982. Lectures on a Mathematical Theory of Computation in THEORETICAL FOUNDATIONS OF PROGRAMMING METHODOLOGY
  • 1984. A new definition of morphism on Petri nets in STACS 84
  • 1984. Non-sequential behaviour in INTERNATIONAL SYMPOSIUM ON PROGRAMMING
  • 1983. Processes of place/transition-nets in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 1985. Categories of models for concurrency in SEMINAR ON CONCURRENCY
  • 1975-12. Formal semantics of a class of high-level primitives for coordinating concurrent processes in ACTA INFORMATICA
  • 1984. Using information systems to solve reoursive domain equations effectively in SEMANTICS OF DATA TYPES
  • Book

    TITLE

    Petri Nets: Applications and Relationships to Other Models of Concurrency

    ISBN

    978-3-540-17906-1
    978-3-540-47926-0

    Author Affiliations

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/3-540-17906-2_31

    DOI

    http://dx.doi.org/10.1007/3-540-17906-2_31

    DIMENSIONS

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


    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/2004", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Linguistics", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/20", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Language, Communication and Culture", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "University of Cambridge", 
              "id": "https://www.grid.ac/institutes/grid.5335.0", 
              "name": [
                "Computer Laboratory, University of Cambridge, Corn Exchange Street, CB2 3QG\u00a0Cambridge"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Winskel", 
            "givenName": "Glynn", 
            "id": "sg:person.012533205153.60", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012533205153.60"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/bfb0036949", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004203026", 
              "https://doi.org/10.1007/bfb0036949"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(83)90114-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004453135"
            ], 
            "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://doi.org/10.1016/0890-5401(87)90032-0", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010757447"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/582153.582177", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011140677"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-94-009-7893-5_9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011878157", 
              "https://doi.org/10.1007/978-94-009-7893-5_9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0049-237x(08)71120-0", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1019993649"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/359545.359563", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021135683"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0036914", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021672689", 
              "https://doi.org/10.1007/bfb0036914"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-12920-0_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023917668", 
              "https://doi.org/10.1007/3-540-12920-0_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0022474", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030192045", 
              "https://doi.org/10.1007/bfb0022474"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00264564", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1031451139", 
              "https://doi.org/10.1007/bf00264564"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00264564", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1031451139", 
              "https://doi.org/10.1007/bf00264564"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0096-0551(83)90036-x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043732640"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0096-0551(83)90036-x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043732640"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-13346-1_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1045438026", 
              "https://doi.org/10.1007/3-540-13346-1_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-12925-1_42", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046047191", 
              "https://doi.org/10.1007/3-540-12925-1_42"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0012801", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051598793", 
              "https://doi.org/10.1007/bfb0012801"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.7146/dpb.v6i78.7691", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1073611461"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "1987", 
        "datePublishedReg": "1987-01-01", 
        "description": "Event structures are a model of computational processes. They represent a process as a set of event occurrences with relations to express how events causally depend on others. This paper introduces event structures, shows their relationship to Scott domains and Petri nets, and surveys their role in denotational semantics, both for modelling languages like CCS and CSP and languages with higher types.", 
        "editor": [
          {
            "familyName": "Brauer", 
            "givenName": "W.", 
            "type": "Person"
          }, 
          {
            "familyName": "Reisig", 
            "givenName": "W.", 
            "type": "Person"
          }, 
          {
            "familyName": "Rozenberg", 
            "givenName": "G.", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/3-540-17906-2_31", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-540-17906-1", 
            "978-3-540-47926-0"
          ], 
          "name": "Petri Nets: Applications and Relationships to Other Models of Concurrency", 
          "type": "Book"
        }, 
        "name": "Event structures", 
        "pagination": "325-392", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/3-540-17906-2_31"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "0293b881e346770b7200ae23f377ba9af8e96d795e1d72a8125cdf694b73a14c"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1000541505"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/3-540-17906-2_31", 
          "https://app.dimensions.ai/details/publication/pub.1000541505"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T13:11", 
        "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_8664_00000000.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/3-540-17906-2_31"
      }
    ]
     

    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/3-540-17906-2_31'

    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/3-540-17906-2_31'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-17906-2_31'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/3-540-17906-2_31'


     

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

    140 TRIPLES      23 PREDICATES      45 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/3-540-17906-2_31 schema:about anzsrc-for:20
    2 anzsrc-for:2004
    3 schema:author Na1cdf21969684936bef1e9ac2cf32774
    4 schema:citation sg:pub.10.1007/3-540-12920-0_13
    5 sg:pub.10.1007/3-540-12925-1_42
    6 sg:pub.10.1007/3-540-13346-1_5
    7 sg:pub.10.1007/3-540-15670-4_12
    8 sg:pub.10.1007/978-94-009-7893-5_9
    9 sg:pub.10.1007/bf00264564
    10 sg:pub.10.1007/bfb0012800
    11 sg:pub.10.1007/bfb0012801
    12 sg:pub.10.1007/bfb0022474
    13 sg:pub.10.1007/bfb0036914
    14 sg:pub.10.1007/bfb0036949
    15 https://doi.org/10.1016/0096-0551(83)90036-x
    16 https://doi.org/10.1016/0304-3975(83)90114-7
    17 https://doi.org/10.1016/0890-5401(87)90032-0
    18 https://doi.org/10.1016/s0049-237x(08)71120-0
    19 https://doi.org/10.1145/359545.359563
    20 https://doi.org/10.1145/582153.582177
    21 https://doi.org/10.7146/dpb.v6i78.7691
    22 schema:datePublished 1987
    23 schema:datePublishedReg 1987-01-01
    24 schema:description Event structures are a model of computational processes. They represent a process as a set of event occurrences with relations to express how events causally depend on others. This paper introduces event structures, shows their relationship to Scott domains and Petri nets, and surveys their role in denotational semantics, both for modelling languages like CCS and CSP and languages with higher types.
    25 schema:editor Nfdb8bc0880cd4bc5aca72b949bfe4ff2
    26 schema:genre chapter
    27 schema:inLanguage en
    28 schema:isAccessibleForFree false
    29 schema:isPartOf Na3de144d10444270bf956e6d95f1dd49
    30 schema:name Event structures
    31 schema:pagination 325-392
    32 schema:productId N279e884c2a7b4df5b616135f0730ca78
    33 N4e93d8017e8743e0911e7be1bf66f77c
    34 Nca85eb1999e4471f8e070b0a7667df7e
    35 schema:publisher Nc153952a15164d1ead7f6f4e252ddeb7
    36 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000541505
    37 https://doi.org/10.1007/3-540-17906-2_31
    38 schema:sdDatePublished 2019-04-15T13:11
    39 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    40 schema:sdPublisher N861567e90d85427f866ffddb54abe1ec
    41 schema:url http://link.springer.com/10.1007/3-540-17906-2_31
    42 sgo:license sg:explorer/license/
    43 sgo:sdDataset chapters
    44 rdf:type schema:Chapter
    45 N12f4ddc9eb2a41bfb37bf3469d5e24dc rdf:first N23372b3ee2ae4dfc8227e22c1d445a2b
    46 rdf:rest N5b30ab30b0be4e0f8efa5948c99d5a3f
    47 N23372b3ee2ae4dfc8227e22c1d445a2b schema:familyName Reisig
    48 schema:givenName W.
    49 rdf:type schema:Person
    50 N279e884c2a7b4df5b616135f0730ca78 schema:name doi
    51 schema:value 10.1007/3-540-17906-2_31
    52 rdf:type schema:PropertyValue
    53 N4e93d8017e8743e0911e7be1bf66f77c schema:name readcube_id
    54 schema:value 0293b881e346770b7200ae23f377ba9af8e96d795e1d72a8125cdf694b73a14c
    55 rdf:type schema:PropertyValue
    56 N587c6c64fb05410b91224f1011d0a031 schema:familyName Brauer
    57 schema:givenName W.
    58 rdf:type schema:Person
    59 N5b30ab30b0be4e0f8efa5948c99d5a3f rdf:first N8be27aad5b6f453fb7c12e1626f13cde
    60 rdf:rest rdf:nil
    61 N861567e90d85427f866ffddb54abe1ec schema:name Springer Nature - SN SciGraph project
    62 rdf:type schema:Organization
    63 N8be27aad5b6f453fb7c12e1626f13cde schema:familyName Rozenberg
    64 schema:givenName G.
    65 rdf:type schema:Person
    66 Na1cdf21969684936bef1e9ac2cf32774 rdf:first sg:person.012533205153.60
    67 rdf:rest rdf:nil
    68 Na3de144d10444270bf956e6d95f1dd49 schema:isbn 978-3-540-17906-1
    69 978-3-540-47926-0
    70 schema:name Petri Nets: Applications and Relationships to Other Models of Concurrency
    71 rdf:type schema:Book
    72 Nc153952a15164d1ead7f6f4e252ddeb7 schema:location Berlin, Heidelberg
    73 schema:name Springer Berlin Heidelberg
    74 rdf:type schema:Organisation
    75 Nca85eb1999e4471f8e070b0a7667df7e schema:name dimensions_id
    76 schema:value pub.1000541505
    77 rdf:type schema:PropertyValue
    78 Nfdb8bc0880cd4bc5aca72b949bfe4ff2 rdf:first N587c6c64fb05410b91224f1011d0a031
    79 rdf:rest N12f4ddc9eb2a41bfb37bf3469d5e24dc
    80 anzsrc-for:20 schema:inDefinedTermSet anzsrc-for:
    81 schema:name Language, Communication and Culture
    82 rdf:type schema:DefinedTerm
    83 anzsrc-for:2004 schema:inDefinedTermSet anzsrc-for:
    84 schema:name Linguistics
    85 rdf:type schema:DefinedTerm
    86 sg:person.012533205153.60 schema:affiliation https://www.grid.ac/institutes/grid.5335.0
    87 schema:familyName Winskel
    88 schema:givenName Glynn
    89 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012533205153.60
    90 rdf:type schema:Person
    91 sg:pub.10.1007/3-540-12920-0_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023917668
    92 https://doi.org/10.1007/3-540-12920-0_13
    93 rdf:type schema:CreativeWork
    94 sg:pub.10.1007/3-540-12925-1_42 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046047191
    95 https://doi.org/10.1007/3-540-12925-1_42
    96 rdf:type schema:CreativeWork
    97 sg:pub.10.1007/3-540-13346-1_5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1045438026
    98 https://doi.org/10.1007/3-540-13346-1_5
    99 rdf:type schema:CreativeWork
    100 sg:pub.10.1007/3-540-15670-4_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005749967
    101 https://doi.org/10.1007/3-540-15670-4_12
    102 rdf:type schema:CreativeWork
    103 sg:pub.10.1007/978-94-009-7893-5_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011878157
    104 https://doi.org/10.1007/978-94-009-7893-5_9
    105 rdf:type schema:CreativeWork
    106 sg:pub.10.1007/bf00264564 schema:sameAs https://app.dimensions.ai/details/publication/pub.1031451139
    107 https://doi.org/10.1007/bf00264564
    108 rdf:type schema:CreativeWork
    109 sg:pub.10.1007/bfb0012800 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006383355
    110 https://doi.org/10.1007/bfb0012800
    111 rdf:type schema:CreativeWork
    112 sg:pub.10.1007/bfb0012801 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051598793
    113 https://doi.org/10.1007/bfb0012801
    114 rdf:type schema:CreativeWork
    115 sg:pub.10.1007/bfb0022474 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030192045
    116 https://doi.org/10.1007/bfb0022474
    117 rdf:type schema:CreativeWork
    118 sg:pub.10.1007/bfb0036914 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021672689
    119 https://doi.org/10.1007/bfb0036914
    120 rdf:type schema:CreativeWork
    121 sg:pub.10.1007/bfb0036949 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004203026
    122 https://doi.org/10.1007/bfb0036949
    123 rdf:type schema:CreativeWork
    124 https://doi.org/10.1016/0096-0551(83)90036-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1043732640
    125 rdf:type schema:CreativeWork
    126 https://doi.org/10.1016/0304-3975(83)90114-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004453135
    127 rdf:type schema:CreativeWork
    128 https://doi.org/10.1016/0890-5401(87)90032-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010757447
    129 rdf:type schema:CreativeWork
    130 https://doi.org/10.1016/s0049-237x(08)71120-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019993649
    131 rdf:type schema:CreativeWork
    132 https://doi.org/10.1145/359545.359563 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021135683
    133 rdf:type schema:CreativeWork
    134 https://doi.org/10.1145/582153.582177 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011140677
    135 rdf:type schema:CreativeWork
    136 https://doi.org/10.7146/dpb.v6i78.7691 schema:sameAs https://app.dimensions.ai/details/publication/pub.1073611461
    137 rdf:type schema:CreativeWork
    138 https://www.grid.ac/institutes/grid.5335.0 schema:alternateName University of Cambridge
    139 schema:name Computer Laboratory, University of Cambridge, Corn Exchange Street, CB2 3QG Cambridge
    140 rdf:type schema:Organization
     




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


    ...