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 mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) >]
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):

FileCommentaryVersionSizeAccess
Open access
Smyth17-verifying-observational-equivalence.pdfAuthor postprint437.32 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.