The Limit of Recursion in State-based Systems. - Bahareh Afshari; Giacomo Barlucchi; Graham E. Leigh (FICS@CSL, 2024)