A more efficient message-optimal algorithm for distributed termination detection | IEEE Conference Publication | IEEE Xplore