Termination Detection of Diffusing Computations in Com
M CHANDY The University of Texas at Austin In this paper it is shown how the DijkstraScholten scheme for termination detection in a diffusing computation can be adapted to detect termination or deadlock in a network of communicating sequential proce
Embed this Presentation
Available Downloads
Download Notice
Download Presentation The PPT/PDF document "Termination Detection of Diffusing Compu..." is the property of its rightful owner. Permission is granted to download and print the materials on this website for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.