Entanglement in quantum process algebra

DOI10.1007/S10773-019-04226-0zbMATH Open1468.81017arXiv1404.0665OpenAlexW2968909051WikidataQ127362826 ScholiaQ127362826MaRDI QIDQ2010982FDOQ2010982

Yong Wang

Publication date: 28 November 2019

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

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.

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

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

zbMATH Keywords

entanglementquantum mechanicsprocess algebraquantum processes

Mathematics Subject Classification ID

Quantum coherence, entanglement, quantum correlations (81P40)

Cites Work

• Quantum cryptography based on Bell’s theorem
• Title not available (Why is that?)
• Title not available (Why is that?)
• A calculus of mobile processes. I
• Title not available (Why is that?)
• A brief history of process algebra
• Probabilistic bisimulations for quantum processes
• Open Bisimulation for Quantum Processes
• An algebra of quantum processes
• Bisimulation for quantum processes
• Relations among quantum processes: bisimilarity and congruence
• Communicating quantum processes
• Types and typechecking for Communicating Quantum Processes

Cited In (2)

• Probabilistic process algebra to unifying quantum and classical computing in closed systems
• Entanglement in absorption processes

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)