COMPUTING SCIENCE Refining rely-guarantee thinking Ian J. Hayes, Cliff B. Jones and Robert J. Colvin TECHNICAL REPORT SERIES No. CS-TR-1334 May 2012