PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ancilotti P., Boari M., Lijtmaer N. Metodi per la specifica del coordinamento dei processi concorrenti. In: Rivista di Informatica, vol. 7 (4) pp. 223 - 238. Masson, 1977.
 
 
Abstract
(English)
In this paper it is sbown that when dealing with problems of conwrreney, two methods exist far associating to an abstract data type the specifications of process synchronization. In the first one, which gives rise to the monitor concept such specifications are contained into abstract data type procedures; in the second one they are defined by regular expressions, named path expressions, externally to the abstract data type procedures. The properties of the two solutions are examined and several examples are reported to illustrate them.
Subject


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