1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2023
Saturating automata for game semantics
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…
cs.FL2021★ 1 cited
Leafy Automata for Higher-Order Concurrency
Alex Dixon, Ranko Lazić, Andrzej S. Murawski +1
Finitary Idealized Concurrent Algol (FICA) is a prototypical programming language combining functional, imperative, and concurrent computation. There exists a fully abstract game m…