| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 436315 | Theoretical Computer Science | 2006 | 14 Pages |
Abstract
We show that some simple and useful stutter-invariant properties definable in the language of Lamport's Simple Temporal Logic of Actions (STLA) are not definable in STLA and present a natural extension of STLA that allows one to express all stutter-invariant properties definable in the language of STLA.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
