Behavioural abstraction in TCCS View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1992

AUTHORS

Faron Moller , Chris Tofts

ABSTRACT

In this paper, we extend the theory of TCCS, the authors' Temporal Calculus of Communicating Systems, with a behavioural congruence which abstracts away internal communications. An equational theory for this equivalence is presented, and proven to be complete over the sublanguage of finite sequential agents.

PAGES

559-570

Book

TITLE

Automata, Languages and Programming

ISBN

978-3-540-55719-7
978-3-540-47278-0

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-55719-9_104

DOI

http://dx.doi.org/10.1007/3-540-55719-9_104

DIMENSIONS

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


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": "Department of Computer Science, University of Edinburgh, UK", 
          "id": "http://www.grid.ac/institutes/grid.4305.2", 
          "name": [
            "Department 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"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, University of Edinburgh, UK", 
          "id": "http://www.grid.ac/institutes/grid.4305.2", 
          "name": [
            "Department of Computer Science, University of Edinburgh, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Tofts", 
        "givenName": "Chris", 
        "id": "sg:person.012666473500.00", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012666473500.00"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1992", 
    "datePublishedReg": "1992-01-01", 
    "description": "In this paper, we extend the theory of TCCS, the authors' Temporal Calculus of Communicating Systems, with a behavioural congruence which abstracts away internal communications. An equational theory for this equivalence is presented, and proven to be complete over the sublanguage of finite sequential agents.", 
    "editor": [
      {
        "familyName": "Kuich", 
        "givenName": "W.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-55719-9_104", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-55719-7", 
        "978-3-540-47278-0"
      ], 
      "name": "Automata, Languages and Programming", 
      "type": "Book"
    }, 
    "keywords": [
      "internal communication", 
      "theory", 
      "congruence", 
      "behavioral abstraction", 
      "behavioral congruence", 
      "communication", 
      "abstraction", 
      "equivalence", 
      "sublanguage", 
      "paper", 
      "system", 
      "Communicating Systems", 
      "agents", 
      "calculus", 
      "equational theory", 
      "temporal calculi", 
      "sequential agents", 
      "TCCS"
    ], 
    "name": "Behavioural abstraction in TCCS", 
    "pagination": "559-570", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1046038120"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-55719-9_104"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-55719-9_104", 
      "https://app.dimensions.ai/details/publication/pub.1046038120"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:44", 
    "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_230.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/3-540-55719-9_104"
  }
]
 

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-55719-9_104'

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-55719-9_104'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-55719-9_104'

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-55719-9_104'


 

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

85 TRIPLES      23 PREDICATES      44 URIs      37 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-55719-9_104 schema:about anzsrc-for:01
2 anzsrc-for:0101
3 schema:author Ncb6eb03b75104b5a9028dbab5ac4b8c4
4 schema:datePublished 1992
5 schema:datePublishedReg 1992-01-01
6 schema:description In this paper, we extend the theory of TCCS, the authors' Temporal Calculus of Communicating Systems, with a behavioural congruence which abstracts away internal communications. An equational theory for this equivalence is presented, and proven to be complete over the sublanguage of finite sequential agents.
7 schema:editor N74e32c4169df415dbe2aa10ef512647b
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N97530a7e69b6444baba06195986cfdcb
12 schema:keywords Communicating Systems
13 TCCS
14 abstraction
15 agents
16 behavioral abstraction
17 behavioral congruence
18 calculus
19 communication
20 congruence
21 equational theory
22 equivalence
23 internal communication
24 paper
25 sequential agents
26 sublanguage
27 system
28 temporal calculi
29 theory
30 schema:name Behavioural abstraction in TCCS
31 schema:pagination 559-570
32 schema:productId Na9df77b9c84d47d985736de3201ad835
33 Nc77fec1d50004aa5b1d0bbaabf45ca79
34 schema:publisher N47e34b00d98e4925bb7eca1087087b20
35 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046038120
36 https://doi.org/10.1007/3-540-55719-9_104
37 schema:sdDatePublished 2022-05-20T07:44
38 schema:sdLicense https://scigraph.springernature.com/explorer/license/
39 schema:sdPublisher Nb9b90c4f8c8844f09d6466c548fa1dd1
40 schema:url https://doi.org/10.1007/3-540-55719-9_104
41 sgo:license sg:explorer/license/
42 sgo:sdDataset chapters
43 rdf:type schema:Chapter
44 N47e34b00d98e4925bb7eca1087087b20 schema:name Springer Nature
45 rdf:type schema:Organisation
46 N74e32c4169df415dbe2aa10ef512647b rdf:first N8fd9bce43aa946e28e7e25ad566374fa
47 rdf:rest rdf:nil
48 N8fd9bce43aa946e28e7e25ad566374fa schema:familyName Kuich
49 schema:givenName W.
50 rdf:type schema:Person
51 N97530a7e69b6444baba06195986cfdcb schema:isbn 978-3-540-47278-0
52 978-3-540-55719-7
53 schema:name Automata, Languages and Programming
54 rdf:type schema:Book
55 Na9df77b9c84d47d985736de3201ad835 schema:name dimensions_id
56 schema:value pub.1046038120
57 rdf:type schema:PropertyValue
58 Nb9b90c4f8c8844f09d6466c548fa1dd1 schema:name Springer Nature - SN SciGraph project
59 rdf:type schema:Organization
60 Nc77fec1d50004aa5b1d0bbaabf45ca79 schema:name doi
61 schema:value 10.1007/3-540-55719-9_104
62 rdf:type schema:PropertyValue
63 Ncb6eb03b75104b5a9028dbab5ac4b8c4 rdf:first sg:person.010425236217.29
64 rdf:rest Nddb80f3e59104d07adfd3b97e70441f9
65 Nddb80f3e59104d07adfd3b97e70441f9 rdf:first sg:person.012666473500.00
66 rdf:rest rdf:nil
67 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
68 schema:name Mathematical Sciences
69 rdf:type schema:DefinedTerm
70 anzsrc-for:0101 schema:inDefinedTermSet anzsrc-for:
71 schema:name Pure Mathematics
72 rdf:type schema:DefinedTerm
73 sg:person.010425236217.29 schema:affiliation grid-institutes:grid.4305.2
74 schema:familyName Moller
75 schema:givenName Faron
76 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010425236217.29
77 rdf:type schema:Person
78 sg:person.012666473500.00 schema:affiliation grid-institutes:grid.4305.2
79 schema:familyName Tofts
80 schema:givenName Chris
81 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012666473500.00
82 rdf:type schema:Person
83 grid-institutes:grid.4305.2 schema:alternateName Department of Computer Science, University of Edinburgh, UK
84 schema:name Department of Computer Science, University of Edinburgh, UK
85 rdf:type schema:Organization
 




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


...