The following pages link to (Q4218922):
Displaying 8 items.
- Games and full abstraction for FPC. (Q1854351) (← links)
- Asynchronous games. II: The true concurrency of innocence (Q2503039) (← links)
- A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus (Q2988382) (← links)
- Constructing Differential Categories and Deconstructing Categories of Games (Q3012919) (← links)
- Understanding Game Semantics Through Coherence Spaces (Q3178256) (← links)
- (Q3607629) (← links)
- Thick Subtrees, Games and Experiments (Q3637187) (← links)
- (Q5079740) (← links)