Quantum process algebra with priorities

DOI10.1007/s10773-017-3416-5zbMath1383.81060OpenAlexW2616492032WikidataQ112879501 ScholiaQ112879501MaRDI QIDQ1700843

Guiping Dai, Yong Wang, Xingtian Ren

Publication date: 22 February 2018

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10773-017-3416-5

zbMATH Keywords

verificationprocess algebraquantum computingquantum processes

Mathematics Subject Classification ID

Quantum computation (81P68) Closed and approximate solutions to the Schrödinger, Dirac, Klein-Gordon and other equations of quantum mechanics (81Q05) Quantum algorithms and complexity in the theory of computing (68Q12)

Cites Work

• Unnamed Item
• Unnamed Item
• On the consistency of Koomen's fair abstraction rule
• A calculus of mobile processes. I
• A brief history of process algebra
• Probabilistic bisimulations for quantum processes
• Open Bisimulation for Quantum Processes
• An algebra of quantum processes
• Communicating quantum processes
• Bisimulation for quantum processes
• Types and typechecking for Communicating Quantum Processes
• Relations among quantum processes: bisimilarity and congruence

This page was built for publication: Quantum process algebra with priorities