Bisimulation For Quantum Processes

Assoc Computing Machinery
Publication Type:
Journal Article
ACM Transactions pn Programming Language and Systems (TOPLAS), 2012, 34 (4), pp. 1 - 43
Issue Date:
Full metadata record
Files in This Item:
Filename Description Size
Thumbnail2012001418OK.pdf709.73 kB
Adobe PDF
Quantum cryptographic systems have been commercially available, with a striking advantage over classical systems that their security and ability to detect the presence of eavesdropping are provable based on the principles of quantum mechanics. On the oth
Please use this identifier to cite or link to this item: