Metodi per la specifica del coordinamento dei processi concorrenti

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.