Author:
Song Lin,Deng Yuxin,Cai Xiaojuan
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics;The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy;2019
2. Topological Constructions of Epsilon-Bisimulation;Quantitative Logic and Soft Computing 2016;2016-09-22
3. Behavioural Pseudometrics for Nondeterministic Probabilistic Systems;Dependable Software Engineering: Theories, Tools, and Applications;2016
4. The Infinite Evolution Mechanism of ϵ-Bisimilarity;Journal of Computer Science and Technology;2013-11
5. Two-thirds simulation indexes and modal logic characterization;Frontiers of Computer Science in China;2011-07-11