Local model checking in the modal mu-calculus

C Stirling, D Walker - Colloquium on Trees in Algebra and Programming, 1989 - Springer
The modal mu-calculus, due to Pratt and Kozen [Pr, Ko], is a natural extension of dynamic
logic. It is also one method of obtaining a branching time temporal logic from a modal logic …
被引用次数：201 相关文章

[引用][C] Local model checking in the modal mu-calculus

C Stirling, D Walker - TAPSOFT'89 - infona.pl
Local model checking in the modal mu-calculus × Close The Infona portal uses cookies, ie
strings of text saved by a browser on the user's device. The portal can access those files and …

[引用][C] Local Model Checking in the Modal Mu-Calculus

C Stirling, D Walker - Proceedings of the International Joint Conference …, 1989 - dl.acm.org
Local Model Checking in the Modal Mu-Calculus | Proceedings of the International Joint
Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar …

[引用][C] Local model checking in the modal mu-calculus

C Stirling, D Walker - TAPSOFT'89, 1989 - Springer