- Record: found
- Abstract: found
- Article: found
Truly Concurrent Process Algebra to Unifying Quantum and Classical Computing for Open Systems
Preprint
02 November 2018
Read this article at
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Abstract
Based on our previous work on truly concurrent process algebra, we use it to unify quantum and classical computing for open quantum systems. This resulted algebra can be used to verify the behaviors of quantum and classical computing mixed systems, with a flavor of true concurrency.