DistributedTerminationDetectionProtocol is a project mainly written in ..., it's free.
generalization of Dijkstra’s termination detection protocol for distributed computations
full description here http://ow.ly/d/dH5 (pdf)