Issue No. 04 - July (1983 vol. 9)
A. Silberschatz , Department of Computer Science, University of Texas
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.
synchronization, Communication ports, distributed systems, guarded commands, input/output commands, programming languages, resource management
A. Silberschatz, "Extending CSP to Allow Dynamic Resource Management", IEEE Transactions on Software Engineering, vol. 9, no. , pp. 527-531, July 1983, doi:10.1109/TSE.1983.234961