Bisimulation equivalence is decidable for basic parallel processes View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1993

AUTHORS

Søren Christensen , Yoram Hirshfeld , Faron Moller

ABSTRACT

In a previous paper the authors proved the decidability of bisimulation equivalence over two subclasses of recursive processes involving a parallel composition operator, namely the so-called normed and live processes. In this paper, we extend this result to the whole class. The decidability proof permits us further to present a complete axiomatisation for this class of basic parallel processes. This result can be viewed as a proper extension of Milner's complete axiomatisation of bisimulation equivalence on regular processes. More... »

PAGES

143-157

Book

TITLE

CONCUR'93

ISBN

978-3-540-57208-4
978-3-540-47968-0

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-57208-2_11

DOI

http://dx.doi.org/10.1007/3-540-57208-2_11

DIMENSIONS

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


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/17", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Psychology and Cognitive Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/1701", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Psychology", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Laboratory for Foundations of Computer Science, University of Edinburgh, UK", 
          "id": "http://www.grid.ac/institutes/grid.4305.2", 
          "name": [
            "Laboratory for Foundations of Computer Science, University of Edinburgh, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Christensen", 
        "givenName": "S\u00f8ren", 
        "id": "sg:person.015333114643.59", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015333114643.59"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Laboratory for Foundations of Computer Science, University of Edinburgh, UK", 
          "id": "http://www.grid.ac/institutes/grid.4305.2", 
          "name": [
            "Laboratory for Foundations of Computer Science, University of Edinburgh, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Hirshfeld", 
        "givenName": "Yoram", 
        "id": "sg:person.013456371571.52", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013456371571.52"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Laboratory for Foundations of Computer Science, University of Edinburgh, UK", 
          "id": "http://www.grid.ac/institutes/grid.4305.2", 
          "name": [
            "Laboratory for Foundations of Computer Science, University of Edinburgh, UK"
          ], 
          "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": "1993", 
    "datePublishedReg": "1993-01-01", 
    "description": "In a previous paper the authors proved the decidability of bisimulation equivalence over two subclasses of recursive processes involving a parallel composition operator, namely the so-called normed and live processes. In this paper, we extend this result to the whole class. The decidability proof permits us further to present a complete axiomatisation for this class of basic parallel processes. This result can be viewed as a proper extension of Milner's complete axiomatisation of bisimulation equivalence on regular processes.", 
    "editor": [
      {
        "familyName": "Best", 
        "givenName": "Eike", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-57208-2_11", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-57208-4", 
        "978-3-540-47968-0"
      ], 
      "name": "CONCUR'93", 
      "type": "Book"
    }, 
    "keywords": [
      "previous paper", 
      "process", 
      "authors", 
      "equivalence", 
      "subclasses", 
      "recursive process", 
      "operators", 
      "live processes", 
      "results", 
      "whole class", 
      "class", 
      "proof", 
      "parallel processes", 
      "proper extension", 
      "extension", 
      "regular process", 
      "paper", 
      "decidability", 
      "bisimulation equivalence", 
      "parallel composition operator", 
      "composition operators", 
      "decidability proof", 
      "complete axiomatisation", 
      "axiomatisation", 
      "Basic Parallel Processes"
    ], 
    "name": "Bisimulation equivalence is decidable for basic parallel processes", 
    "pagination": "143-157", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1040397596"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-57208-2_11"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-57208-2_11", 
      "https://app.dimensions.ai/details/publication/pub.1040397596"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:43", 
    "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_232.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/3-540-57208-2_11"
  }
]
 

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-57208-2_11'

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-57208-2_11'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-57208-2_11'

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-57208-2_11'


 

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

