Palamidessiand Herescu. A Randomized Distributed Encoding of the Π-calculus with Mixed Choice. Springer US, 2002, doi:10.1007/978-0-387-35608-2_44.