Back
  1. Home
  3. Automated reasoning for equivalences in the applied pi calculus with barriers - 2018
Download
Article (Scientific journals)
Automated reasoning for equivalences in the applied pi calculus with barriers
Blanchet, Bruno; SMYTH, Benjamin
2018 • In Journal of Computer Security, 26 (3), p. 367--422
Peer reviewed
Permalink
https://hdl.handle.net/10993/35918
DOI
10.3233/JCS-171013
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

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
162 (1 by Unilu)
Number of downloads
295 (0 by Unilu)
More statistics
Scopus citations®
 
13
Scopus citations®
without self-citations
11
OpenAlex citations
 
20
WoS citations™
 
9

Bibliography

Similar publications


Contact ORBilu