Pages that link to "Item:Q2233434"
From MaRDI portal
The following pages link to Verifying quantum communication protocols with ground bisimulation (Q2233434):
Displaying 6 items.
- An axiomatization for quantum processes to unifying quantum and classical computing (Q2010952) (← links)
- Formal verification for KMB09 protocol (Q2010986) (← links)
- Correctness checking of a quantum protocol for reliable communications via feedback (Q2322281) (← links)
- Automated Equivalence Checking of Concurrent Quantum Systems (Q4617973) (← links)
- Bisimulation for quantum processes (Q5408571) (← links)
- Branching bisimulation semantics for quantum processes (Q6551718) (← links)