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 Journal of Computer Security, volume 26, 2018.
Bibtex Entry:
@Article{BlanchetSmythJCS18,
  author = 	 {Bruno Blanchet and Ben Smyth},
  title = 	 {Automated reasoning for equivalences in the applied pi calculus with barriers},
  journal = 	 {Journal of Computer Security},
  year = 	 2018,
  volume = 	 26,
  number = 	 3,
  pages = 	 {367--422},
  url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetSmythJCS18.html}
}
Powered by bibtexbrowser