% The Chicago Journal of Theoretical Computer Science, Volume 1997, Article 3
% Bibliography

@Inproceedings{AroraG90,
	Author	={Anish Arora and Mohamed G. Gouda},
	Title	={Distributed Reset},
	Booktitle={Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science},
	Serie	= {Lecture Notes in Computer Science},
	Volume	= 472,
	Publisher={Springer-Verlag},
	Address	={Berlin},
	Year	=1990,
	Pages	={316--331}
}

@InProceedings{AGV94,
	Author	={Anish Arora and Mohamed G. Gouda and George Varghese},
	Key	={Awerbuch},
	Title	={Constraint satisfaction as a basis for designing nonmasking fault-tolerance},
	Booktitle={Proceedings of the 14th International Conference on Distributed Computing Systems},
	Address	={Poznan, Poland},
	Year	={1994},
	Month	=feb
}

@InProceedings{APV-91,
	Author	={Baruch Awerbuch and Boaz {Patt-Shamir} and George Varghese},
	Title	={Self-Stabilization by Local Checking and Correction},
	Year	={1991},
	Month	=oct,
	Booktitle={Proceedings of the 32nd IEEE Symposium on Foundations of Computer Science}
}

@Inproceedings{CDK,
	Author	={Z. Collin and R. Dechter and S. Katz.},
	Title	={On the Feasibility of Distributed Constraint Satisfaction},
	Booktitle={Proceedings of the  12th IJCAI},
	Month	=aug,
	Year	={1991}
}

@Article{Dijkstra74,
	Author	={Edsger W. Dijkstra},
	Title	={Self Stabilization in spite of Distributed Control},
	Journal	={Communications of the ACM},
	Volume	={17},
	Year	={1974},
	Pages	={643--644}
}

@Article{F-79,
	Author	={Steven G. Finn},
	Title	={Resynch Procedures and a Fail-Safe Network Protocol},
	Journal	={IEEE Transactions on Communications},
	Volume	={COM-27},
	Number	={6},
	Month	=jun,
	Year	={1979},
	Pages	={840--845},
}

@Inproceedings{KPBG94,
	Author	={M. Karaata and S. Pemmaraju and S. Bruell and S. Ghosh},
	Title	={Self-stabilizing algorithms for Finding Centers and Medians of Trees},
	Booktitle={PODC 94},
	Month	=aug,
	Year	={1994}
}

@Inproceedings{KatzP90,
	Author	={Shmuel Katz and Kenneth Perry},
	Title	={Self-Stabilizing Extensions for Message-Passing Systems},
	Booktitle={Proceedings of the 10th ACM Symposium on Principles of Distributed Computing},
	Month	=aug,
	Year	={1990},
	Publisher	={ACM},
	Address	={Quebec City, Canada}
}

@InProceedings{MMT,
	Author	={M. Merritt and F. Modugno and M. R. Tuttle},
	TITLE 	= {Time Constrained Automata},
	Booktitle= {CONCUR 91},
	Year	={1991},
	Pages 	= {408--423}
}

@TechReport{SH87,
	Author	={Stuart R. Soloway and Pierre A. Humblett},
	Title	={On Distributed Network Protocols for Changing Topologies},
	Month	=may,
	Year	={1987},
	Type	={Technical report},
	Number	={LIDS-P-1564},
	Institution	={Massachussetts Institute of Technology}
}

@Article{S93,
	Author	={M. Schneider},
	Title	={Self-stabilization},
	Journal	={ACM Computing Surveys},
	Volume	={25},
	Month	=mar,
	Year	={1993},
}

@InProceedings {VAG95,
	Author	={George Varghese and Anish Arora and Mohamed G. Gouda},
	Title	={Self-Stabilization by Tree Correction},
	Booktitle={Proceedings of the 2nd Workshop on Self-Stabilizing Systems},
	Address	={Las Vegas},
	Year	={1995},
	Month	=may
}

@Phdthesis {V93,
	author	={George Varghese},
	Title	={Self-stabilization by Local Checking and Correction},
	Month	=oct,
	Year	={1993},
	note	={Also Technical report MIT/LCS/TR-583},
	School	={Massachussetts Institute of Technology}
}