Author:
Wu Hao,Fu Yuxi,Long Huan,Xu Xian,Zhang Wenbo
Reference37 articles.
1. Weak Bisimulation for Fully Probabilistic Processes;Christel Baier;Computer Aided Verification,1997
2. Branching Bisimilarity Is an Equivalence Indeed! Inform;Twan Basten;Process. Lett,1996
3. Reachability in Recursive Markov Decision Processes;Tom� Br�zdil;Information and Computation,2008
4. Modal Decomposition on Nondeterministic Probabilistic Processes;Valentina Castiglioni;Leibniz International Proceedings in Informatics (LIPIcs),2016