2 citations · 2 across the 2 of their papers we have counts for
2 papers
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…