@article{ITA_1999__33_4-5_383_0, author = {Gurov, Dilian and Kapron, Bruce}, title = {A note on negative tagging for least fixed-point formulae}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {383--392}, publisher = {EDP-Sciences}, volume = {33}, number = {4-5}, year = {1999}, mrnumber = {1748662}, zbl = {0940.03034}, language = {en}, url = {http://www.numdam.org/item/ITA_1999__33_4-5_383_0/} }
TY - JOUR AU - Gurov, Dilian AU - Kapron, Bruce TI - A note on negative tagging for least fixed-point formulae JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1999 SP - 383 EP - 392 VL - 33 IS - 4-5 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1999__33_4-5_383_0/ LA - en ID - ITA_1999__33_4-5_383_0 ER -
%0 Journal Article %A Gurov, Dilian %A Kapron, Bruce %T A note on negative tagging for least fixed-point formulae %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1999 %P 383-392 %V 33 %N 4-5 %I EDP-Sciences %U http://www.numdam.org/item/ITA_1999__33_4-5_383_0/ %G en %F ITA_1999__33_4-5_383_0
Gurov, Dilian; Kapron, Bruce. A note on negative tagging for least fixed-point formulae. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 33 (1999) no. 4-5, pp. 383-392. http://www.numdam.org/item/ITA_1999__33_4-5_383_0/
[1] Verification of Temporal Properties of Concurrent Systems. Ph. D. Thesis, Computer Science Department, Aarhus University, Denmark (1993).
,[2] A compositional proof System for the modal mu-calculus, in Proc. of LICS'94 (1994).
, and ,[3] Verifying Temporal Properties of Systems. Birkhauser (1992). | Zbl
,[4] CTL* and ECTL* as fragments of the modal μ-calculus. Theoret. Comput. Sci. 126 (1994) 77-96. | MR | Zbl
,[5] Proving properties of dynamic process networks. Inform. and Comput. 140 (1998) 95-114. | MR | Zbl
,[6] Toward parametric verification of open distributed systems, H. Langmaack, A. Pnueli and W.-P. De Roever, Eds., Compositionality: The Significant Difference. Springer, Lecture Notes in Comput Sci. 1536 (1998) 150-158. | MR
, and ,[7] A modal μ-calculus and a proof System for value passing processes. Electron. Notes Theoret. Comput. Sci. 5 (1996). | MR | Zbl
, and ,[8] Results on the propositional μ-calculus. Theoret. Comput. Sci. 27 (1983) 333-354. | MR | Zbl
,[9] Local model checking in the modal mu-calculus. Theoret. Comput. Sci. 89 (1991) 161-177. | MR | Zbl
and ,[10] An automata theoretic decision procedure for the propositional mu-calculus. Inform. and Comput. 81 (1989) 249-264. | MR | Zbl
and ,[11] A note on model checking the modal nu-calculus. Theoret. Comput. Sci. 83 (1991) 157-167. | Zbl
,