Truly Concurrent Process Algebra to Unifying Quantum and Classical Computing
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.
READ FULL TEXT