Automated reasoning for equivalences in the applied pi calculus with barriers (bibtex)
by Bruno Blanchet, Ben Smyth
Reference:
Automated reasoning for equivalences in the applied pi calculus with barriers (Bruno Blanchet, Ben Smyth), In 29th IEEE Computer Security Foundations Symposium (CSF'16), IEEE, 2016. (Long version available at https://hal.inria.fr/hal-01306440)
Bibtex Entry:
@InProceedings{BlanchetSmythCSF16,
  author = 	 {Bruno Blanchet and Ben Smyth},
  title = 	 {Automated reasoning for equivalences in the applied pi calculus with barriers},
  booktitle = {29th IEEE Computer Security Foundations Symposium (CSF'16)},
  year = 	 2016,
  pages = 	 {310--324},
  month = 	 jun,
  address = 	 {Lisboa, Portugal},
  publisher = {IEEE},
  url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetSmythCSF16.html},
  note = {Long version available at \url{https://hal.inria.fr/hal-01306440}}
  }
Powered by bibtexbrowser