Fixed points in process algebras with internal actions View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1986

AUTHORS

David B. Benson , Jerzy Tiuryn

ABSTRACT

N/A

PAGES

53-58

Book

TITLE

Mathematical Foundations of Programming Semantics

ISBN

978-3-540-16816-4
978-3-540-44861-7

From Grant

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-16816-8_25

DOI

http://dx.doi.org/10.1007/3-540-16816-8_25

DIMENSIONS

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


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": [
            "Department of Computer Science, Washington State University, 99164-1210\u00a0Pullman, WA"
          ], 
          "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"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Warsaw", 
          "id": "https://www.grid.ac/institutes/grid.12847.38", 
          "name": [
            "Instittue of Mathematics, University of Warsaw, 00-901\u00a0Warsaw, PKIN 9p, Poland"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Tiuryn", 
        "givenName": "Jerzy", 
        "id": "sg:person.0642071462.47", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0642071462.47"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1986", 
    "datePublishedReg": "1986-01-01", 
    "editor": [
      {
        "familyName": "Melton", 
        "givenName": "Austin", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-16816-8_25", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isFundedItemOf": [
      {
        "id": "sg:grant.3331728", 
        "type": "MonetaryGrant"
      }
    ], 
    "isPartOf": {
      "isbn": [
        "978-3-540-16816-4", 
        "978-3-540-44861-7"
      ], 
      "name": "Mathematical Foundations of Programming Semantics", 
      "type": "Book"
    }, 
    "name": "Fixed points in process algebras with internal actions", 
    "pagination": "53-58", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-16816-8_25"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "f11501a7c1d0baa30ba6b6ac073517610767505da629c63f7bb77460b9ced8b8"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1050608649"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-16816-8_25", 
      "https://app.dimensions.ai/details/publication/pub.1050608649"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T19:55", 
    "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_8687_00000087.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/3-540-16816-8_25"
  }
]
 

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-16816-8_25'

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-16816-8_25'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-16816-8_25'

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-16816-8_25'


 

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

68 TRIPLES      20 PREDICATES      24 URIs      19 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-16816-8_25 schema:author Nba5e265555e54f2dbe9b77cb3e572e0f
2 schema:datePublished 1986
3 schema:datePublishedReg 1986-01-01
4 schema:editor N58134b25d6624449a229691b96d5f216
5 schema:genre chapter
6 schema:inLanguage en
7 schema:isAccessibleForFree false
8 schema:isPartOf N7f8c6e88fc8946fab52cfa330053a7e2
9 schema:name Fixed points in process algebras with internal actions
10 schema:pagination 53-58
11 schema:productId N89ee883da7de45e781fe550583c5eeb6
12 N9dab3d4de9b24a69b9614405d12a5ef3
13 Na9afbcb297e14495ba6c984d8f4f9c12
14 schema:publisher N938cb89b714842f7a309aee05e343e6d
15 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050608649
16 https://doi.org/10.1007/3-540-16816-8_25
17 schema:sdDatePublished 2019-04-15T19:55
18 schema:sdLicense https://scigraph.springernature.com/explorer/license/
19 schema:sdPublisher N1c4b08fe890c407795c84b8af6668354
20 schema:url http://link.springer.com/10.1007/3-540-16816-8_25
21 sgo:license sg:explorer/license/
22 sgo:sdDataset chapters
23 rdf:type schema:Chapter
24 N1c4b08fe890c407795c84b8af6668354 schema:name Springer Nature - SN SciGraph project
25 rdf:type schema:Organization
26 N58134b25d6624449a229691b96d5f216 rdf:first Nbf201319988c4315b3a47d10e558b0c6
27 rdf:rest rdf:nil
28 N7f8c6e88fc8946fab52cfa330053a7e2 schema:isbn 978-3-540-16816-4
29 978-3-540-44861-7
30 schema:name Mathematical Foundations of Programming Semantics
31 rdf:type schema:Book
32 N89ee883da7de45e781fe550583c5eeb6 schema:name dimensions_id
33 schema:value pub.1050608649
34 rdf:type schema:PropertyValue
35 N938cb89b714842f7a309aee05e343e6d schema:location Berlin, Heidelberg
36 schema:name Springer Berlin Heidelberg
37 rdf:type schema:Organisation
38 N9dab3d4de9b24a69b9614405d12a5ef3 schema:name readcube_id
39 schema:value f11501a7c1d0baa30ba6b6ac073517610767505da629c63f7bb77460b9ced8b8
40 rdf:type schema:PropertyValue
41 Na130616416894124bb291861640c88e2 rdf:first sg:person.0642071462.47
42 rdf:rest rdf:nil
43 Na9afbcb297e14495ba6c984d8f4f9c12 schema:name doi
44 schema:value 10.1007/3-540-16816-8_25
45 rdf:type schema:PropertyValue
46 Nba5e265555e54f2dbe9b77cb3e572e0f rdf:first sg:person.015006706745.00
47 rdf:rest Na130616416894124bb291861640c88e2
48 Nbf201319988c4315b3a47d10e558b0c6 schema:familyName Melton
49 schema:givenName Austin
50 rdf:type schema:Person
51 sg:grant.3331728 http://pending.schema.org/fundedItem sg:pub.10.1007/3-540-16816-8_25
52 rdf:type schema:MonetaryGrant
53 sg:person.015006706745.00 schema:affiliation https://www.grid.ac/institutes/grid.30064.31
54 schema:familyName Benson
55 schema:givenName David B.
56 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015006706745.00
57 rdf:type schema:Person
58 sg:person.0642071462.47 schema:affiliation https://www.grid.ac/institutes/grid.12847.38
59 schema:familyName Tiuryn
60 schema:givenName Jerzy
61 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0642071462.47
62 rdf:type schema:Person
63 https://www.grid.ac/institutes/grid.12847.38 schema:alternateName University of Warsaw
64 schema:name Instittue of Mathematics, University of Warsaw, 00-901 Warsaw, PKIN 9p, Poland
65 rdf:type schema:Organization
66 https://www.grid.ac/institutes/grid.30064.31 schema:alternateName Washington State University
67 schema:name Department of Computer Science, Washington State University, 99164-1210 Pullman, WA
68 rdf:type schema:Organization
 




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


...