TY  - RPRT
TI  - Saturating automata for game semantics
AU  - Alex Dixon
AU  - Andrzej S. Murawski
PY  - 2023
DO  - 10.46298/entics.12277
UR  - https://arxiv.org/abs/2307.12302
ID  - 2307.12302
ER  -