Topologies, Continuity and Bisimulations-Reference-Cited by-同舟云学术

Topologies, Continuity and Bisimulations

Published:1999-07 Issue:4-5 Volume:33 Page:357-381
ISSN:0988-3754
Container-title:RAIRO - Theoretical Informatics and Applications
language:
Short-container-title:RAIRO-Theor. Inf. Appl.

Author:

Davoren J. M.

Publisher

EDP Sciences

Subject

Computer Science Applications,General Mathematics,Software

Link

http://www.rairo-ita.org/10.1051/ita:1999123/pdf

Reference19 articles.

1. The algorithmic analysis of hybrid systems

2. Duality and the completeness of the modal μ-calculus

3. J.-P. Aubin and H. Frankowska,Set-Valued Analysis. Birkhäuser, Boston (1990).

4. M. Bonsangue and M. Kwiatkowska, Reinterpreting the modalµ-calculus, A. Ponse, M. de Rijke and Y. Venema, Eds.,Modal Logic and Process Algebra. CLSI Publications, Stanford (1995) 65-83.

5. J. Davoren,Modal Logics for Continuous Dynamics. Ph.D. Thesis, Department of Mathematics Cornell University (1998).

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

1. A BEHAVIOR-PRESERVING TRANSLATION FROM FBD DESIGN TO C IMPLEMENTATION FOR REACTOR PROTECTION SYSTEM SOFTWARE;Nuclear Engineering and Technology;2013-08

2. Modal compact Hausdorff spaces;Journal of Logic and Computation;2012-07-07

3. Metrics for weighted transition systems: Axiomatization and complexity;Theoretical Computer Science;2011-06

4. O-Minimal Hybrid Reachability Games;Logical Methods in Computer Science;2010-01-12

5. On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations;Annals of Pure and Applied Logic;2009-12