Christopher Hylands, Edward A. Lee, H. John Reekie School of Electrical Engineering and Computer Sciences University of California - Berkeley Berkeley CA 94720 {cxh,eal,johnr}@eecs.berkeley.edu