@article{bengtson:sos07,
  author    = {Jesper Bengtson and
               Joachim Parrow},
  title     = {A Completeness Proof for Bisimulation in the pi-calculus
               Using Isabelle},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {192},
  number    = {1},
  year      = {2007},
  pages     = {61-75},
  ee        = {https://doi.org/10.1016/j.entcs.2007.08.017},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@book{bengtson:thesis,
  author = {Jesper Bengtson},
  title = {Formalising process calculi},
  year = {2010},
  publisher = {Uppsala Dissertations from the Faculty of Science and Technology},
  volume = {94}
}
@article{bengtson:LMCS09,
  author    = {Jesper Bengtson and
               Joachim Parrow},
  title     = {Formalising the pi-calculus using nominal logic},
  journal   = {Logical Methods in Computer Science},
  volume    = {5},
  number    = {2},
  year      = {2009},
  ee        = {http://arxiv.org/abs/0809.3960},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{bengtson:LICS09,
  author    = {Jesper Bengtson and
               Magnus Johansson and
               Joachim Parrow and
               Bj{\"o}rn Victor},
  title     = {Psi-calculi: Mobile Processes, Nominal Data, and Logic},
  booktitle = {LICS},
  year      = {2009},
  pages     = {39-48},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/LICS.2009.20},
  crossref  = {DBLP:conf/lics/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/lics/2009,
  title     = {Proceedings of the 24th Annual IEEE Symposium on Logic in
               Computer Science, LICS 2009, 11-14 August 2009, Los Angeles,
               CA, USA},
  booktitle = {LICS},
  publisher = {IEEE Computer Society},
  year      = {2009},
  isbn      = {978-0-7695-3746-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{johansson:lics10,
  author    = {Magnus Johansson and
               Jesper Bengtson and
               Joachim Parrow and
               Bj{\"o}rn Victor},
  title     = {Weak Equivalences in Psi-Calculi},
  booktitle = {LICS},
  year      = {2010},
  pages     = {322-331},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/LICS.2010.30},
  crossref  = {DBLP:conf/lics/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/lics/2010,
  title     = {Proceedings of the 25th Annual IEEE Symposium on Logic in
               Computer Science, LICS 2010, 11-14 July 2010, Edinburgh,
               United Kingdom},
  booktitle = {LICS},
  publisher = {IEEE Computer Society},
  year      = {2010},
  isbn      = {978-0-7695-4114-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
