82 citations · 143 across the 7 of their papers we have counts for
1 paper · 1 filter
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…