Interleaving set temporal logic (Q2639046)

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).