"721"^^ . "Edmund M."@fr . . "En logique math\u00E9matique et en informatique th\u00E9orique, le mu-calcul (ou logique du mu-calcul modal) est l'extension de la logique modale classique avec des op\u00E9rateurs de points fixes. Selon Bradfield et Walukiewicz, le mu-calcul est une des logiques les plus importantes pour la v\u00E9rification de mod\u00E8les ; elle est expressive tout en ayant de bonnes propri\u00E9t\u00E9s algorithmiques."@fr . "Model Checking"@fr . "Colin"@fr . "3"^^ . . . "http://homepages.inf.ed.ac.uk/jcb/Research/pubs.html#mlh-chapter|titre chapitre=Modal mu-calculi"@fr . . . "Julian Bradfield"@fr . . . "Springer Verlag"@fr . "CTL"@fr . "En logique math\u00E9matique et en informatique th\u00E9orique, le mu-calcul (ou logique du mu-calcul modal) est l'extension de la logique modale classique avec des op\u00E9rateurs de points fixes. Selon Bradfield et Walukiewicz, le mu-calcul est une des logiques les plus importantes pour la v\u00E9rification de mod\u00E8les ; elle est expressive tout en ayant de bonnes propri\u00E9t\u00E9s algorithmiques. Le mu-calcul (propositionnel et modal) a d'abord \u00E9t\u00E9 introduit par Dana Scott et Jaco de Bakker puis a \u00E9t\u00E9 \u00E9tendu dans sa version moderne par Dexter Kozen. Cette logique permet de d\u00E9crire les propri\u00E9t\u00E9s des syst\u00E8mes de transition d'\u00E9tats et de les v\u00E9rifier. De nombreuses logiques temporelles (telles que CTL* ou ses fragments tr\u00E8s usit\u00E9s comme (en) ou LTL) sont des fragments du mu-calcul. Une mani\u00E8re alg\u00E9brique de voir le mu-calcul est de le consid\u00E9rer comme une alg\u00E8bre de fonctions monotones sur un treillis complet, les op\u00E9rateurs \u00E9tant une composition fonctionnelle plus des points fixes ; de ce point de vue, le mu-calcul agit sur le treillis de l'alg\u00E8bre des ensembles. La s\u00E9mantique des jeux du mu-calcul est li\u00E9 aux jeux \u00E0 deux joueurs \u00E0 information parfaite, notamment les jeux de parit\u00E9."@fr . . . "en"@fr . . "Model Checking and the Mu-calculus"@fr . . . "New York, Berlin, Heidelberg"@fr . . "0"^^ . "Emerson"@fr . "Doron A. Peled"@fr . . . . "Modal \u03BC-calculus"@en . . "978"^^ . "Andr\u00E9 Arnold"@fr . "10.1016"^^ . "Cambridge, Massachusetts, USA"@fr . "Orna Grumberg"@fr . . . . . "E. Allen"@fr . . "27"^^ . . "10299067"^^ . . . "191"^^ . . "185"^^ . . "277"^^ . "Mu-calcul"@fr . . "Clarke, Jr."@fr . . . . "Modal and Temporal Properties of Processes"@fr . "1999"^^ . "1996"^^ . . . . "Computation tree logic"@fr . "Results on the Propositional \u03BC-Calculus"@fr . "2006"^^ . . . "179359942"^^ . . "2001"^^ . "Stirling"@fr . "16186"^^ . . . . "Descriptive Complexity and Finite Models"@fr . . . "Rudiments of \u03BC-Calculus"@fr . . . . . . . . . "Colin Stirling"@fr . "Logique du temps arborescent"@fr . . . . . "Damian Niwi\u0144ski"@fr . . . . . . "MIT press"@fr . "1983"^^ . . . "The Handbook of Modal Logic"@fr . "333"^^ . . . "Kozen, Dexter"@fr .