Search for Author All Reviews
	Duan, Runyao     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       Bisimulation for quantum processes Feng Y., Duan R., Ying M. ACM Transactions on Programming Languages and Systems 34(4): 1-43, 2012.  Type: Article Quantum cryptography enables provably secure communication based on the principles of quantum mechanics [1]. However, research is hampered by the lack of good formalisms for modeling and verifying quantum protocols. One possible approa...... Mar 13 2013
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy