Pages that link to "Item:Q2863887"
From MaRDI portal
The following pages link to Operator algebras and the operational semantics of probabilistic languages (Q2863887):
Displaying 4 items.
- Towards a quantum domain theory: order-enrichment and fixpoints in \(W^*\)-algebras (Q283772) (← links)
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← links)
- Semantics for a quantum programming language by operator algebras (Q1670504) (← links)
- Reversible monadic computing (Q5971401) (← links)