MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Termination Detection for Diffusing Computations." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

ATOM

Termination detection of diffusing computations in communicating sequential processes
by Jayadev Misra, K. M. Chandy — 1982 — ACM Trans. Program. Lang. Syst
…Termination Detection of Diffusing Computations in Communicating Sequential Processes JAYADEV…
Cited by 17 (5 self) – Add To MetaCart

A Generalization of Termination Detection for Diffusing Computations
by K. M. Chandy, J. Misra — 1979 — in Communicating Sequential Processes. ACM %m.sactzons on Pmgramming Languages and Systems
…A Generalization of Termination Detection for Diffusing Computations K. M. Chandy J. Misra TR-1…
Cited by 1 (0 self) – Add To MetaCart

Refinement Based Validation of an Algorithm for Detecting Distributed Termination
by Mamoun Filali Philippe, Gerard Padiou, Xavier Thirioux — 2000
… the development and the validation of an algorithm for detecting the termination of diffusing computations…
Add To MetaCart

Pavane: A System for Declarative Visualization of Concurrent Computations
by Gruia-Catalin Roman, Kenneth C. Cox, C. Donald Wilcox, Jerome Y. Plun — 1992 — JOURNAL OF VISUAL LANGUAGES AND COMPUTING
… the visualization. An algorithm for termination detection in diffusing computations is used to illustrate…
Cited by 78 (8 self) – Add To MetaCart

Washington
by School Of Engineering, Gruia-catalin Roman, Kenneth C. Cox, C. Donald Wilcox, Jerome Y. Plun — 1992 — Journal of Visual Languages and Computing
… the visualization. An algorithm for termination detection in diffusing computations is used to illustrate…
Add To MetaCart

On Termination Detection Protocols in a Mobile Distributed Computing Environment
by Yu-Chee Tseng, Cheng-Chung Tan — 1998 — In Int'l Conf. on Parallel and Distributed Systems
…, below we discuss some applications of termination detection. The diffusion computation [6…
Cited by 5 (2 self) – Add To MetaCart

An Algorithm for Message Delivery to Mobile Units
by Amy Murphy Gruia-Catalin, Amy L. Murphy, Gruia-catalin Roman, George Varghese — 1997 — In the proceedings of the 16th ACM Symposium on Principles of Distributed Computing (PODC'97
… to other algorithms such as the Dijkstra-Scholten algorithm for termination detection in diffusing…
Add To MetaCart

[1] Accredited Standards Committee X3, Information Processing Systems, The
by F. E. Allen, J. L. Carter, J. Fabri, J. Ferrante, W. H. Harrison, P. G. Loewner, Bowen Alpern, Roger Hoover, Barry K. Rosen, Peter F. Sweeney F. Kenneth
… detection. Distributed Computing, 2:127-138, 1987. Cited on page 179. [35] Paul Branquart, Georges Louis…
Add To MetaCart

Pavane: A System for Declarative Visualization of . . .
by Gruia-catalin Roman, Kenneth C. Cox, C. Donald Wilcox, Jerome Y. Plun — 1991 — Journal of Visual Languages and Computing
… with the help of two sample programs: one for detecting termination in diffusing computations and another…
Add To MetaCart

Sparser: A paradigm for running distributed algorithms
by Yehuda Afek, Moty Ricklin — 1990
…], the termination detection of diffusing computation [DS80] the synchronizer [Awe85a, AP90b], the resource…
Cited by 20 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB