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.
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.

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