3
Perché usare
È noto che le logiche temporali LTL, CTL, CTL * possono essere tradotte / incorporate in μμ\mu-calcolo. In altre parole, il (modale)μμ\mu-calculus sottrae queste logiche, (cioè è più espressivo.) Potresti spiegare / indicarmi documenti / libri che trattano questo argomento. In particolare, ci sono proprietà concrete di equità, vivacità, ecc. …