Testing preorders for probabilistic processes can be characterized by simulations
Theoretical Computer Science
Additive models of probabilistic processes
Theoretical Computer Science
A testing scenario for probabilistic processes
Journal of the ACM (JACM)
Mathematical Structures in Computer Science
A testing scenario for probabilistic automata
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
A survey of Markovian behavioral equivalences
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Non-expansive ε-bisimulations for probabilistic processes
Theoretical Computer Science
Hi-index | 0.00 |