Anderson, H. and Ciobanu, G. (2010) “Markov Abstractions for Probabilistic Pi-Calculus”, Electronic Communications of the EASST, 22. doi: 10.14279/tuj.eceasst.22.317.