On the expressivity of the modal mu-calculus-Reference-Cited by-同舟云学术

On the expressivity of the modal mu-calculus

Published:1996 Issue: Volume: Page:477-490
ISSN:0302-9743
Container-title:STACS 96
language:
Short-container-title:

Author:

Bradfield J. C.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60922-9_39.pdf

Reference14 articles.

1. A. Arnold and D. Niwinski, Fixed point characterization of Büchi automata on infinite trees. J. Inf. Process. Cybern., EIK 26, 451–459 (1990).

2. J. C. Bradfield, Verifying Temporal Properties of Systems. Birkhäuser, Boston, Mass. ISBN 0-8176-3625-0 (1991).

3. J. C. Bradfield, A proof assistant for symbolic model-checking. Proc. CAV '92. LNCS 663 316–329 (1993).

4. J. C. Bradfield, On the expressivity of the modal mu-calculus, Technical Report ECS-LFCS-95-338, LFCS, University of Edinburgh (1995). On-line via http://www.dcs.ed.ac.uk/home/jcb/.

5. J. C. Bradfield and C. Stirling, Local model checking for infinite state spaces. Theoret. Comput. Sci. 96 157–174 (1992).

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. EXPTIME Tableaux for the Coalgebraic mu-Calculus;Logical Methods in Computer Science;2011-08-11

2. ν-Types for Effects and Freshness Analysis;Theoretical Aspects of Computing - ICTAC 2009;2009

3. EXPTIME Tableaux for the Coalgebraic μ-Calculus;Computer Science Logic;2009

4. Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting;Electronic Notes in Theoretical Computer Science;2007-07

5. Checking Risky Events Is Enough for Local Policies;Lecture Notes in Computer Science;2005