8 citations · 8 across the 1 of their papers we have counts for
1 paper
Kirstin Peters, Uwe Nestmann
A well-known result by Palamidessi tells us that \pimix (the π-calculus with mixed choice) is more expressive than \pisep (its subset with only separate choice). The proof of this…