Pages that link to "Item:Q5169970"
From MaRDI portal
The following pages link to Symbolic Bisimulation for Quantum Processes (Q5169970):
Displayed 5 items.
- SMT-based generation of symbolic automata (Q2182674) (← links)
- On well-founded and recursive coalgebras (Q2200809) (← links)
- Verifying quantum communication protocols with ground bisimulation (Q2233434) (← links)
- Correctness checking of a quantum protocol for reliable communications via feedback (Q2322281) (← links)
- (Q5009413) (← links)