In Scott-Strachey style denotational semantics, parallelism implies nondeterminism View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

1981-12

AUTHORS

David B. Benson

ABSTRACT

A minimum algebraic structure needed in Scott-Strachey style denotational semantics for parallel programs is developed. Some elementary algebra shows that nondeterministic semantics is inherently and uniquely present. Conversely, any simple nondeterministic semantics provides uniquely a semantics for a minimal parallel computation capability.

PAGES

267-275

Identifiers

URI

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

DOI

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

DIMENSIONS

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


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/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "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": "Washington State University", 
          "id": "https://www.grid.ac/institutes/grid.30064.31", 
          "name": [
            "Computer Science Department, Washington State University, Pullman, Washington, 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"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1145/322123.322134", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1008785740"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0022-0000(78)90048-x", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1031092667"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0022-0000(79)90006-0", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1034746868"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/512760.512780", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1045550173"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0304-3975(81)90039-6", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1048552794"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1137/0205035", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1062841321"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1137/0205037", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1062841323"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/sfcs.1978.10", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1086178928"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-09237-4", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1109702061", 
          "https://doi.org/10.1007/3-540-09237-4"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-09237-4", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1109702061", 
          "https://doi.org/10.1007/3-540-09237-4"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-09237-4", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1109702061", 
          "https://doi.org/10.1007/3-540-09237-4"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "1981-12", 
    "datePublishedReg": "1981-12-01", 
    "description": "A minimum algebraic structure needed in Scott-Strachey style denotational semantics for parallel programs is developed. Some elementary algebra shows that nondeterministic semantics is inherently and uniquely present. Conversely, any simple nondeterministic semantics provides uniquely a semantics for a minimal parallel computation capability.", 
    "genre": "research_article", 
    "id": "sg:pub.10.1007/bf01786983", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": [
      {
        "id": "sg:journal.1317508", 
        "issn": [
          "0025-5661"
        ], 
        "name": "Mathematical Systems Theory", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "1", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "15"
      }
    ], 
    "name": "In Scott-Strachey style denotational semantics, parallelism implies nondeterminism", 
    "pagination": "267-275", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "6bdc16e42bbf3097695f65b25e8e9f50de441db854949f1c2c9260ab25c1c91c"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/bf01786983"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1022639977"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/bf01786983", 
      "https://app.dimensions.ai/details/publication/pub.1022639977"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-11T09:53", 
    "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/0000000347_0000000347/records_89793_00000001.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "http://link.springer.com/10.1007/BF01786983"
  }
]
 

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

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

Turtle is a human-readable linked data format.

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

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

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


 

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

