Truly Concurrent Process Algebra to Unifying Quantum and Classical Computing

11/02/2018

∙

by   Yong Wang, et al.

∙

0

∙

share

Based on our previous work on truly concurrent process algebra, we use it to unify quantum and classical computing for open and closed 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.