Reference : Automated reasoning for equivalences in the applied pi calculus with barriers |
Scientific journals : Article | |||
Engineering, computing & technology : Computer science | |||
http://hdl.handle.net/10993/35918 | |||
Automated reasoning for equivalences in the applied pi calculus with barriers | |
English | |
Blanchet, Bruno [> >] | |
Smyth, Benjamin ![]() | |
2018 | |
Journal of Computer Security | |
26 | |
3 | |
367--422 | |
Yes | |
http://hdl.handle.net/10993/35918 |
File(s) associated to this reference | ||||||||||||||
Fulltext file(s):
| ||||||||||||||
All documents in ORBilu are protected by a user license.