Infinite results View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1996

AUTHORS

Faron Moller

ABSTRACT

Recently there has been a spurt of activity in concurrency theory centred on the analysis of infinite-state systems. Much of this work stems from a task dedicated to the study in the recently-concluded ESPRIT BRA Concur2, and much of it has subsequently appeared in the proceedings of the annual CONCUR conference. In this paper, we present an overview of various results obtained regarding expressivity, decidability, and complexity, focussing on the various techniques exploited in each case. More... »

PAGES

195-216

Book

TITLE

CONCUR '96: Concurrency Theory

ISBN

978-3-540-61604-7
978-3-540-70625-0

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-61604-7_56

DOI

http://dx.doi.org/10.1007/3-540-61604-7_56

DIMENSIONS

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


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/01", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Mathematical Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0101", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Pure Mathematics", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Computing Science Department, Uppsala University, P.O. Box 311, S-751 05, Uppsala, Sweden", 
          "id": "http://www.grid.ac/institutes/grid.8993.b", 
          "name": [
            "Computing Science Department, Uppsala University, P.O. Box 311, S-751 05, Uppsala, Sweden"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Moller", 
        "givenName": "Faron", 
        "id": "sg:person.010425236217.29", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010425236217.29"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1996", 
    "datePublishedReg": "1996-01-01", 
    "description": "Recently there has been a spurt of activity in concurrency theory centred on the analysis of infinite-state systems. Much of this work stems from a task dedicated to the study in the recently-concluded ESPRIT BRA Concur2, and much of it has subsequently appeared in the proceedings of the annual CONCUR conference. In this paper, we present an overview of various results obtained regarding expressivity, decidability, and complexity, focussing on the various techniques exploited in each case.", 
    "editor": [
      {
        "familyName": "Montanari", 
        "givenName": "Ugo", 
        "type": "Person"
      }, 
      {
        "familyName": "Sassone", 
        "givenName": "Vladimiro", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-61604-7_56", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-61604-7", 
        "978-3-540-70625-0"
      ], 
      "name": "CONCUR '96: Concurrency Theory", 
      "type": "Book"
    }, 
    "keywords": [
      "infinite results", 
      "infinite-state systems", 
      "concurrency theory", 
      "theory", 
      "complexity", 
      "decidability", 
      "system", 
      "results", 
      "technique", 
      "cases", 
      "work", 
      "analysis", 
      "task", 
      "overview", 
      "proceedings", 
      "study", 
      "conference", 
      "expressivity", 
      "spurt", 
      "paper", 
      "activity", 
      "spurt of activity"
    ], 
    "name": "Infinite results", 
    "pagination": "195-216", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1050890454"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-61604-7_56"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-61604-7_56", 
      "https://app.dimensions.ai/details/publication/pub.1050890454"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:42", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/chapter/chapter_16.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/3-540-61604-7_56"
  }
]
 

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-61604-7_56'

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-61604-7_56'

Turtle is a human-readable linked data format.

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

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-61604-7_56'


 

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

87 TRIPLES      23 PREDICATES      48 URIs      41 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-61604-7_56 schema:about anzsrc-for:01
2 anzsrc-for:0101
3 schema:author Nabdfd96731804d0b81d314f0a039edee
4 schema:datePublished 1996
5 schema:datePublishedReg 1996-01-01
6 schema:description Recently there has been a spurt of activity in concurrency theory centred on the analysis of infinite-state systems. Much of this work stems from a task dedicated to the study in the recently-concluded ESPRIT BRA Concur2, and much of it has subsequently appeared in the proceedings of the annual CONCUR conference. In this paper, we present an overview of various results obtained regarding expressivity, decidability, and complexity, focussing on the various techniques exploited in each case.
7 schema:editor Nc65dd6c4f6db4a38a623e39b2e0a58ff
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N3a7804552b5d4729baa08a6795ad20a8
12 schema:keywords activity
13 analysis
14 cases
15 complexity
16 concurrency theory
17 conference
18 decidability
19 expressivity
20 infinite results
21 infinite-state systems
22 overview
23 paper
24 proceedings
25 results
26 spurt
27 spurt of activity
28 study
29 system
30 task
31 technique
32 theory
33 work
34 schema:name Infinite results
35 schema:pagination 195-216
36 schema:productId Ne005d4879cbf4fe599e9826c1fe8c077
37 Ne571c8747d4144c0ae52746b71b05811
38 schema:publisher N90376df96ced47a09cbd80e5b2a57b54
39 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050890454
40 https://doi.org/10.1007/3-540-61604-7_56
41 schema:sdDatePublished 2022-05-20T07:42
42 schema:sdLicense https://scigraph.springernature.com/explorer/license/
43 schema:sdPublisher Nd79454b24c8d44828a49b8ed5bf804ff
44 schema:url https://doi.org/10.1007/3-540-61604-7_56
45 sgo:license sg:explorer/license/
46 sgo:sdDataset chapters
47 rdf:type schema:Chapter
48 N23284d2bc6a44582b84fd5344f8297cb schema:familyName Sassone
49 schema:givenName Vladimiro
50 rdf:type schema:Person
51 N3a7804552b5d4729baa08a6795ad20a8 schema:isbn 978-3-540-61604-7
52 978-3-540-70625-0
53 schema:name CONCUR '96: Concurrency Theory
54 rdf:type schema:Book
55 N90376df96ced47a09cbd80e5b2a57b54 schema:name Springer Nature
56 rdf:type schema:Organisation
57 Nabdfd96731804d0b81d314f0a039edee rdf:first sg:person.010425236217.29
58 rdf:rest rdf:nil
59 Nb6fb8f1c60f9481faf15361e299d4227 rdf:first N23284d2bc6a44582b84fd5344f8297cb
60 rdf:rest rdf:nil
61 Nc2ece4002ad346048f7aa7137664589d schema:familyName Montanari
62 schema:givenName Ugo
63 rdf:type schema:Person
64 Nc65dd6c4f6db4a38a623e39b2e0a58ff rdf:first Nc2ece4002ad346048f7aa7137664589d
65 rdf:rest Nb6fb8f1c60f9481faf15361e299d4227
66 Nd79454b24c8d44828a49b8ed5bf804ff schema:name Springer Nature - SN SciGraph project
67 rdf:type schema:Organization
68 Ne005d4879cbf4fe599e9826c1fe8c077 schema:name doi
69 schema:value 10.1007/3-540-61604-7_56
70 rdf:type schema:PropertyValue
71 Ne571c8747d4144c0ae52746b71b05811 schema:name dimensions_id
72 schema:value pub.1050890454
73 rdf:type schema:PropertyValue
74 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
75 schema:name Mathematical Sciences
76 rdf:type schema:DefinedTerm
77 anzsrc-for:0101 schema:inDefinedTermSet anzsrc-for:
78 schema:name Pure Mathematics
79 rdf:type schema:DefinedTerm
80 sg:person.010425236217.29 schema:affiliation grid-institutes:grid.8993.b
81 schema:familyName Moller
82 schema:givenName Faron
83 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010425236217.29
84 rdf:type schema:Person
85 grid-institutes:grid.8993.b schema:alternateName Computing Science Department, Uppsala University, P.O. Box 311, S-751 05, Uppsala, Sweden
86 schema:name Computing Science Department, Uppsala University, P.O. Box 311, S-751 05, Uppsala, Sweden
87 rdf:type schema:Organization
 




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


...