Towards a General Framework for Ensuring and Reusing Proofs of Termination Detection in Distributed Computing | IEEE Conference Publication | IEEE Xplore