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