On achieving distributed termination
2005 ◽
pp. 300-315