99 TRIPLES      23 PREDICATES      51 URIs      44 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-57208-2_11 schema:about anzsrc-for:17
2 anzsrc-for:1701
3 schema:author N04045e1dacd64e779a97c499dcb202ab
4 schema:datePublished 1993
5 schema:datePublishedReg 1993-01-01
6 schema:description In a previous paper the authors proved the decidability of bisimulation equivalence over two subclasses of recursive processes involving a parallel composition operator, namely the so-called normed and live processes. In this paper, we extend this result to the whole class. The decidability proof permits us further to present a complete axiomatisation for this class of basic parallel processes. This result can be viewed as a proper extension of Milner's complete axiomatisation of bisimulation equivalence on regular processes.
7 schema:editor Ne1d9906588114bffbdf44ea3c5137979
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N6bfdd3ab2608430fb08ca3a880730ab3
12 schema:keywords Basic Parallel Processes
13 authors
14 axiomatisation
15 bisimulation equivalence
16 class
17 complete axiomatisation
18 composition operators
19 decidability
20 decidability proof
21 equivalence
22 extension
23 live processes
24 operators
25 paper
26 parallel composition operator
27 parallel processes
28 previous paper
29 process
30 proof
31 proper extension
32 recursive process
33 regular process
34 results
35 subclasses
36 whole class
37 schema:name Bisimulation equivalence is decidable for basic parallel processes
38 schema:pagination 143-157
39 schema:productId N53e595398e874e1a9cc131924b320edb
40 N6e1bef24daa547b9a5433eaff49f982a
41 schema:publisher Nccdd9116f22c4a1a8ef6d40cb2721a42
42 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040397596
43 https://doi.org/10.1007/3-540-57208-2_11
44 schema:sdDatePublished 2022-05-20T07:43
45 schema:sdLicense https://scigraph.springernature.com/explorer/license/
46 schema:sdPublisher Nb011c51648014de7b74d6d178c482182
47 schema:url https://doi.org/10.1007/3-540-57208-2_11
48 sgo:license sg:explorer/license/
49 sgo:sdDataset chapters
50 rdf:type schema:Chapter
51 N04045e1dacd64e779a97c499dcb202ab rdf:first sg:person.015333114643.59
52 rdf:rest Nf3569552d93648028266c149949360ef
53 N53e595398e874e1a9cc131924b320edb schema:name dimensions_id
54 schema:value pub.1040397596
55 rdf:type schema:PropertyValue
56 N6bfdd3ab2608430fb08ca3a880730ab3 schema:isbn 978-3-540-47968-0
57 978-3-540-57208-4
58 schema:name CONCUR'93
59 rdf:type schema:Book
60 N6e1bef24daa547b9a5433eaff49f982a schema:name doi
61 schema:value 10.1007/3-540-57208-2_11
62 rdf:type schema:PropertyValue
63 Nb011c51648014de7b74d6d178c482182 schema:name Springer Nature - SN SciGraph project
64 rdf:type schema:Organization
65 Nbe6810df717943ce94fbc10a04676641 schema:familyName Best
66 schema:givenName Eike
67 rdf:type schema:Person
68 Nccdd9116f22c4a1a8ef6d40cb2721a42 schema:name Springer Nature
69 rdf:type schema:Organisation
70 Ndd0347d218f747b2a75fd11153c60e31 rdf:first sg:person.010425236217.29
71 rdf:rest rdf:nil
72 Ne1d9906588114bffbdf44ea3c5137979 rdf:first Nbe6810df717943ce94fbc10a04676641
73 rdf:rest rdf:nil
74 Nf3569552d93648028266c149949360ef rdf:first sg:person.013456371571.52
75 rdf:rest Ndd0347d218f747b2a75fd11153c60e31
76 anzsrc-for:17 schema:inDefinedTermSet anzsrc-for:
77 schema:name Psychology and Cognitive Sciences
78 rdf:type schema:DefinedTerm
79 anzsrc-for:1701 schema:inDefinedTermSet anzsrc-for:
80 schema:name Psychology
81 rdf:type schema:DefinedTerm
82 sg:person.010425236217.29 schema:affiliation grid-institutes:grid.4305.2
83 schema:familyName Moller
84 schema:givenName Faron
85 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010425236217.29
86 rdf:type schema:Person
87 sg:person.013456371571.52 schema:affiliation grid-institutes:grid.4305.2
88 schema:familyName Hirshfeld
89 schema:givenName Yoram
90 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013456371571.52
91 rdf:type schema:Person
92 sg:person.015333114643.59 schema:affiliation grid-institutes:grid.4305.2
93 schema:familyName Christensen
94 schema:givenName Søren
95 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015333114643.59
96 rdf:type schema:Person
97 grid-institutes:grid.4305.2 schema:alternateName Laboratory for Foundations of Computer Science, University of Edinburgh, UK
98 schema:name Laboratory for Foundations of Computer Science, University of Edinburgh, UK
99 rdf:type schema:Organization
 




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


...