Dynamic Systems and Their Distributed Termination

  title={Dynamic Systems and Their Distributed Termination},
  author={Shimon Cohen and Daniel J. Lehmann},
This paper describes a new model for dynamic distributed systems, where new processes are added and terminated at execution time. It is an extension of the static model underlying CSP. The model uses CSP I/O commands as the basic means of communications among processes, unlike the model underlying ADA, we insist that each process knows with whom it can communicate. We actually view communication as a fully symmetric operation in which values are exchanged between two processes. A problem of… CONTINUE READING
Highly Cited
This paper has 33 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
22 Citations
0 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 22 extracted citations

Similar Papers

Loading similar papers…