Countdown μ-calculus
We introduce the countdown μ-calculus, an extension of the modal μ-calculus with ordinal approximations of fixpoint operators. In addition to properties definable in the classical calculus, it can express (un)boundedness properties such as the existence of arbitrarily long sequences of specific acti...
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Language: | English |
| Published: |
2022
|