Event structure semantics for CCS and related languages View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2005-10-22

AUTHORS

Glynn Winskel

ABSTRACT

N/A

PAGES

561-576

References to SciGraph publications

Book

TITLE

Automata, Languages and Programming

ISBN

3-540-11576-5

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/bfb0012800

DOI

http://dx.doi.org/10.1007/bfb0012800

DIMENSIONS

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


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", 
    "author": [
      {
        "affiliation": {
          "alternateName": "Aarhus University", 
          "id": "https://www.grid.ac/institutes/grid.7048.b", 
          "name": [
            "Computer Science Department, Aarhus University, Aarhus, Denmark"
          ], 
          "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/bfb0022474", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1030192045", 
          "https://doi.org/10.1007/bfb0022474"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf00266047", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1037351058", 
          "https://doi.org/10.1007/bf00266047"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf00266047", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1037351058", 
          "https://doi.org/10.1007/bf00266047"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-100016", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1109702105", 
          "https://doi.org/10.1007/3-540-100016"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-100016", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1109702105", 
          "https://doi.org/10.1007/3-540-100016"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-100016", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1109702105", 
          "https://doi.org/10.1007/3-540-100016"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2005-10-22", 
    "datePublishedReg": "2005-10-22", 
    "editor": [
      {
        "familyName": "Nielsen", 
        "givenName": "Mogens", 
        "type": "Person"
      }, 
      {
        "familyName": "Schmidt", 
        "givenName": "Erik Meineche", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/bfb0012800", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "3-540-11576-5"
      ], 
      "name": "Automata, Languages and Programming", 
      "type": "Book"
    }, 
    "name": "Event structure semantics for CCS and related languages", 
    "pagination": "561-576", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1006383355"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/bfb0012800"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "1e67eb6a197195586e1eb57dbe6755b6cfbdb6c113212782de0ba39e74bbb214"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin/Heidelberg", 
      "name": "Springer-Verlag", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/bfb0012800", 
      "https://app.dimensions.ai/details/publication/pub.1006383355"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-16T09:33", 
    "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/0000000373_0000000373/records_13069_00000000.jsonl", 
    "type": "Chapter", 
    "url": "https://link.springer.com/10.1007%2FBFb0012800"
  }
]
 

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/bfb0012800'

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/bfb0012800'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/bfb0012800'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/bfb0012800'


 

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

72 TRIPLES      21 PREDICATES      26 URIs      18 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/bfb0012800 schema:author N094c090a0c984c42beada1bff9e7212d
2 schema:citation sg:pub.10.1007/3-540-100016
3 sg:pub.10.1007/bf00266047
4 sg:pub.10.1007/bfb0022474
5 schema:datePublished 2005-10-22
6 schema:datePublishedReg 2005-10-22
7 schema:editor Ndd48f32d488d4951a880dd156193d22d
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree true
11 schema:isPartOf Ne9fbe1f0cbc14c89a2ffc7a7711ba6be
12 schema:name Event structure semantics for CCS and related languages
13 schema:pagination 561-576
14 schema:productId N3e13f413742242c191002076fd285182
15 Naf95cfab8b034d1e9352fda66ca4e139
16 Nbd148260b9e848dc9ca8bbf8bfa18e9b
17 schema:publisher N754f15b0de834d4199b7ec40d18ac077
18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006383355
19 https://doi.org/10.1007/bfb0012800
20 schema:sdDatePublished 2019-04-16T09:33
21 schema:sdLicense https://scigraph.springernature.com/explorer/license/
22 schema:sdPublisher N096b3bfee61e49469cc5c4ec97410146
23 schema:url https://link.springer.com/10.1007%2FBFb0012800
24 sgo:license sg:explorer/license/
25 sgo:sdDataset chapters
26 rdf:type schema:Chapter
27 N094c090a0c984c42beada1bff9e7212d rdf:first sg:person.012533205153.60
28 rdf:rest rdf:nil
29 N096b3bfee61e49469cc5c4ec97410146 schema:name Springer Nature - SN SciGraph project
30 rdf:type schema:Organization
31 N208e0c64c61f4bb7b3c52afde2987754 schema:familyName Schmidt
32 schema:givenName Erik Meineche
33 rdf:type schema:Person
34 N3e13f413742242c191002076fd285182 schema:name dimensions_id
35 schema:value pub.1006383355
36 rdf:type schema:PropertyValue
37 N5979975557ac45fc9fe9016d31156e21 schema:familyName Nielsen
38 schema:givenName Mogens
39 rdf:type schema:Person
40 N754f15b0de834d4199b7ec40d18ac077 schema:location Berlin/Heidelberg
41 schema:name Springer-Verlag
42 rdf:type schema:Organisation
43 Naf95cfab8b034d1e9352fda66ca4e139 schema:name doi
44 schema:value 10.1007/bfb0012800
45 rdf:type schema:PropertyValue
46 Nbd148260b9e848dc9ca8bbf8bfa18e9b schema:name readcube_id
47 schema:value 1e67eb6a197195586e1eb57dbe6755b6cfbdb6c113212782de0ba39e74bbb214
48 rdf:type schema:PropertyValue
49 Nbe7e1b8f363e498ab04f70cc0169f3fb rdf:first N208e0c64c61f4bb7b3c52afde2987754
50 rdf:rest rdf:nil
51 Ndd48f32d488d4951a880dd156193d22d rdf:first N5979975557ac45fc9fe9016d31156e21
52 rdf:rest Nbe7e1b8f363e498ab04f70cc0169f3fb
53 Ne9fbe1f0cbc14c89a2ffc7a7711ba6be schema:isbn 3-540-11576-5
54 schema:name Automata, Languages and Programming
55 rdf:type schema:Book
56 sg:person.012533205153.60 schema:affiliation https://www.grid.ac/institutes/grid.7048.b
57 schema:familyName Winskel
58 schema:givenName Glynn
59 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012533205153.60
60 rdf:type schema:Person
61 sg:pub.10.1007/3-540-100016 schema:sameAs https://app.dimensions.ai/details/publication/pub.1109702105
62 https://doi.org/10.1007/3-540-100016
63 rdf:type schema:CreativeWork
64 sg:pub.10.1007/bf00266047 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037351058
65 https://doi.org/10.1007/bf00266047
66 rdf:type schema:CreativeWork
67 sg:pub.10.1007/bfb0022474 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030192045
68 https://doi.org/10.1007/bfb0022474
69 rdf:type schema:CreativeWork
70 https://www.grid.ac/institutes/grid.7048.b schema:alternateName Aarhus University
71 schema:name Computer Science Department, Aarhus University, Aarhus, Denmark
72 rdf:type schema:Organization
 




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


...