Pages that link to "Item:Q5482268"
From MaRDI portal
The following pages link to Relations among quantum processes: bisimilarity and congruence (Q5482268):
Displaying 12 items.
- Semi-automated verification of security proofs of quantum cryptographic protocols (Q491263) (← links)
- Quantum fuzzy inference for knowledge base design in robust intelligent controllers (Q740565) (← links)
- Quantum process algebra with priorities (Q1700843) (← links)
- An axiomatization for quantum processes to unifying quantum and classical computing (Q2010952) (← links)
- Probabilistic process algebra to unifying quantum and classical computing in closed systems (Q2010969) (← links)
- Entanglement in quantum process algebra (Q2010982) (← links)
- Formal verification for KMB09 protocol (Q2010986) (← links)
- On well-founded and recursive coalgebras (Q2200809) (← links)
- Verifying quantum communication protocols with ground bisimulation (Q2233434) (← links)
- Probabilistic bisimulations for quantum processes (Q2461794) (← links)
- Model-Checking Linear-Time Properties of Quantum Systems (Q2946731) (← links)
- (Q5009413) (← links)
