1
CTL * ve mu hesabı
Bilindiği bu kalıcı -calculusμμ\mu ağaç / grafikler özelliklerini ifade etmek için pek çok ifade zamansal bir lojik olduğunu ve CTL * kesinlikle daha az anlamlı daha -calculus.μμ\mu Burada mümkün olduğunca basit, CTL * 'de ifade edilemeyen bir calculus formülü örneği ve umarım anlamının açıklanması için (sabit nokta formülleri hızla okunamaz …