H. Anderson and G. Ciobanu, “Markov Abstractions for Probabilistic Pi-Calculus”, ECEASST, vol. 22, Jan. 2010.