A graphical \(\mu\)-calculus and local model checking.

DOI10.1007/BF02960756zbMath1094.68578MaRDI QIDQ1433941

Huimin Lin

Publication date: 1 July 2004

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

zbMATH Keywords

local algorithmsmodal graphs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Tableau-based model checking in the propositional mu-calculus
• Local model checking in the modal mu-calculus
• Model checking and boolean graphs
• A lattice-theoretical fixpoint theorem and its applications

This page was built for publication: A graphical \(\mu\)-calculus and local model checking.