19 citations · 70 across the 21 of their papers we have counts for
4 papers · 1 filter
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…
Enforcing Operational Properties including Blockfreeness for Deterministic Pushdown Automata
Sven Schneider, Uwe Nestmann
We present an algorithm which modifies a deterministic pushdown automaton (DPDA) such that (i) the marked language is preserved, (ii) lifelocks are removed, (iii) deadlocks are rem…