Pages that link to "Item:Q5169970"
From MaRDI portal
The following pages link to Symbolic Bisimulation for Quantum Processes (Q5169970):
Displaying 8 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)
- Compositional equivalences based on open pNets (Q2683032) (← links)
- An algebra of quantum processes (Q2946577) (← links)
- (Q5009413) (← links)
- Branching bisimulation semantics for quantum processes (Q6551718) (← links)