Anderson, H.; Ciobanu, G. Markov Abstractions for Probabilistic Pi-Calculus. eceasst 2010, 22.