Slide 1Summer School on Language-Based Techniques for Concurrent and Distributed Software Introduction Dan Grossman University of Washington 12 July 2006 Slide 2 Dan Grossman,…