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