Funder
National Natural Science Foundation of China
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference18 articles.
1. Weak bisimulation for fully probabilistic processes;Baier,1997
2. Semantics of Probabilistic Processes;Deng,2014
3. Axiomatizations for probabilistic finite-state behaviors;Deng;Theor. Comput. Sci.,2007
4. Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours;Fischer;J. Log. Algebraic Methods Program.,2019
5. Model independent approach to probabilistic models;Fu;Theor. Comput. Sci.,2021
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献