Synchronic aspects of data types: construction of a non-algorithmic solution of the banker's problem

By means of two simple data structures, namely the "cell" and the "interrupt", increasingly complex structures are defined. The specification of these structures is given in a novel extension of the path notation which allows to study the synchronic characteristics of the types we define. These structures are shown to be sufficient to specify a non-algorithmic solution to dynamic — Banker's like allocation problems.