Process Algebra as a Tool for Real Time Analysis View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1991

AUTHORS

Faron Moller

ABSTRACT

In this paper, we investigate the use of Process Algebra for reasoning about real time behaviours. We do this by describing a process algebra model based on Milner’s Calculus of Communicating Systems (CCS), in which timing constraints are introduced as another level of observable behaviour beyond the usual observation of a system’s functional (atomic action) behaviour. Though the language is simple, we demonstrate how to define several important derived operators.We present a structured operational semantics for our language in the form of a transition system defined over syntactic terms, and define two bisimulation-based relations with respect to this semantics. The first is an equivalence giving a natural definition for when two terms should be equated, while the second is a preorder giving an equally natural definition for when two terms should be deemed equivalent except for the fact that the first may be faster than the second. We then present equational theories for these two relations. More... »

PAGES

32-53

Book

TITLE

IV Higher Order Workshop, Banff 1990

ISBN

978-3-540-19660-0
978-1-4471-3182-3

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-1-4471-3182-3_3

DOI

http://dx.doi.org/10.1007/978-1-4471-3182-3_3

DIMENSIONS

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


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/20", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Language, Communication and Culture", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/2004", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Linguistics", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, University of Edinburgh, EH9 3JZ, Edinburgh, Scotland", 
          "id": "http://www.grid.ac/institutes/grid.4305.2", 
          "name": [
            "Department of Computer Science, University of Edinburgh, EH9 3JZ, Edinburgh, Scotland"
          ], 
          "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": "1991", 
    "datePublishedReg": "1991-01-01", 
    "description": "In this paper, we investigate the use of Process Algebra for reasoning about real time behaviours. We do this by describing a process algebra model based on Milner\u2019s Calculus of Communicating Systems (CCS), in which timing constraints are introduced as another level of observable behaviour beyond the usual observation of a system\u2019s functional (atomic action) behaviour. Though the language is simple, we demonstrate how to define several important derived operators.We present a structured operational semantics for our language in the form of a transition system defined over syntactic terms, and define two bisimulation-based relations with respect to this semantics. The first is an equivalence giving a natural definition for when two terms should be equated, while the second is a preorder giving an equally natural definition for when two terms should be deemed equivalent except for the fact that the first may be faster than the second. We then present equational theories for these two relations.", 
    "editor": [
      {
        "familyName": "Birtwistle", 
        "givenName": "Graham", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-1-4471-3182-3_3", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-19660-0", 
        "978-1-4471-3182-3"
      ], 
      "name": "IV Higher Order Workshop, Banff 1990", 
      "type": "Book"
    }, 
    "keywords": [
      "structured operational semantics", 
      "observable behavior", 
      "syntactic terms", 
      "language", 
      "operational semantics", 
      "semantics", 
      "behavior", 
      "functional behavior", 
      "relation", 
      "definition", 
      "terms", 
      "theory", 
      "process algebra", 
      "form", 
      "fact", 
      "transition systems", 
      "Milner's Calculus", 
      "equivalence", 
      "equational theory", 
      "time analysis", 
      "use", 
      "model", 
      "paper", 
      "levels", 
      "natural definition", 
      "tool", 
      "analysis", 
      "Communicating Systems", 
      "system", 
      "respect", 
      "calculus", 
      "constraints", 
      "usual observation", 
      "preorder", 
      "real-time analysis", 
      "real-time behavior", 
      "observations", 
      "algebra model", 
      "operators", 
      "system functional behavior", 
      "process algebra models", 
      "timing constraints", 
      "time behavior", 
      "algebra"
    ], 
    "name": "Process Algebra as a Tool for Real Time Analysis", 
    "pagination": "32-53", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1038223392"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-1-4471-3182-3_3"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-1-4471-3182-3_3", 
      "https://app.dimensions.ai/details/publication/pub.1038223392"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:48", 
    "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_42.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-1-4471-3182-3_3"
  }
]
 

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/978-1-4471-3182-3_3'

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/978-1-4471-3182-3_3'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-1-4471-3182-3_3'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-1-4471-3182-3_3'


 

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

