Formalising the π-calculus using nominal logic (0)

by J Bengtson, J Parrow
Venue:In Proceedings of FOSSACS 2007. LNCS