论文信息 - A Note on Model Checking the Modal nu-Calculus - 字舞流文

A Note on Model Checking the Modal nu-Calculus

Glynn Winskel | G. Winskel

[1] David Walker,et al. Local Model Checking in the Modal mu-Calculus , 1991, Theor. Comput. Sci..

[2] Rance Cleaveland,et al. The Concurrency Workbench , 1990, Automatic Verification Methods for Finite State Systems.

[3] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.

[4] Kim G. Larsen,et al. Proof System for Hennessy-Milner Logic with Recursion , 1988, CAAP.

[5] Chin-Laung Lei,et al. Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract) , 1986, LICS.

[6] Dexter Kozen,et al. RESULTS ON THE PROPOSITIONAL’p-CALCULUS , 2001 .

[7] A. Tarski. A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .