%0 Journal Article %1 journals/corr/abs-0809-3960 %A Bengtson, Jesper %A Parrow, Joachim %D 2009 %J Logical Methods in Computer Science %K dblp %N 2 %T Formalising the pi-calculus using nominal logic %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs5.html#abs-0809-3960 %V 5

@article{journals/corr/abs-0809-3960, added-at = {2018-08-13T00:00:00.000+0200}, author = {Bengtson, Jesper and Parrow, Joachim}, biburl = {https://www.bibsonomy.org/bibtex/25ed4b791b73c8b65d5e336860b5366a7/dblp}, ee = {http://arxiv.org/abs/0809.3960}, interhash = {a25d4528e9b4e67cd0b9fb77975f10ba}, intrahash = {5ed4b791b73c8b65d5e336860b5366a7}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 2, timestamp = {2018-08-14T14:50:03.000+0200}, title = {Formalising the pi-calculus using nominal logic}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs5.html#abs-0809-3960}, volume = 5, year = 2009 }