Pages that link to "Item:Q3637188"
From MaRDI portal
The following pages link to Partial Orders, Event Structures and Linear Strategies (Q3637188):
Displaying 10 items.
- Strategies as concurrent processes (Q283745) (← links)
- An approach to innocent strategies as graphs (Q418201) (← links)
- Bayesian strategies: probabilistic programs as generalised graphical models (Q2233478) (← links)
- An interpretation of CCS into ludics (Q2333316) (← links)
- A Graph Abstract Machine Describing Event Structure Composition (Q2867884) (← links)
- Order algebras: a quantitative model of interaction (Q4577983) (← links)
- Distributed Strategies Made Easy (Q5111299) (← links)
- The mays and musts of concurrent strategies (Q6612785) (← links)
- A tale of additives and concurrency in game semantics (Q6612786) (← links)
- Disentangling parallelism and interference in game semantics (Q6635506) (← links)
