Observational equivalence using schedulers for quantum processes

MaRDI QIDQ4997290zbMATH OpenFDO

Authors Kazuya Yasuda, Takahiro Kubota, Yoshihiko Kakutani

Publication date 29 June 2021

Full work available at URL https://arxiv.org/abs/1412.8546, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2014.13

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Quantum computation (81P68)

Recommendations

• Open bisimulation for quantum processes
• An algebra of quantum processes
• Relations among quantum processes: bisimilarity and congruence
• Probabilistic bisimulations for quantum processes
• Symbolic bisimulation for quantum processes

Cited in

(1)

• Encodability criteria for quantum based systems

This page was built for publication: Observational equivalence using schedulers for quantum processes

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