Psi-calculi: Mobile Processes, Nominal Data, and Logic.

Jesper Bengtson, Magnus Johansson, Joachim Parrow, Bjrn Victor

Browse the full LICS paper archive.