This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Achieving Distributed Termination without Freezing
May 1982 (vol. 8 no. 3)
pp. 287-292
ASCII Text
x 
 
N. Francez, M. Rodeh, "Achieving Distributed Termination without Freezing," IEEE Transactions on Software Engineering, vol. 8, no. 3, pp. 287-292, May, 1982.
 
 
BibTex
x
 
@article{ 10.1109/TSE.1982.235257,
author = {N. Francez and M. Rodeh},
title = {Achieving Distributed Termination without Freezing},
journal ={IEEE Transactions on Software Engineering},
volume = {8},
number = {3},
issn = {0098-5589},
year = {1982},
pages = {287-292},
doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1982.235257},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - JOUR
JO - IEEE Transactions on Software Engineering
TI - Achieving Distributed Termination without Freezing
IS - 3
SN - 0098-5589
SP287
EP292
EPD - 287-292
A1 - N. Francez,
A1 - M. Rodeh,
PY - 1982
KW - distributed termination
KW - Communication
KW - concurrency
KW - CSP
KW - distributed programs
VL - 8
JA - IEEE Transactions on Software Engineering
ER -
 
N. Francez, Department of Computer Science, Technion-Israel Institute of Technology
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. 3, pp. 287-292, May 1982, doi:10.1109/TSE.1982.235257
Usage of this product signifies your acceptance of the Terms of Use.