A machine-level semantics for nondeterministic, parallel programs View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1982

AUTHORS

David B. Benson

ABSTRACT

N/A

PAGES

15-25

Book

TITLE

International Symposium on Programming

ISBN

978-3-540-11494-9
978-3-540-39184-5

Author Affiliations

From Grant

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-11494-7_2

DOI

http://dx.doi.org/10.1007/3-540-11494-7_2

DIMENSIONS

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


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": "Washington State University", 
          "id": "https://www.grid.ac/institutes/grid.30064.31", 
          "name": [
            "Computer Science Department, Washington State University, 99164\u00a0Pullman, WA, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Benson", 
        "givenName": "David B.", 
        "id": "sg:person.015006706745.00", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015006706745.00"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1982", 
    "datePublishedReg": "1982-01-01", 
    "editor": [
      {
        "familyName": "Dezani-Ciancaglini", 
        "givenName": "Mariangiola", 
        "type": "Person"
      }, 
      {
        "familyName": "Montanari", 
        "givenName": "Ugo", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-11494-7_2", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isFundedItemOf": [
      {
        "id": "sg:grant.3303017", 
        "type": "MonetaryGrant"
      }
    ], 
    "isPartOf": {
      "isbn": [
        "978-3-540-11494-9", 
        "978-3-540-39184-5"
      ], 
      "name": "International Symposium on Programming", 
      "type": "Book"
    }, 
    "name": "A machine-level semantics for nondeterministic, parallel programs", 
    "pagination": "15-25", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-11494-7_2"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "587399afa2aa01e2f6be77578f886f1d3b9067187c12af8e76870ed4837e485e"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1018564416"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-11494-7_2", 
      "https://app.dimensions.ai/details/publication/pub.1018564416"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T11:17", 
    "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_8660_00000031.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/3-540-11494-7_2"
  }
]
 

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-11494-7_2'

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-11494-7_2'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-11494-7_2'

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-11494-7_2'


 

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

63 TRIPLES      20 PREDICATES      24 URIs      19 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-11494-7_2 schema:author N5ad1a4d9bf504011aab33080b6c34e34
2 schema:datePublished 1982
3 schema:datePublishedReg 1982-01-01
4 schema:editor N0fa5062f8257439886ecf2ab02003c39
5 schema:genre chapter
6 schema:inLanguage en
7 schema:isAccessibleForFree false
8 schema:isPartOf N6bae73a88d38477a9763e5e047133f75
9 schema:name A machine-level semantics for nondeterministic, parallel programs
10 schema:pagination 15-25
11 schema:productId N404b48855e0d4b7dbd102846b5c81a9b
12 N9d059e0d8d9d45cba0a49c5d47383569
13 Nbf4f1026ca9a43bbb903ceb4947c7bc7
14 schema:publisher Naacdbda2ff014b2d8442fe74dc56d95b
15 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018564416
16 https://doi.org/10.1007/3-540-11494-7_2
17 schema:sdDatePublished 2019-04-15T11:17
18 schema:sdLicense https://scigraph.springernature.com/explorer/license/
19 schema:sdPublisher N9fa0c14d589b45d49dae905eaa0aca1c
20 schema:url http://link.springer.com/10.1007/3-540-11494-7_2
21 sgo:license sg:explorer/license/
22 sgo:sdDataset chapters
23 rdf:type schema:Chapter
24 N0fa5062f8257439886ecf2ab02003c39 rdf:first N1ed38c56dedb474699a02603fc46e7af
25 rdf:rest N3c19828c7b5c422faaf615ac0665630b
26 N1ed38c56dedb474699a02603fc46e7af schema:familyName Dezani-Ciancaglini
27 schema:givenName Mariangiola
28 rdf:type schema:Person
29 N3c19828c7b5c422faaf615ac0665630b rdf:first N6b3edc6e7e294524816b817200f5e371
30 rdf:rest rdf:nil
31 N404b48855e0d4b7dbd102846b5c81a9b schema:name doi
32 schema:value 10.1007/3-540-11494-7_2
33 rdf:type schema:PropertyValue
34 N5ad1a4d9bf504011aab33080b6c34e34 rdf:first sg:person.015006706745.00
35 rdf:rest rdf:nil
36 N6b3edc6e7e294524816b817200f5e371 schema:familyName Montanari
37 schema:givenName Ugo
38 rdf:type schema:Person
39 N6bae73a88d38477a9763e5e047133f75 schema:isbn 978-3-540-11494-9
40 978-3-540-39184-5
41 schema:name International Symposium on Programming
42 rdf:type schema:Book
43 N9d059e0d8d9d45cba0a49c5d47383569 schema:name readcube_id
44 schema:value 587399afa2aa01e2f6be77578f886f1d3b9067187c12af8e76870ed4837e485e
45 rdf:type schema:PropertyValue
46 N9fa0c14d589b45d49dae905eaa0aca1c schema:name Springer Nature - SN SciGraph project
47 rdf:type schema:Organization
48 Naacdbda2ff014b2d8442fe74dc56d95b schema:location Berlin, Heidelberg
49 schema:name Springer Berlin Heidelberg
50 rdf:type schema:Organisation
51 Nbf4f1026ca9a43bbb903ceb4947c7bc7 schema:name dimensions_id
52 schema:value pub.1018564416
53 rdf:type schema:PropertyValue
54 sg:grant.3303017 http://pending.schema.org/fundedItem sg:pub.10.1007/3-540-11494-7_2
55 rdf:type schema:MonetaryGrant
56 sg:person.015006706745.00 schema:affiliation https://www.grid.ac/institutes/grid.30064.31
57 schema:familyName Benson
58 schema:givenName David B.
59 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015006706745.00
60 rdf:type schema:Person
61 https://www.grid.ac/institutes/grid.30064.31 schema:alternateName Washington State University
62 schema:name Computer Science Department, Washington State University, 99164 Pullman, WA, USA
63 rdf:type schema:Organization
 




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


...