In: Journal of Mathematical Modelling and Simulation in Systems Analysis, Vol. 6, No. 7, pages 539-543. 1989.
Abstract: A model of concurrent processes using various codes of programs under resource constraints is presented. An extension algorithm for a given concurrent system such that each strategy of resource allocation guarantees that the extended system is deadlock-free is found. The proof of correctness of this algorithm is given.
Keywords: concurrent process synchronization; resource constraint; resource allocation; deadlock-free.