A randomized encoding of the π-calculus with mixed choiceCatuscia PalamidessiOltea Mihaela Herescu2005Theoretical Computer Science