19 citations · 70 across the 21 of their papers we have counts for
3 papers · 2 filters
States in Process Calculi
Christoph Wagner, Uwe Nestmann
Formal reasoning about distributed algorithms (like Consensus) typically requires to analyze global states in a traditional state-based style. This is in contrast to the traditiona…
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…
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…