Searching for "A framework for performance evaluation and functional verification in stochastic process algebras." – sorted by Relevance.