An Algebraic Language for Distributed Quantum Computing
From MaRDI portal
Publication:4974941
DOI10.1109/TC.2009.13zbMath1367.81039MaRDI QIDQ4974941
Publication date: 8 August 2017
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
Quantum computation (81P68) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)
Related Items
Model-Checking Linear-Time Properties of Quantum Systems, A general protocol for distributed quantum gates, A dynamic programming approach for distributing quantum circuits by bipartite graphs, The cost reduction of distributed quantum factorization circuits, Improving the teleportation cost in distributed quantum circuits based on commuting of gates, Optimized quantum circuit partitioning, Optimizing teleportation cost in distributed quantum circuits, An evolutionary approach to optimizing teleportation cost in distributed quantum computation, Symmetry principles in quantum systems theory