Interleaving set temporal logic (Q2639046)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Interleaving set temporal logic |
scientific article |
Statements
Interleaving set temporal logic (English)
0 references
1990
0 references
A temporal framework for reasoning about global states constructed from partial orders is proposed, called Interleaving Set Temporal Logic (ISTL). The underlying semantic model is a collection of sets of interleaving sequences reflecting partial orders that represent ``truly'' concurrent computations. The logic is able to distinguish nondeterminism due to interleaving of parallel execution, and that due to local nondeterministic choices. It is shown that in ISTL certain properties are expressible that are not in related logics such as linear temporal logic (LTL), branching temporal logics (such as CTL) and partial order temporal logic (POTL).
0 references
partial order semantics
0 references
concurrency
0 references
interleaving semantics
0 references
reasoning about global states constructed from partial orders
0 references
Interleaving Set Temporal Logic
0 references
nondeterminism
0 references
0 references
0 references