TY - RPRT TI - The Limit of Recursion in State-based Systems AU - Bahareh Afshari AU - Giacomo Barlucchi AU - Graham E. Leigh PY - 2025 DO - 10.4204/eptcs.435.1 UR - https://arxiv.org/abs/2511.02594 ID - 2511.02594 ER -