Recursive State Machines

Recursive State Machines is a state-based computational model that extends finite-state machines by incorporating hierarchically nested states and call-return mechanisms, enabling the explicit representation of procedural recursion and modular control flow in software and formal systems.

73

Publications

3.4K

Citations

190

Authors

117

Institutions

Publications per year

2017–2026

16

Authors

190

  1. KE
    Kousha Etessami

    University of Edinburgh, United Kingdom

    4 publications · 368 citations

    4

    h-index

  2. RA
    Rajeev Alur

    University of Pennsylvania, United States

    3 publications · 358 citations

    3

    h-index

  3. SB
    Stefan Blom

    Centrum Wiskunde & Informatica, Netherlands

    3 publications · 66 citations

    3

    h-index

  4. MG
    Marco Gori

    University of Siena, Italy

    3 publications · 512 citations

    3

    h-index

  5. JV
    Jaco van de Pol

    University of Twente, Netherlands

    3 publications · 66 citations

    3

    h-index

1–5 of 190

Venues

  1. 3

    h-index

  2. IEEE Transactions on Neural Networks

    3 publications · 512 citations

    3

    h-index

  3. Theoretical Computer Science

    3 publications · 51 citations

    3

    h-index

  4. arXiv (Cornell University)

    Repository · 3 publications · 45 citations

    3

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 28 citations

    2

    h-index

1–5