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), 2016. (Available at https://hal.inria.fr/hal-01306440)
Bibtex Entry:
@TechReport{BlanchetSmythInria16,
  author = 	 {Bruno Blanchet and Ben Smyth},
  title = 	 {Automated reasoning for equivalences in the applied pi calculus with barriers},
  institution =  {Inria},
  year = 	 2016,
  type = 	 {Research report},
  number = 	 {RR-8906},
  month = 	 apr,
  url = {https://hal.inria.fr/hal-01306440},
  note = 	 {Available at \url{https://hal.inria.fr/hal-01306440}}
  }
Powered by bibtexbrowser