Pages that link to "Item:Q4608684"
From MaRDI portal
The following pages link to Causality vs. interleavings in concurrent game semantics (Q4608684):
Displaying 10 items.
- A graphical foundation for interleaving in game semantics (Q479313) (← links)
- Non-angelic concurrent game semantics (Q1652962) (← links)
- Continuous probability distributions in concurrent games (Q2134837) (← links)
- Bayesian strategies: probabilistic programs as generalised graphical models (Q2233478) (← links)
- A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus (Q2988382) (← links)
- Sequentiality vs. concurrency in games and logic (Q4461213) (← links)
- Distributed Strategies Made Easy (Q5111299) (← links)
- (Q5111308) (← links)
- A tale of additives and concurrency in game semantics (Q6612786) (← links)
- Disentangling parallelism and interference in game semantics (Q6635506) (← links)