TY  - RPRT
TI  - Psi-calculi: a framework for mobile processes with nominal data and logic
AU  - Jesper Bengtson
AU  - Magnus Johansson
AU  - Joachim Parrow
AU  - Björn Victor
PY  - 2011
DO  - 10.2168/lmcs-7(1:11)2011
UR  - https://arxiv.org/abs/1101.3262
ID  - 1101.3262
ER  -