Compositionality in the temporal logic of concurrent systems (extended abstract)

F.S. Boer, de

doi:10.1016/0167-739X(90)90025-9

Compositionality in the temporal logic of concurrent systems (extended abstract)

F.S. Boer, de

Mathematics and Computer Science

Research output: Contribution to journal › Article › Academic › peer-review

Abstract

In this paper we develop a new method for describing in temporal logic in a compositional manner sequential composition, its iterated version (loops) and its interaction with (nested) parallelism. The logic we will use will be a linear time logic with as sole temporal operator the until. We will illustrate this method in the construction of a compositional proof system for a CSP-like language. We will prove this system to be sound and (relative) complete.

Original language	English
Pages (from-to)	287-299
Journal	Future Generation Computer Systems
Volume	6
Issue number	3
DOIs	https://doi.org/10.1016/0167-739X(90)90025-9
Publication status	Published - 1990

Access to Document

10.1016/0167-739X(90)90025-9

Cite this

@article{e8fda91a5c824052a306825b0bab70a3,

title = "Compositionality in the temporal logic of concurrent systems (extended abstract)",

abstract = "In this paper we develop a new method for describing in temporal logic in a compositional manner sequential composition, its iterated version (loops) and its interaction with (nested) parallelism. The logic we will use will be a linear time logic with as sole temporal operator the until. We will illustrate this method in the construction of a compositional proof system for a CSP-like language. We will prove this system to be sound and (relative) complete.",

author = "\{Boer, de\}, F.S.",

year = "1990",

doi = "10.1016/0167-739X(90)90025-9",

language = "English",

volume = "6",

pages = "287--299",

journal = "Future Generation Computer Systems",

issn = "0167-739X",

publisher = "Elsevier B.V.",

number = "3",

}

TY - JOUR

T1 - Compositionality in the temporal logic of concurrent systems (extended abstract)

AU - Boer, de, F.S.

PY - 1990

Y1 - 1990

N2 - In this paper we develop a new method for describing in temporal logic in a compositional manner sequential composition, its iterated version (loops) and its interaction with (nested) parallelism. The logic we will use will be a linear time logic with as sole temporal operator the until. We will illustrate this method in the construction of a compositional proof system for a CSP-like language. We will prove this system to be sound and (relative) complete.

AB - In this paper we develop a new method for describing in temporal logic in a compositional manner sequential composition, its iterated version (loops) and its interaction with (nested) parallelism. The logic we will use will be a linear time logic with as sole temporal operator the until. We will illustrate this method in the construction of a compositional proof system for a CSP-like language. We will prove this system to be sound and (relative) complete.

U2 - 10.1016/0167-739X(90)90025-9

DO - 10.1016/0167-739X(90)90025-9

M3 - Article

SN - 0167-739X

VL - 6

SP - 287

EP - 299

JO - Future Generation Computer Systems

JF - Future Generation Computer Systems

IS - 3

ER -

Compositionality in the temporal logic of concurrent systems (extended abstract)

Abstract

Access to Document

Fingerprint

Cite this