3
Tại sao sử dụng -calculus mà không phải LTL, CTL, CTL *?
Được biết, các logic thời gian LTL, CTL, CTL * có thể được dịch / nhúng vào -calculus. Nói cách khác, (phương thức) -calculus bao gồm các logic này, (nghĩa là nó có ý nghĩa hơn.)μμ\muμμ\mu Bạn có thể vui lòng giải thích / chỉ cho tôi các giấy tờ …