The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication
Journal of the ACM, 2018-02, Vol.65 (1), p.1-103 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0004-5411 ;EISSN: 1557-735X ;DOI: 10.1145/3127586
Digital Resources/Online E-Resources
Previous
|
||||
 |
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY |  |
(84-028) 37 755 057 | Feedback |
| 19 Nguyen Huu Tho St. Dist.7, HCM |  |
thuvien@tdtu.edu.vn | ||