Pages that link to "Item:Q5408571"
From MaRDI portal
The following pages link to Bisimulation for quantum processes (Q5408571):
Displayed 7 items.
- Semi-automated verification of security proofs of quantum cryptographic protocols (Q491263) (← links)
- Quantum process algebra with priorities (Q1700843) (← links)
- Termination of nondeterministic quantum programs (Q2453979) (← links)
- Equational Reasoning About Quantum Protocols (Q2822505) (← 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)