Automated reasoning for equivalences in the applied pi calculus with barriers

Blanchet, Bruno; SMYTH, Benjamin

doi:10.3233/JCS-171013

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 to Details Statistics Bibliography Similar 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

RIS BibTex APA Chicago Permalink X Linkedin

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 :

Issue :

Pages :

367--422

Peer reviewed :

Peer reviewed

Available on ORBilu :

since 14 June 2018

Statistics

Number of views

53 (1 by Unilu)

Number of downloads

254 (0 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenAlex citations

WoS citations^™