 <a href="http://www.cs.cornell.edu/Info/Projects/ISIS/people/rvr.gif"><img src="http://www.cs.cornell.edu/Info/Projects/ISIS/people/rvr_small.gif" align="middle" alt="@"></a> <a href="http://www.cs.cornell.edu/Info/People/rvr/rvr.html">Robbert van Renesse</a> (rvr@cs.cornell.edu)<br>
