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:
Filename Description Size
Thumbnail2012001418OK.pdf709.73 kB
Adobe PDF
Full metadata record
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: