mu-calculus

英 [m'juːkælkj'ʊləs] 美 [m'juːkælkj'ʊləs]

• mu演算