Highly Influenced

# Local Model Checking in the Modal mu-Calculus

@article{Stirling1991LocalMC, title={Local Model Checking in the Modal mu-Calculus}, author={Colin Stirling and David Walker}, journal={Theor. Comput. Sci.}, year={1991}, volume={89}, pages={161-177} }

- Published 1991 in Theor. Comput. Sci.
DOI:10.1016/0304-3975(90)90110-4

The modal mu-calculus, due to Pratt and Kozen [ 12,8], is a natural extension of dynamic logic. It is also one method of obtaining a branching time temporal logic from a modal logic [3]. Furthermore, it extends Hennessy-Milner logic, thereby offering a natural temporal logic for Milner’s CCS, and process systems in general. (Discussion of the uses of the mu-calculus for CCS can be found in [4,6,9,13,15].) Within this context we are especially interested in whether or not a particular state, or… CONTINUE READING

Highly Influential

This paper has highly influenced 16 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS