research
∙
08/24/2021
The Mays and Musts of Concurrent Strategies
Concurrent strategies based on event structures are examined from the vi...
share
research
∙
03/29/2021
Disentangling Parallelism and Interference in Game Semantics
Game semantics is a denotational semantics presenting compositionally th...
research
∙
11/10/2020
Game Semantics: Easy as Pi
Game semantics has proven to be a robust method to give compositional se...
research
∙
04/01/2019