By A. Arnold, D. Niwinski
This ebook offers what in our opinion constitutes the foundation of the idea of the mu-calculus, regarded as an algebraic approach instead of a good judgment. we've got wanted to offer the topic in a unified means, and in a kind as normal as attainable. as a result, our emphasis is at the generality of the fixed-point notation, and at the connections among mu-calculus, video games, and automata, which we additionally clarify in an algebraic approach. This publication will be obtainable for graduate or complex undergraduate scholars either in arithmetic and laptop technological know-how. we've designed this publication specifically for researchers and scholars drawn to common sense in computing device technology, comuter aided verification, and normal points of automata concept. we've got aimed toward accumulating in one position the elemental result of the speculation, which are presently very scattered within the literature, and sometimes hardly ever obtainable for readers. The presentation is self-contained, with the exception of the facts of the Mc-Naughton's Determinization Theorem (see, e.g., . in spite of the fact that, we believe that the reader is already conversant in a few easy automata idea and common algebra. The references, credit, and recommendations for additional analyzing are given on the finish of every bankruptcy.