A randomized encoding of the \(\pi\)-calculus with mixed choice
scientific article; zbMATH DE number 2174880