(1)
Anderson, H.; Ciobanu, G. Markov Abstractions for Probabilistic Pi-Calculus. ECEASST 2010, 22.