| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Distributed Strategies Made Easy | Castellan, Simon et al. | 2017 |
| 2 | Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or | Castellan, Simon et al. | 2017 |
| 3 | Causality vs. Interleavings in Concurrent Game Semantics | Castellan, Simon et al. | 2016 |
| 4 | Undecidability of Equality in the Free Locally Cartesian Closed Category | Castellan, Simon et al. | 2015 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 4 |