Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Jorrand, Philippe
and
Lalire, Marie
2004.
Toward a quantum process algebra.
p.
111.
Abramsky, S.
2004.
High-level methods for quantum computation and information.
p.
410.
van Tonder, André
2004.
A Lambda Calculus for Quantum Computation.
SIAM Journal on Computing,
Vol. 33,
Issue. 5,
p.
1109.
Selinger, Peter
2004.
Functional and Logic Programming.
Vol. 2998,
Issue. ,
p.
1.
Abramsky, S.
and
Coecke, B.
2004.
A categorical semantics of quantum protocols.
p.
415.
Gay, Simon J.
and
Nagarajan, Rajagopal
2005.
Communicating quantum processes.
ACM SIGPLAN Notices,
Vol. 40,
Issue. 1,
p.
145.
Gay, Simon J.
and
Nagarajan, Rajagopal
2005.
Communicating quantum processes.
p.
145.
Abramsky, Samson
2005.
Algebra and Coalgebra in Computer Science.
Vol. 3629,
Issue. ,
p.
1.
Selinger, Peter
and
Valiron, Benoît
2005.
Typed Lambda Calculi and Applications.
Vol. 3461,
Issue. ,
p.
354.
Altenkirch, T.
and
Grattage, J.
2005.
A Functional Quantum Programming Language.
p.
249.
Kanamori, Y.
Yoo, S.-M.
Pan, W.D.
and
Sheldon, F.T.
2006.
A Short Survey On Quantum Computers.
International Journal of Computers and Applications,
Vol. 28,
Issue. 3,
p.
227.
Tafliovich, Anya
and
Hehner, Eric C. R.
2006.
Mathematics of Program Construction.
Vol. 4014,
Issue. ,
p.
433.
Khusnitdinova, Evgeniya
and
Say, A. C. Cem
2006.
Computer and Information Sciences – ISCIS 2006.
Vol. 4263,
Issue. ,
p.
1040.
Danos, Vincent
Kashefi, Elham
and
Panangaden, Prakash
2006.
Automata, Languages and Programming.
Vol. 4052,
Issue. ,
p.
13.
Unruh, Dominique
2006.
Quantum programming languages.
Informatik - Forschung und Entwicklung,
Vol. 21,
Issue. 1-2,
p.
55.
Kanamori, Y.
Yoo, S.-M.
Pan, W.D.
and
Sheldon, F.T.
2006.
A SHORT SURVEY ON QUANTUM COMPUTERS.
International Journal of Computers and Applications,
Vol. 28,
Issue. 3,
Duan, Run-Yao
Ji, Zheng-Feng
Feng, Yuan
and
Ying, Ming-Sheng
2006.
Some Issues in Quantum Information Theory.
Journal of Computer Science and Technology,
Vol. 21,
Issue. 5,
p.
776.
Paul, Thierry
2007.
Logique, dynamique et cognition.
p.
99.
Feng, Yuan
Duan, Runyao
Ji, Zhengfeng
and
Ying, Mingsheng
2007.
Probabilistic bisimulations for quantum processes.
Information and Computation,
Vol. 205,
Issue. 11,
p.
1608.
Altenkirch, Thorsten
Grattage, Jonathan
Vizzotto, Juliana K.
and
Sabry, Amr
2007.
An Algebra of Pure Quantum Programming.
Electronic Notes in Theoretical Computer Science,
Vol. 170,
Issue. ,
p.
23.