Distributed termination of concurrent processes in Occam


Akb'aet--A typical tissue in concurrent programming is to ensure the correct distributed termination of processes which compose a concurrent program. A concurrent program is terminated when every process is passive and there are no messages in transit. The Oc~am concurrent language does not provide explicit mechanisms to handle program termination. This… (More)
DOI: 10.1016/0096-0551(93)90039-4


9 Figures and Tables

Slides referencing similar topics