In Spring 1996 I had to give a <a href = http://www.cs.utexas.edu/users/canfield/printslides.ps>report</a> to my 	EE382C ("Software for Highly-Available Distributed 	Systems") class.  The slides talk about 	efforts to use 	<a href = http://www.cs.cmu.edu/afs/cs/project/art-6/www/> 	RT-Mach</a> to implement some of  	<a href = http://www-cse.ucsd.edu/users/flaviu/> 	Flaviu Cristian</a>'s distributed 	algorithms (work done for  	<a href= http://www.cs.utexas.edu/users/cpg/RTS/mok.html> 	Prof. Al Mok</a>; built on some work by  	<a href= http://www.cs.utexas.edu/users/liugt>Guangtian Liu</a>).  <li>
