ByNobleID
    An algorithm for solving distributed termination problem | NobleID