Derivation of a termination detection algorithm for distributed computations

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Fingerprint

Dive into the research topics of 'Derivation of a termination detection algorithm for distributed computations'. Together they form a unique fingerprint.