Derivation of a termination detection algorithm for distributed computations

Control Flow and Data Flow: Concepts of Distributed Programming ◽

10.1007/978-3-642-82921-5_13 ◽

1986 ◽

pp. 507-512 ◽

Author(s):

Edsger W. Dijkstra ◽

W. H. J. Feijen ◽

A. J. M. van Gasteren

Keyword(s):

Detection Algorithm ◽

Termination Detection ◽

Distributed Computations

Download Full-text

Derivation of a termination detection algorithm for distributed computations

Information Processing Letters ◽

10.1016/0020-0190(83)90092-3 ◽

1983 ◽

Vol 16 (5) ◽

pp. 217-219 ◽

Author(s):

Edsger W. Dijkstra ◽

W.H.J. Feijen ◽

A.J.M. van Gasteren

Keyword(s):

Detection Algorithm ◽

Termination Detection ◽

Distributed Computations

Download Full-text

Ring based termination detection algorithm for distributed computations

Microprocessors and Microsystems ◽

10.1016/0141-9331(87)90016-0 ◽

1987 ◽

Vol 11 (9) ◽

pp. 504

Keyword(s):

Detection Algorithm ◽

Termination Detection ◽

Distributed Computations

Download Full-text

Comments on “distributed termination detection algorithm for distributed computations [1]

Information Processing Letters ◽

10.1016/0020-0190(86)90118-3 ◽

1986 ◽

Vol 23 (3) ◽

pp. 163 ◽

Author(s):

R.B. Tan ◽

G. Tel ◽

J. Van Leeuwen

Keyword(s):

Detection Algorithm ◽

Termination Detection ◽

Distributed Computations ◽

Distributed Termination Detection

Download Full-text

Comments on “ring based termination detection algorithm for distributed computations”

Information Processing Letters ◽

10.1016/0020-0190(89)90219-6 ◽

1989 ◽

Vol 31 (3) ◽

pp. 127-128

Author(s):

G. Tel ◽

F. Mattern

Keyword(s):

Detection Algorithm ◽

Termination Detection ◽

Distributed Computations

Download Full-text

More comments on “Distributed termination detection algorithm for distributed computations” [1,2]

Information Processing Letters ◽

10.1016/0020-0190(88)90133-0 ◽

1988 ◽

Vol 29 (1) ◽

pp. 53-55 ◽

Keyword(s):

Detection Algorithm ◽

Termination Detection ◽

Distributed Computations ◽

Distributed Termination Detection

Download Full-text

Ring based termination detection algorithm for distributed computations

Information Processing Letters ◽

10.1016/0020-0190(88)90053-1 ◽

1988 ◽

Vol 29 (3) ◽

pp. 149-153 ◽

Author(s):

S. Haldar ◽

D.K. Subramanian

Keyword(s):

Detection Algorithm ◽

Termination Detection ◽

Distributed Computations

Download Full-text

Distributed termination detection algorithm for distributed computations

Information Processing Letters ◽

10.1016/0020-0190(86)90072-4 ◽

1986 ◽

Vol 22 (6) ◽

pp. 311-314 ◽

Author(s):

R.K. Arora ◽

S.P. Rana ◽

M.N. Gupta

Keyword(s):

Detection Algorithm ◽

Termination Detection ◽

Distributed Computations ◽

Distributed Termination Detection

Download Full-text

Ring based termination detection algorithm for distributed computations

Microprocessing and Microprogramming ◽

10.1016/0165-6074(87)90281-x ◽

1987 ◽

Vol 19 (3) ◽

pp. 219-226 ◽

Author(s):

R.K Arora ◽

S.P Rana ◽

M.N Gupta

Keyword(s):

Detection Algorithm ◽

Termination Detection ◽

Distributed Computations

Download Full-text

A Distributed Termination Detection Algorithm for Dynamic Asynchronous Systems

10.1109/icdcs.2009.16 ◽

2009 ◽

Author(s):

Paul Johnson ◽

Neeraj Mittal

Keyword(s):

Detection Algorithm ◽

Asynchronous Systems ◽

Termination Detection ◽

Distributed Termination Detection

Download Full-text

A termination detection algorithm: specification and verification

FM’99 — Formal Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-48118-4_41 ◽

1999 ◽

pp. 1720-1737 ◽

Author(s):

Robert Eschbach

Keyword(s):

Detection Algorithm ◽

Termination Detection ◽

Specification And Verification

Download Full-text