We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Probabilistic Process Algebra to Unifying Quantum and Classical Computing in Closed Systems

Authors: Yong Wang
Abstract: We have unified quantum and classical computing in open quantum systems called qACP which is a quantum generalization of process algebra ACP. But, an axiomatization for quantum and classical processes with an assumption of closed quantum systems is still missing. For closed quantum systems, unitary operator, quantum measurement and quantum entanglement are three basic components for quantum computing. This leads to probability unavoidable. Along the solution of qACP to unify quantum and classical computing in open quantum systems, we unify quantum and classical computing with an assumption of closed systems under the framework of ACP-like probabilistic process algebra. This unification make it can be used widely in verification for quantum and classical computing mixed systems, such as most quantum communication protocols.
Comments: 64 pages, 3 figures
Subjects: Logic in Computer Science (cs.LO)
Cite as: arXiv:1610.02500 [cs.LO]
  (or arXiv:1610.02500v1 [cs.LO] for this version)

Submission history

From: Yong Wang [view email]
[v1] Sat, 8 Oct 2016 08:48:09 GMT (476kb)

Link back to: arXiv, form interface, contact.