Port directed communication

Open Access
Publisher Website
Google Scholar
Abstract
In his paper, Communicating Sequential Processes, Hoare has introduced a clean concept of a process, in which the states of processes are isolated from one another, except at explicit communication points. Communication and synchronisation in this system is accomplished through the I/O facility and Dijkstra's guarded command. Hoare insisted in his proposal that every input and output command must name its source and destination explicitly. In this paper we propose an alternative to Hoare's scheme. We suggest that communication and synchronisation should be handled through port names. We define the notion of ownership of a port, and require that each port will have a single owner and as many users as needed. These concepts provide the means for: These issues and concepts will be dealt with in this paper, and their usefulness will be demonstrated providing solutions to a variety of familiar programming exercises.

This publication has 0 references indexed in Scilit: