Expliciting dynamic process generation

Consider the following informal specification: Whenever a request is made on the gate g, instantiate a new process that handles such request, so that other requests could be served in parallel. This paradigm can be frequently found in several classes of application. An example can be found in the Telephone System specification in [15]. Dynamic instantiation of new processes can be expressed in LOTOS by means of an unguarded recursion (see the example below). The proposed transformation, starting from a process P, which contains unguarded recursions, produces a process Q with only guarded recursions, which is observationally equivalent to P.