 <a href="http://www.cs.washington.edu/homes/yasushi/transaction/index.html">Transaction Service a la        <em>SPIN</em>, aka        <em>The Qual Project</em>.</a><img src="http://www.cs.washington.edu/homes/yasushi/new.gif"> </ul>
