## Jesper Bengtson, Joachim Parrow

*Formalising the π-Calculus Using Nominal Logic*

FoSSaCS, 2007.

@inproceedings{FoSSaCS-2007-BengtsonP, author = "Jesper Bengtson and Joachim Parrow", booktitle = "{Proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures}", doi = "10.1007/978-3-540-71389-0_6", isbn = "978-3-540-71388-3", pages = "63--77", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Formalising the π-Calculus Using Nominal Logic}", volume = 4423, year = 2007, }