Distributed termination detection of loosely synchronized computations | IEEE Conference Publication | IEEE Xplore