Subject
General Earth and Planetary Sciences,General Environmental Science
Reference18 articles.
1. Weak bisimulation for fully probabilistic processes;C Baier;Computer Aided Verification,1997
2. Semantics of Probabilistic Processes
3. Axiomatizations for probabilistic finite-state behaviors;Y Deng;Theoretical Computer Science,2007
4. Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours;N Fischer;Journal of Logical and Algebraic Methods in Programming,2019
5. Model independent approach to probabilistic models;Y Fu;Theoretical Computer Science,2021