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

by Jesper Bengtson, Magnus Johansson, Joachim Parrow, Bjorn Victor
Venue:In LICS ’09: 24th Annual IEEE Symposium on Logic In Computer Science,