88 TRIPLES      21 PREDICATES      36 URIs      19 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/bf01786983 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author N154ee74054774bd1bcb58df955f11a00
4 schema:citation sg:pub.10.1007/3-540-09237-4
5 https://doi.org/10.1016/0022-0000(78)90048-x
6 https://doi.org/10.1016/0022-0000(79)90006-0
7 https://doi.org/10.1016/0304-3975(81)90039-6
8 https://doi.org/10.1109/sfcs.1978.10
9 https://doi.org/10.1137/0205035
10 https://doi.org/10.1137/0205037
11 https://doi.org/10.1145/322123.322134
12 https://doi.org/10.1145/512760.512780
13 schema:datePublished 1981-12
14 schema:datePublishedReg 1981-12-01
15 schema:description A minimum algebraic structure needed in Scott-Strachey style denotational semantics for parallel programs is developed. Some elementary algebra shows that nondeterministic semantics is inherently and uniquely present. Conversely, any simple nondeterministic semantics provides uniquely a semantics for a minimal parallel computation capability.
16 schema:genre research_article
17 schema:inLanguage en
18 schema:isAccessibleForFree false
19 schema:isPartOf N4e3c63cb066f461aad29b87408830630
20 N4e8e3fec5c8440eb92bde65652728601
21 sg:journal.1317508
22 schema:name In Scott-Strachey style denotational semantics, parallelism implies nondeterminism
23 schema:pagination 267-275
24 schema:productId N2d41feb3229246c495327f1ff567b0f2
25 N6ec89024da194479a8f99e046cc53bd1
26 Nd68ef683687a45d189b75a8ad0c1892e
27 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022639977
28 https://doi.org/10.1007/bf01786983
29 schema:sdDatePublished 2019-04-11T09:53
30 schema:sdLicense https://scigraph.springernature.com/explorer/license/
31 schema:sdPublisher N7a85e8319f5046599593c8fd6f88ba18
32 schema:url http://link.springer.com/10.1007/BF01786983
33 sgo:license sg:explorer/license/
34 sgo:sdDataset articles
35 rdf:type schema:ScholarlyArticle
36 N154ee74054774bd1bcb58df955f11a00 rdf:first sg:person.015006706745.00
37 rdf:rest rdf:nil
38 N2d41feb3229246c495327f1ff567b0f2 schema:name doi
39 schema:value 10.1007/bf01786983
40 rdf:type schema:PropertyValue
41 N4e3c63cb066f461aad29b87408830630 schema:issueNumber 1
42 rdf:type schema:PublicationIssue
43 N4e8e3fec5c8440eb92bde65652728601 schema:volumeNumber 15
44 rdf:type schema:PublicationVolume
45 N6ec89024da194479a8f99e046cc53bd1 schema:name dimensions_id
46 schema:value pub.1022639977
47 rdf:type schema:PropertyValue
48 N7a85e8319f5046599593c8fd6f88ba18 schema:name Springer Nature - SN SciGraph project
49 rdf:type schema:Organization
50 Nd68ef683687a45d189b75a8ad0c1892e schema:name readcube_id
51 schema:value 6bdc16e42bbf3097695f65b25e8e9f50de441db854949f1c2c9260ab25c1c91c
52 rdf:type schema:PropertyValue
53 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
54 schema:name Information and Computing Sciences
55 rdf:type schema:DefinedTerm
56 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
57 schema:name Computation Theory and Mathematics
58 rdf:type schema:DefinedTerm
59 sg:journal.1317508 schema:issn 0025-5661
60 schema:name Mathematical Systems Theory
61 rdf:type schema:Periodical
62 sg:person.015006706745.00 schema:affiliation https://www.grid.ac/institutes/grid.30064.31
63 schema:familyName Benson
64 schema:givenName David B.
65 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015006706745.00
66 rdf:type schema:Person
67 sg:pub.10.1007/3-540-09237-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1109702061
68 https://doi.org/10.1007/3-540-09237-4
69 rdf:type schema:CreativeWork
70 https://doi.org/10.1016/0022-0000(78)90048-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1031092667
71 rdf:type schema:CreativeWork
72 https://doi.org/10.1016/0022-0000(79)90006-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034746868
73 rdf:type schema:CreativeWork
74 https://doi.org/10.1016/0304-3975(81)90039-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048552794
75 rdf:type schema:CreativeWork
76 https://doi.org/10.1109/sfcs.1978.10 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086178928
77 rdf:type schema:CreativeWork
78 https://doi.org/10.1137/0205035 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062841321
79 rdf:type schema:CreativeWork
80 https://doi.org/10.1137/0205037 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062841323
81 rdf:type schema:CreativeWork
82 https://doi.org/10.1145/322123.322134 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008785740
83 rdf:type schema:CreativeWork
84 https://doi.org/10.1145/512760.512780 schema:sameAs https://app.dimensions.ai/details/publication/pub.1045550173
85 rdf:type schema:CreativeWork
86 https://www.grid.ac/institutes/grid.30064.31 schema:alternateName Washington State University
87 schema:name Computer Science Department, Washington State University, Pullman, Washington, USA
88 rdf:type schema:Organization
 




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


...