Reversible Quantum Process Algebra
Logic in Computer Science
2021-08-09 v5
Abstract
Truly concurrent process algebras are generalizations to the traditional process algebras for true concurrency, CTC to CCS, APTC to ACP, to calculus , APPTC to probabilistic process algebra. And we also did some work on reversible process algebra and probabilistic truly concurrent process algebra. In this book, we utilize reversible truly concurrent process algebras APRTC and APPTC to model quantum computing and unify quantum and classical computing.
Cite
@article{arxiv.1501.05260,
title = {Reversible Quantum Process Algebra},
author = {Yong Wang},
journal= {arXiv preprint arXiv:1501.05260},
year = {2021}
}
Comments
210 pages, 23 figures, 115 tables. arXiv admin note: substantial text overlap with arXiv:1811.01070