1
CTL * và mu-tính
ai cũng biết rằng phương thức -calculusμμ\mu μ là một trong những lôgic tạm thời biểu cảm nhất để thể hiện các thuộc tính của cây / đồ thị và CTL * ít biểu cảm hơn so với -calculus.μμ\mu Ở đây tôi muốn hỏi một ví dụ về công thức …