1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Alex Dixon, Andrzej S. Murawski
Saturation is a fundamental game-semantic property satisfied by strategies that interpret higher-order concurrent programs. It states that the strategy must be closed under certain…