Notes on termination of OCCAM processes

Authors:
D. Talla
Affiliations:
CRAI, Localith S. Stefano, 87036 Rende (CS), Italy
Venue:
ACM SIGPLAN Notices
Year:
1990

Citing 5
Cited 0

Synchronized Distributed Termination

IEEE Transactions on Software Engineering
A tutorial introduction to Occam programming

A tutorial introduction to Occam programming
Distributed Termination

ACM Transactions on Programming Languages and Systems (TOPLAS)
Termination Detection of Diffusing Computations in Communicating Sequential Processes

ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes

Communications of the ACM

Quantified Score

Hi-index	0.00

Visualization

Abstract

A typical problem of concurrent programming is to ensure the correct termination of the concurrent processes which implement a program. The concurrent language Occam 2 does not provide explicit mechanisms to handle the program termination. This paper describes how to implement the distributed termination of Occam programs expressed as a network of parallel processes, avoiding deadlock situations or never-ending execution. The technique is based on the propagation of a termination message down the network of processes. Some Occam 2 programs which use this technique are described.