Interconnections between classes of sequentially compositional temporal formulas
Information Processing Letters
Verification and enforcement of access control policies
Formal Methods in System Design
Hi-index | 0.00 |
We apply Interval Temporal Logic (ITL), an established temporal formalism for reasoning about time periods, to extending known facts by looking at them in reverse and then reducing reasoning about infinite time to finite time. Time reversal then helps to compositionally analyse some aspects of concurrent behaviour involving mutual exclusion.