104 TRIPLES      23 PREDICATES      70 URIs      63 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-1-4471-3182-3_3 schema:about anzsrc-for:20
2 anzsrc-for:2004
3 schema:author N6f06eae7402d480d9fbbc8a1d8123345
4 schema:datePublished 1991
5 schema:datePublishedReg 1991-01-01
6 schema:description In this paper, we investigate the use of Process Algebra for reasoning about real time behaviours. We do this by describing a process algebra model based on Milner’s Calculus of Communicating Systems (CCS), in which timing constraints are introduced as another level of observable behaviour beyond the usual observation of a system’s functional (atomic action) behaviour. Though the language is simple, we demonstrate how to define several important derived operators.We present a structured operational semantics for our language in the form of a transition system defined over syntactic terms, and define two bisimulation-based relations with respect to this semantics. The first is an equivalence giving a natural definition for when two terms should be equated, while the second is a preorder giving an equally natural definition for when two terms should be deemed equivalent except for the fact that the first may be faster than the second. We then present equational theories for these two relations.
7 schema:editor N3b00561adfdc497f811125a6bed16bdb
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Nb476757ed2974e51b9dfb42f6b20a012
12 schema:keywords Communicating Systems
13 Milner's Calculus
14 algebra
15 algebra model
16 analysis
17 behavior
18 calculus
19 constraints
20 definition
21 equational theory
22 equivalence
23 fact
24 form
25 functional behavior
26 language
27 levels
28 model
29 natural definition
30 observable behavior
31 observations
32 operational semantics
33 operators
34 paper
35 preorder
36 process algebra
37 process algebra models
38 real-time analysis
39 real-time behavior
40 relation
41 respect
42 semantics
43 structured operational semantics
44 syntactic terms
45 system
46 system functional behavior
47 terms
48 theory
49 time analysis
50 time behavior
51 timing constraints
52 tool
53 transition systems
54 use
55 usual observation
56 schema:name Process Algebra as a Tool for Real Time Analysis
57 schema:pagination 32-53
58 schema:productId N3e9262abc67142ee826b88ef10972036
59 Nb1fafef9a8e444f7987370e889dfd993
60 schema:publisher N9363fa7fa32a4805993c1369ab3dc3d8
61 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038223392
62 https://doi.org/10.1007/978-1-4471-3182-3_3
63 schema:sdDatePublished 2022-05-20T07:48
64 schema:sdLicense https://scigraph.springernature.com/explorer/license/
65 schema:sdPublisher N81f839aef9c04a7c8d828a158b2a69cd
66 schema:url https://doi.org/10.1007/978-1-4471-3182-3_3
67 sgo:license sg:explorer/license/
68 sgo:sdDataset chapters
69 rdf:type schema:Chapter
70 N3b00561adfdc497f811125a6bed16bdb rdf:first N6ddb12a50e864e3bbbe91bf8bd09742c
71 rdf:rest rdf:nil
72 N3e9262abc67142ee826b88ef10972036 schema:name doi
73 schema:value 10.1007/978-1-4471-3182-3_3
74 rdf:type schema:PropertyValue
75 N6ddb12a50e864e3bbbe91bf8bd09742c schema:familyName Birtwistle
76 schema:givenName Graham
77 rdf:type schema:Person
78 N6f06eae7402d480d9fbbc8a1d8123345 rdf:first sg:person.010425236217.29
79 rdf:rest rdf:nil
80 N81f839aef9c04a7c8d828a158b2a69cd schema:name Springer Nature - SN SciGraph project
81 rdf:type schema:Organization
82 N9363fa7fa32a4805993c1369ab3dc3d8 schema:name Springer Nature
83 rdf:type schema:Organisation
84 Nb1fafef9a8e444f7987370e889dfd993 schema:name dimensions_id
85 schema:value pub.1038223392
86 rdf:type schema:PropertyValue
87 Nb476757ed2974e51b9dfb42f6b20a012 schema:isbn 978-1-4471-3182-3
88 978-3-540-19660-0
89 schema:name IV Higher Order Workshop, Banff 1990
90 rdf:type schema:Book
91 anzsrc-for:20 schema:inDefinedTermSet anzsrc-for:
92 schema:name Language, Communication and Culture
93 rdf:type schema:DefinedTerm
94 anzsrc-for:2004 schema:inDefinedTermSet anzsrc-for:
95 schema:name Linguistics
96 rdf:type schema:DefinedTerm
97 sg:person.010425236217.29 schema:affiliation grid-institutes:grid.4305.2
98 schema:familyName Moller
99 schema:givenName Faron
100 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010425236217.29
101 rdf:type schema:Person
102 grid-institutes:grid.4305.2 schema:alternateName Department of Computer Science, University of Edinburgh, EH9 3JZ, Edinburgh, Scotland
103 schema:name Department of Computer Science, University of Edinburgh, EH9 3JZ, Edinburgh, Scotland
104 rdf:type schema:Organization
 




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


...