  This technical report contains the proofs to the lemmata and theorems of
[PN12] as well as some additional material. As main contributions [PN12]
presents an encoding of mixed choice in the context of the pi-calculus and a
criterion to measure whether the degree of distribution in process networks is
preserved.
