Pages that link to "Item:Q4635807"
From MaRDI portal
The following pages link to The Parallel Intensionally Fully Abstract Games Model of PCF (Q4635807):
Displaying 13 items.
- On full abstraction for PCF: I, II and III (Q1854393) (← links)
- Full abstraction for PCF (Q1854394) (← 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)
- (Q5079740) (← links)
- (Q5111308) (← links)
- Concurrent Quantum Strategies (Q5237210) (← links)
- Foundations of Software Science and Computation Structures (Q5308452) (← links)
- (Q5382449) (← 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)