#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"
}