Article (Scientific journals)
Automated reasoning for equivalences in the applied pi calculus with barriers
Blanchet, Bruno; Smyth, Benjamin
2018In Journal of Computer Security, 26 (3), p. 367--422
Peer reviewed
 

Files


Full Text
Smyth17-verifying-observational-equivalence.pdf
Author postprint (447.81 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Blanchet, Bruno
Smyth, Benjamin ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
External co-authors :
yes
Language :
English
Title :
Automated reasoning for equivalences in the applied pi calculus with barriers
Publication date :
2018
Journal title :
Journal of Computer Security
Volume :
26
Issue :
3
Pages :
367--422
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 14 June 2018

Statistics


Number of views
36 (1 by Unilu)
Number of downloads
227 (0 by Unilu)

Scopus citations®
 
9
Scopus citations®
without self-citations
7
WoS citations
 
9

Bibliography


Similar publications



Contact ORBilu