1 paper
Kirstin Peters, Uwe Nestmann
A well-known result by Palamidessi tells us that πmix (the π-calculus with mixed choice) is more expressive than πsep (its subset with only separate choice). The proof of this resu…