Formalising the pi-calculus using nominal logic (2008)

by J Bengtson, J Parrow
Venue:Logical Methods in Computer Science 5(2