Entanglement in quantum process algebra

DOI10.1007/S10773-019-04226-0MaRDI QIDQ2010982zbMATH OpenOpenAlexWikidataFDO

Authors Yong Wang

Publication date 28 November 2019

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

Full work available at URL https://arxiv.org/abs/1404.0665

zbMATH Keywords

entanglementquantum mechanicsprocess algebraquantum processes

Mathematics Subject Classification ID

Quantum coherence, entanglement, quantum correlations (81P40)

Abstract: Truly concurrent process algebras are generalizations to the traditional process algebras for true concurrency, CTC to CCS, APTC to ACP,$p{i}_{tc}$ to $pi$ calculus, APPTC to probabilistic process algebra.In this book, we utilize truly concurrent process algebras APTC and APPTC to model quantum computing and unify quantum and classical computing.

Recommendations

• Quantum Entanglement Analysis Based on Abstract Interpretation
• An algebra of quantum processes
• An axiomatization for quantum processes to unifying quantum and classical computing
• Communicating quantum processes
• The logic of entanglement

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1412988 (Why is no real title available?)
• A brief history of process algebra
• A calculus of mobile processes. I
• An algebra of quantum processes
• Bisimulation for quantum processes
• Communicating quantum processes
• Open bisimulation for quantum processes
• Probabilistic bisimulations for quantum processes
• Quantum cryptography based on Bell’s theorem
• Relations among quantum processes: bisimilarity and congruence
• Types and typechecking for Communicating Quantum Processes

Cited in

(4)

• Shaded tangles for the design and verification of quantum circuits
• Quantum Entanglement Analysis Based on Abstract Interpretation
• Entanglement in absorption processes
• Probabilistic process algebra to unifying quantum and classical computing in closed systems

This page was built for publication: Entanglement in quantum process algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2010982)