Pages that link to "Item:Q4635806"
From MaRDI portal
The following pages link to Nondeterminism in Game Semantics via Sheaves (Q4635806):
Displaying 6 items.
- Bayesian strategies: probabilistic programs as generalised graphical models (Q2233478) (← links)
- A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus (Q2988382) (← links)
- (Q5079748) (← links)
- Distributed Strategies Made Easy (Q5111299) (← links)
- Monoidal-closed categories of tree automata (Q5220183) (← links)
- Disentangling parallelism and interference in game semantics (Q6635506) (← links)
