Questions marquées «mu-calculus»

3
Pourquoi utiliser
On sait que les logiques temporelles LTL, CTL, CTL * peuvent être traduites / intégrées dans le μμ\mu-calcul. En d'autres termes, le (modal)μμ\mu-calculus subsume ces logiques, (c'est-à-dire qu'il est plus expressif.) Pourriez-vous s'il vous plaît m'expliquer / pointer vers des articles / livres qui développent cette question. En particulier, y …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.