The following pages link to An algebra of quantum processes (Q2946577):
Displayed 7 items.
- Semi-automated verification of security proofs of quantum cryptographic protocols (Q491263) (← links)
- Quantum loop programs (Q977174) (← links)
- Quantum process algebra with priorities (Q1700843) (← links)
- A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations (Q2401638) (← links)
- Model-Checking Linear-Time Properties of Quantum Systems (Q2946731) (← links)
- Techniques for Formal Modelling and Analysis of Quantum Systems (Q4922086) (← links)
- Symbolic Bisimulation for Quantum Processes (Q5169970) (← links)