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: Truly Concurrent Process Algebra to Unifying Quantum and Classical Computing

Authors: Yong Wang
Abstract: Truly concurrent process algebras are generalizations to the traditional process algebras for true concurrency, CTC to CCS, APTC to ACP, $\pi_{tc}$ to $\pi$ calculus, APPTC to probabilistic process algebra. Now, it is the time to utilize truly concurrent process algebras APTC and APPTC to model quantum computing and unify quantum and classical computing. In this book, we introduce the preliminaries, the utilization of APTC to unify quantum and classical computing and its usage in verification of quantum communication protocols, the utilization of APPTC to unifying quantum and classical computing and its usage in verification of quantum communication protocols.
Comments: 140 pages, 23 figures, 57 tables. arXiv admin note: substantial text overlap with arXiv:1611.09035, arXiv:1610.02500, arXiv:1810.00868, arXiv:1311.2960, arXiv:1501.05260, arXiv:1404.0665, arXiv:1507.03344
Subjects: Logic in Computer Science (cs.LO)
Cite as: arXiv:1811.01070 [cs.LO]
  (or arXiv:1811.01070v4 [cs.LO] for this version)

Submission history

From: Yong Wang [view email]
[v1] Fri, 2 Nov 2018 20:07:55 GMT (19kb)
[v2] Tue, 27 Nov 2018 15:40:16 GMT (62kb)
[v3] Tue, 20 Jul 2021 01:07:28 GMT (3775kb)
[v4] Wed, 21 Jul 2021 13:19:53 GMT (3762kb)
[v5] Wed, 28 Jul 2021 06:17:10 GMT (3761kb)
[v6] Mon, 25 Oct 2021 06:16:23 GMT (3757kb)

Link back to: arXiv, form interface, contact.