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 Nfcb197fd3148477584fe027e75f5e0c8
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 Nca3440a40252401b83455c144a622a59
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree true
11 schema:isPartOf Naa1cebdad6f240cda26db53710b126d1
12 schema:name Event structure semantics for CCS and related languages
13 schema:pagination 561-576
14 schema:productId N5dd0f7115e1a4963b0a75dbbb012c602
15 N89565e81f55d418b8131d238ed42da1d
16 N8bde936893734f678d0b03e5481f1f1e
17 schema:publisher N33eab5625a194a1c94649686936de05b
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 N9e39d1c6c7be49cb87dc043dc031394e
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 N21e5beb66f0e4091b37111c1c71b1932 rdf:first N38f31b9e2862406c8c0105b0a5b22abe
28 rdf:rest rdf:nil
29 N33eab5625a194a1c94649686936de05b schema:location Berlin/Heidelberg
30 schema:name Springer-Verlag
31 rdf:type schema:Organisation
32 N38f31b9e2862406c8c0105b0a5b22abe schema:familyName Schmidt
33 schema:givenName Erik Meineche
34 rdf:type schema:Person
35 N5dd0f7115e1a4963b0a75dbbb012c602 schema:name dimensions_id
36 schema:value pub.1006383355
37 rdf:type schema:PropertyValue
38 N89565e81f55d418b8131d238ed42da1d schema:name readcube_id
39 schema:value 1e67eb6a197195586e1eb57dbe6755b6cfbdb6c113212782de0ba39e74bbb214
40 rdf:type schema:PropertyValue
41 N8bde936893734f678d0b03e5481f1f1e schema:name doi
42 schema:value 10.1007/bfb0012800
43 rdf:type schema:PropertyValue
44 N9e39d1c6c7be49cb87dc043dc031394e schema:name Springer Nature - SN SciGraph project
45 rdf:type schema:Organization
46 Naa1cebdad6f240cda26db53710b126d1 schema:isbn 3-540-11576-5
47 schema:name Automata, Languages and Programming
48 rdf:type schema:Book
49 Nca3440a40252401b83455c144a622a59 rdf:first Nf839cde7f11c495abe23822c4a4fb4ce
50 rdf:rest N21e5beb66f0e4091b37111c1c71b1932
51 Nf839cde7f11c495abe23822c4a4fb4ce schema:familyName Nielsen
52 schema:givenName Mogens
53 rdf:type schema:Person
54 Nfcb197fd3148477584fe027e75f5e0c8 rdf:first sg:person.012533205153.60
55 rdf:rest rdf:nil
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)


...