#Number
TR-PDS-1999-002

#Title
A Formal Proof for FLP Result

#Author
Vijay K. Garg

#Abstract
I present a formal proof of impossibility of consensus
in an asynchronous system, a result due to Fischer, Lynch
and Paterson.

	
#Bib
@InProceedings{,
  author = 	 "Vijay K. Garg",
  title = 	 "",
  booktitle =	 "Technical Report",
  address =	 "PDS Technical Report, ECE Department",
  month =	 "November",
  note =	 1999,
  note =	 "available via ftp or WWW at maple.ece.utexas.edu
		  as technical report TR-PDS-1999-002.ps.Z"
}