ProV Logo
0

Reversible Quantum Process Algebra with ...
Wang, Yong...
Reversible Quantum Process Algebra with Guards by Wang, Yong ( Author )
N.A
13-07-2015
Truly concurrent process algebras are generalizations to the traditional process algebras for true concurrency, CTC to CCS, APTC to ACP, πtc 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 probabilistic process algebra APPTC to model quantum computing and unify quantum and classical computing.
-
Article
pdf
36.88 KB
English
-
MYR 0.00
-
http://arxiv.org/abs/1507.03344
Share this eBook