82 citations · 89 across the 2 of their papers we have counts for
2 papers
cs.LO2011★ 82 cited
Psi-calculi: a framework for mobile processes with nominal data and logic
Jesper Bengtson, Magnus Johansson, Joachim Parrow +1
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe…
cs.LO2010★ 7 cited
A Fully Abstract Symbolic Semantics for Psi-Calculi
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…