PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S. Expliciting dynamic process generation. Internal note IEI-B4-25, 1991.
 
 
Abstract
(English)
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.
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