Probabilistic Bisimulations For Quantum Processes

Academic Press Inc Elsevier Science
Publication Type:
Journal Article
Information And Computation, 2007, 205 (11), pp. 1608 - 1639
Issue Date:
Full metadata record
Files in This Item:
Filename Description Size
Thumbnail2008004824.pdf460.27 kB
Adobe PDF
Modeling and reasoning about concurrent quantum systems is very important for both distributed quantum computing and quantum protocol verification. As a consequence, a general framework formally describing communication and concurrency in complex quantum
Please use this identifier to cite or link to this item: