Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S. Expliciting dynamic process generation. Chapter 9 of the task 1.2 third deliverable. Internal note IEI-B4-30, 1992.
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 [19]. Dynamic instantiation of new processes can be expressed in LOTOS by means of an unguarded recursion. 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.
Subject LOTOS

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional