The following pages link to Communicating quantum processes (Q5276142):
Displaying 28 items.
- Quantum communication protocols as a benchmark for programmable quantum computers (Q669874) (← links)
- Quantum process algebra with priorities (Q1700843) (← links)
- Distributed quantum programming (Q1761696) (← links)
- An axiomatization for quantum processes to unifying quantum and classical computing (Q2010952) (← links)
- Probabilistic process algebra to unifying quantum and classical computing in closed systems (Q2010969) (← links)
- Entanglement in quantum process algebra (Q2010982) (← links)
- Formal verification for KMB09 protocol (Q2010986) (← links)
- Encodability criteria for quantum based systems (Q2165221) (← links)
- On well-founded and recursive coalgebras (Q2200809) (← links)
- Verifying quantum communication protocols with ground bisimulation (Q2233434) (← links)
- Termination of nondeterministic quantum programs (Q2453979) (← links)
- Probabilistic bisimulations for quantum processes (Q2461794) (← links)
- Equational Reasoning About Quantum Protocols (Q2822505) (← links)
- A process algebra for reasoning about quantum security (Q2864166) (← links)
- Distributed measurement-based quantum computation (Q2864169) (← links)
- Simulating and compiling code for the sequential quantum random access machine (Q2864171) (← links)
- Quantum patterns and types for entanglement and separability (Q2864172) (← links)
- Classical knowledge for quantum cryptographic reasoning (Q2864501) (← links)
- Quantum arrows in Haskell (Q2870213) (← links)
- Model-Checking Linear-Time Properties of Quantum Systems (Q2946731) (← links)
- Interaction in Quantum Communication (Q3548810) (← links)
- Techniques for Formal Modelling and Analysis of Quantum Systems (Q4922086) (← links)
- (Q5009413) (← links)
- (Q5015189) (← links)
- Symbolic Bisimulation for Quantum Processes (Q5169970) (← links)
- Branching bisimulation semantics for quantum processes (Q6551718) (← links)
- Encodability criteria for quantum based systems (Q6563052) (← links)
- Describing and animating quantum protocols (Q6612788) (← links)
