A temporal calculus of communicating systems View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1990

AUTHORS

Faron Moller , Chris Tofts

ABSTRACT

In this paper, we introduce a calculus of communicating systems which allows for the expression and analysis of timing constraints, for example as is important for real-time processes. We present the language, along with its formal semantics, and derive algebraic laws for reasoning about processes in the language. Though the core language is simple, we show that the language has several powerful derived operators which we demonstrate to be useful in several examples. More... »

PAGES

401-415

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/bfb0039073

DOI

http://dx.doi.org/10.1007/bfb0039073

DIMENSIONS

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


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/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "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/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "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, 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": "1990", 
    "datePublishedReg": "1990-01-01", 
    "description": "In this paper, we introduce a calculus of communicating systems which allows for the expression and analysis of timing constraints, for example as is important for real-time processes. We present the language, along with its formal semantics, and derive algebraic laws for reasoning about processes in the language. Though the core language is simple, we show that the language has several powerful derived operators which we demonstrate to be useful in several examples.", 
    "editor": [
      {
        "familyName": "Baeten", 
        "givenName": "J. C. M.", 
        "type": "Person"
      }, 
      {
        "familyName": "Klop", 
        "givenName": "J. W.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/bfb0039073", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "3-540-53048-7"
      ], 
      "name": "CONCUR '90 Theories of Concurrency: Unification and Extension", 
      "type": "Book"
    }, 
    "keywords": [
      "real-time process", 
      "temporal calculi", 
      "formal semantics", 
      "core language", 
      "timing constraints", 
      "algebraic laws", 
      "language", 
      "semantics", 
      "system", 
      "calculus", 
      "constraints", 
      "example", 
      "operators", 
      "process", 
      "analysis", 
      "law", 
      "expression", 
      "paper"
    ], 
    "name": "A temporal calculus of communicating systems", 
    "pagination": "401-415", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1036087985"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/bfb0039073"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/bfb0039073", 
      "https://app.dimensions.ai/details/publication/pub.1036087985"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-10T10:38", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220509/entities/gbq_results/chapter/chapter_144.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/bfb0039073"
  }
]
 

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/bfb0039073'

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/bfb0039073'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/bfb0039073'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/bfb0039073'


 

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

97 TRIPLES      23 PREDICATES      46 URIs      37 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/bfb0039073 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 anzsrc-for:20
4 anzsrc-for:2004
5 schema:author Nc1d570fc0b17486a82952a10eb072ffd
6 schema:datePublished 1990
7 schema:datePublishedReg 1990-01-01
8 schema:description In this paper, we introduce a calculus of communicating systems which allows for the expression and analysis of timing constraints, for example as is important for real-time processes. We present the language, along with its formal semantics, and derive algebraic laws for reasoning about processes in the language. Though the core language is simple, we show that the language has several powerful derived operators which we demonstrate to be useful in several examples.
9 schema:editor Neb2d71a16d314fefb70469924b22d715
10 schema:genre chapter
11 schema:inLanguage en
12 schema:isAccessibleForFree false
13 schema:isPartOf Nf4d093392f1c40db86291b725cf910a7
14 schema:keywords algebraic laws
15 analysis
16 calculus
17 constraints
18 core language
19 example
20 expression
21 formal semantics
22 language
23 law
24 operators
25 paper
26 process
27 real-time process
28 semantics
29 system
30 temporal calculi
31 timing constraints
32 schema:name A temporal calculus of communicating systems
33 schema:pagination 401-415
34 schema:productId N3b892342b539405d8368787cbbeb6603
35 N88db356a625344529836ac72973ddfeb
36 schema:publisher N966d447ec8234546be03e26061c92593
37 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036087985
38 https://doi.org/10.1007/bfb0039073
39 schema:sdDatePublished 2022-05-10T10:38
40 schema:sdLicense https://scigraph.springernature.com/explorer/license/
41 schema:sdPublisher N623744813fc049b0bc5932aaaeb14cb7
42 schema:url https://doi.org/10.1007/bfb0039073
43 sgo:license sg:explorer/license/
44 sgo:sdDataset chapters
45 rdf:type schema:Chapter
46 N007c1f39f9f94565a932c33906b0f524 schema:familyName Baeten
47 schema:givenName J. C. M.
48 rdf:type schema:Person
49 N213ec856ca5649d9988debf131796697 rdf:first N90307a5ce80544b4a89a720eb30aba4d
50 rdf:rest rdf:nil
51 N3b892342b539405d8368787cbbeb6603 schema:name doi
52 schema:value 10.1007/bfb0039073
53 rdf:type schema:PropertyValue
54 N623744813fc049b0bc5932aaaeb14cb7 schema:name Springer Nature - SN SciGraph project
55 rdf:type schema:Organization
56 N88db356a625344529836ac72973ddfeb schema:name dimensions_id
57 schema:value pub.1036087985
58 rdf:type schema:PropertyValue
59 N90307a5ce80544b4a89a720eb30aba4d schema:familyName Klop
60 schema:givenName J. W.
61 rdf:type schema:Person
62 N966d447ec8234546be03e26061c92593 schema:name Springer Nature
63 rdf:type schema:Organisation
64 Nc1d570fc0b17486a82952a10eb072ffd rdf:first sg:person.010425236217.29
65 rdf:rest Ne5c78542494742e5b07555cb4e3c1fb8
66 Ne5c78542494742e5b07555cb4e3c1fb8 rdf:first sg:person.012666473500.00
67 rdf:rest rdf:nil
68 Neb2d71a16d314fefb70469924b22d715 rdf:first N007c1f39f9f94565a932c33906b0f524
69 rdf:rest N213ec856ca5649d9988debf131796697
70 Nf4d093392f1c40db86291b725cf910a7 schema:isbn 3-540-53048-7
71 schema:name CONCUR '90 Theories of Concurrency: Unification and Extension
72 rdf:type schema:Book
73 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
74 schema:name Information and Computing Sciences
75 rdf:type schema:DefinedTerm
76 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
77 schema:name Computation Theory and Mathematics
78 rdf:type schema:DefinedTerm
79 anzsrc-for:20 schema:inDefinedTermSet anzsrc-for:
80 schema:name Language, Communication and Culture
81 rdf:type schema:DefinedTerm
82 anzsrc-for:2004 schema:inDefinedTermSet anzsrc-for:
83 schema:name Linguistics
84 rdf:type schema:DefinedTerm
85 sg:person.010425236217.29 schema:affiliation grid-institutes:grid.4305.2
86 schema:familyName Moller
87 schema:givenName Faron
88 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010425236217.29
89 rdf:type schema:Person
90 sg:person.012666473500.00 schema:affiliation grid-institutes:grid.4305.2
91 schema:familyName Tofts
92 schema:givenName Chris
93 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012666473500.00
94 rdf:type schema:Person
95 grid-institutes:grid.4305.2 schema:alternateName Department of Computer Science, University of Edinburgh, UK
96 schema:name Department of Computer Science, University of Edinburgh, UK
97 rdf:type schema:Organization
 




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


...