The subject of this thesis is the Mu-calculus, which nowadays represents a very active research area in both theoretical and practical Computer Science. The Mu-calculus is a logic capable of expressin
Sidney Harris, acclaimed Dean of Scientific Humor, presents his most recent collection of cartoons. No scientific or technical topic is safe from the scope of his humor. Harriss cartoons have appeared
