Pages that link to "Item:Q5482266"
From MaRDI portal
The following pages link to Types and typechecking for Communicating Quantum Processes (Q5482266):
Displaying 11 items.
- Quantum loop programs (Q977174) (← 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)
- 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)
- (Q5015189) (← links)
- Deadlock Detection in Linear Recursive Programs (Q5175772) (← links)
