Truly Concurrent Process Algebra to Unifying Quantum and Classical Computing

Yong Wang

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.

Knowledge Graph



Sign up or login to leave a comment