Derivation of a termination detection algorithm for distributed computations

E.W. Dijkstra, W.H.J. Feijen, A.J.M. Gasteren, van

Research output: Contribution to journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	217-219
Journal	Information Processing Letters
Volume	16
Issue number	5
DOIs	https://doi.org/10.1016/0020-0190(83)90092-3
Publication status	Published - 1983

Access to Document

@article{2ea855e38e8b41ffb4385e52d9bcb984,

title = "Derivation of a termination detection algorithm for distributed computations",

author = "E.W. Dijkstra and W.H.J. Feijen and {Gasteren, van}, A.J.M.",

year = "1983",

doi = "10.1016/0020-0190(83)90092-3",

language = "English",

volume = "16",

pages = "217--219",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier",

number = "5",

}

TY - JOUR

T1 - Derivation of a termination detection algorithm for distributed computations

AU - Dijkstra, E.W.

AU - Feijen, W.H.J.

AU - Gasteren, van, A.J.M.

PY - 1983

Y1 - 1983

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

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

M3 - Article

SN - 0020-0190

VL - 16

SP - 217

EP - 219

JO - Information Processing Letters

JF - Information Processing Letters

IS - 5

ER -