How to use Temporal-logic in a sentence
temporal-logic
Abstract We show how abstract requirements of garbage collection can be captured using temporal logic.
Then we present the temporal logic formalism that we use.
Thus temporal logic is higher level than Z for specifying concurrency.
Advertisement