Jesper Bengtson Joachim Parrow Formalising the pi-calculus using nominal logic http://arxiv.org/abs/0809.3960 2008 Logical Methods in Computer Science 5 db/journals/lmcs/lmcs5.html#abs-0809-3960 2