Finitely recursive processes
Kemal İnan, Pravin P. Varaiya · 1987
We present a new class of discrete event models called Finitely Recursive Processes (FRP). These models are motivated by problems in supervisory control while some of the formal structure is based on Hoare's Communicating Sequential Processes. Although our work is preliminary we believe that for many problems it offers a formalism that is superior to that of Finite State Machines recently introduced in control theory.