Sistemi di processi sequenziali asincroni: proprieta' di bilanciamento nelle analisi delle cause di deadlock

Scopo del presente lavoro è la determinazione di condizioni necessarie e sufficienti affinchè in una sottoclasse di sistemi, costituiti da insieme di processi asincroni comunicanti, non si verifichino condizioni di "deadlock". Tale sottoclasse è costituita da sistemi, i cui processi sono modellati da scehmi con un'unica sequenza di controllo e la cui interazione è garantita tramite "mailboxes" che collegano i processi uno-a-uno. Vengono prese in considerazione condizioni di "deadlock" originate unicamente dal meccanismo di comunicazione tra processi.