Rudiments of mu-calculus
North Holland | 2001-04-01 | ISBN:0444506209 | 296 pages | PDF | 11,1 MB
This book presents what in our opinion constitutes the basis of the theory of the mu-calculus, considered as an algebraic system rather than a logic. We have wished to present the subject in a unified way, and in a form as general as possible. Therefore, our emphasis is on the generality of the fixed-point notation, and on the connections between mu-calculus, games, and automata, which we also explain in an algebraic way.