82 citations · 143 across the 7 of their papers we have counts for
1 paper · 1 filter
Magnus Johansson, Björn Victor, Joachim Parrow
We present a symbolic transition system and bisimulation equivalence for psi-calculi, and show that it is fully abstract with respect to bisimulation congruence in the non-symbolic…