Date of Original Version

5-2000

Type

Book Chapter

Abstract or Description

The propositional µ-calculus is a powerful language for expressing properties of transition systems by using least and greatest fixpoint operators.

Share

COinS
 

Published In

Proof, Language, and Interaction, Edited by G. Plotkin, MIT Press.