Extending CSP to Allow Dynamic Resource Management

In his paper "Communicating Sequential Processes," Hoare suggested the use of the input/output construct and Dijkstra\´s guarded commands for handling the task of communication and synchronization in distributed systems. Hoare\´s proposal was intended for programming general parallel systems; as a result, little consideration was given by Hoare to the question of how his mechanisms could be utilized in the construction of reliable dynamic resource management schemes. In this paper, we examine this problem and propose several simple extensions to Hoare\´s constructs that will make the extended Communicating Sequential Processes concept more suitable for the handling of such management schemes.