#Number
TR-PDS-1998-012
#Title
Dijkstra and Scholten's Algorithm - Simplified
#Author
Vijay K. Garg
#Abstract
Dijkstra and Scholten's algorithm for termination detection requires every
node to maintain the sum of deficit of incoming edges and the
sum of deficit of outgoing edges. I show that it is sufficient to
maintain the sum of deficit of outgoing edges. The resulting
algorithm is also simpler to understand and prove.
#Bib
@InProceedings{,
author = "",
title = "",
booktitle = "the publication name",
address = "location of publication",
month = "",
note = 1998,
note = "available via ftp or WWW at maple.ece.utexas.edu
as technical report TR-PDS-1998-012"
}