22 citations · 96 across the 27 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 2 cited
Matching in the Pi-Calculus
Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann
We study whether, in the pi-calculus, the match prefix-a conditional operator testing two names for (syntactic) equality-is expressible via the other operators. Previously, Carbone…
cs.LO2014
Matching in the Pi-Calculus (Technical Report)
Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann
We study whether, in the pi-calculus, the match prefix---a conditional operator testing two names for (syntactic) equality---is expressible via the other operators. Previously, Car…