Reasoning about probabilistic parallel programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verification of randomized distributed algorithms
Lectures on formal methods and performance analysis
Additive models of probabilistic processes
Theoretical Computer Science
Discrete time generative-reactive probabilistic processes with different advancing speeds
Theoretical Computer Science
Equational Axioms for Probabilistic Bisimilarity
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Weak Bisimulation for Probabilistic Systems
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Bisimulation for labelled Markov processes
Information and Computation - Special issue: LICS'97
Semantic models for information flow
Theoretical Computer Science - Mathematical foundations of programming semantics
Metrics for labelled Markov processes
Theoretical Computer Science - Logic, semantics and theory of programming
Mathematical Structures in Computer Science
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
A pseudometric in supervisory control of probabilistic discrete event systems
Discrete Event Dynamic Systems
Testing probabilistic equivalence through Reinforcement Learning
Information and Computation
Formal verification of real-time wireless sensor networks protocols with realistic radio links
Proceedings of the 21st International conference on Real-Time Networks and Systems
| Hi-index | 0.01 |