"Formalising the pi-Calculus Using Nominal Logic."

Jesper Bengtson, Joachim Parrow (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics