Slide 1K. Rustan M. Leino Peter Müller IFIP WG 2.3 meeting 49 10 June 2009 Boston, MA Slide 2 Locks are objects, objects are locks thread local shared, available shared,…