PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ancilotti P., Fusani M., Lijtmaer N. Systems of asynchronous sequential processes: the balance property and analysis of deadlock occurences. Internal note IEI-B76-03, 1976.
 
 
Abstract
(English)
In this paper systems, composed by a set of communicating sequential processes, are analyzed. For a subclass of systems, necessary and sufficient conditions are determined in order to avoid deadlock conditions. The subclass of systems analyzed is constitute by sistems whose processes have a unique control sequence and where the process interaction is assured by message-buffers ("mailboxes") with only one sender and only one receiver. Deadlock conditions only caused by the interprocess communication mechanism are considered.
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