View of A Compositional Proof System for the Modal mu-Calculus

Return to Article Details A Compositional Proof System for the Modal mu-Calculus Download Download PDF