Testing preorders for probabilistic processes can be characterized by simulations
Theoretical Computer Science
Norm Functions for Probabilistic Bisimulations with Delays
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Fully Abstract Characterization of Probabilistic May Testing
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Domain equations for probabilistic processes
Mathematical Structures in Computer Science
Model checking for a probabilistic branching time logic with fairness
Distributed Computing
Probabilistic contracts for component-based design
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Probabilistic real-time rewrite theories and their expressive power
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Probabilistic contracts for component-based design
Formal Methods in System Design
Hi-index | 0.00 |