A denotational semantics for a process-based simulation language
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Verification of randomized distributed algorithms
Lectures on formal methods and performance analysis
Additive models of probabilistic processes
Theoretical Computer Science
Modeling and verification of probabilistic actor systems using prebeca
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Testing probabilistic equivalence through Reinforcement Learning
Information and Computation
| Hi-index | 0.00 |