Relations among quantum processes: bisimilarity and congruence
From MaRDI portal
Publication:5482268
DOI10.1017/S096012950600524XzbMath1122.68060arXivquant-ph/0603274OpenAlexW2076218011MaRDI QIDQ5482268
Publication date: 28 August 2006
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/quant-ph/0603274
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (15)
Model-Checking Linear-Time Properties of Quantum Systems ⋮ On well-founded and recursive coalgebras ⋮ Quantum process algebra with priorities ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Semi-automated verification of security proofs of quantum cryptographic protocols ⋮ Verifying quantum communication protocols with ground bisimulation ⋮ Probabilistic bisimulations for quantum processes ⋮ Symbolic Bisimulation for Quantum Processes ⋮ Techniques for Formal Modelling and Analysis of Quantum Systems ⋮ An axiomatization for quantum processes to unifying quantum and classical computing ⋮ Probabilistic process algebra to unifying quantum and classical computing in closed systems ⋮ Entanglement in quantum process algebra ⋮ Formal verification for KMB09 protocol ⋮ Quantum fuzzy inference for knowledge base design in robust intelligent controllers
Uses Software
This page was built for publication: Relations among quantum processes: bisimilarity and congruence