Subject
General Computer Science,Theoretical Computer Science
Reference17 articles.
1. Comparative Branching-Time Semantics for Markov Chains;Baier;Information and Computation,2005
2. M. Bernardo, “Non-Bisimulation-Based Markovian Behavioral Equivalences”, submitted for publication
3. Performance Measure Sensitive Congruences for Markovian Process Algebras;Bernardo;Theoretical Computer Science,2003
4. A Theory of Testing for Markovian Processes;Bernardo,2000
5. Exact and Ordinary Lumpability in Finite Markov Chains;Buchholz;Journal of Applied Probability,1994
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Logical characterization of fluid equivalences;Sibirskie Elektronnye Matematicheskie Izvestiya;2019-06-11
2. Non-bisimulation-based Markovian behavioral equivalences;The Journal of Logic and Algebraic Programming;2007-05