Author:
Arora R.K,Rana S.P,Gupta M.N
Reference13 articles.
1. Distributed Termination;Francez;ACM-TOPLAS2,1980
2. Achieving Distributed Termination without Freezing;Francez,1979
3. Termination Detection for Diffusing Computation;Dijkstra;Information Processing Letters,1980
4. Distributed Termination with Interval Assertions;Francez,1980
5. Termination Detection of Diffusing Computations in Communicating Sequential Processes;Misra;ACM-TOPLAS,1982
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献