Pages that link to "Item:Q2248076"
From MaRDI portal
The following pages link to Algorithmic probabilistic game semantics. Playing games with automata (Q2248076):
Displaying 5 items.
- Quantitative simulations by matrices (Q729815) (← links)
- QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
- (Q3384159) (← links)
- Space-bounded probabilistic game automata (Q4302843) (← links)
- Preorder-constrained simulations for program refinement with effects (Q6666773) (← links)