19 citations · 70 across the 21 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.LO2010★ 8 cited
Breaking Symmetries
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…
cs.LO2010
Breaking Symmetries
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…