The Community for Technology Leaders
Green Image
Issue No. 03 - May (1982 vol. 8)
ISSN: 0098-5589
pp: 287-292
N. Francez , Department of Computer Science, Technion-Israel Institute of Technology
ABSTRACT
An efficient algorithm for achieving distributed termination without introducing new communicaton channels and without delaying the basic computations ("freezing") is presented. The algorithm is related to the methodology of designing distributed programs where the programmer is relieved from the problem of distributed termination. An informal correctness proof and complexity analysis are included.
INDEX TERMS
distributed termination, Communication, concurrency, CSP, distributed programs
CITATION
N. Francez, M. Rodeh, "Achieving Distributed Termination without Freezing", IEEE Transactions on Software Engineering, vol. 8, no. , pp. 287-292, May 1982, doi:10.1109/TSE.1982.235257
108 ms
(Ver 3.1 (10032016))