09361 Abstracts Collection - Design and Validation of Concurrent Systems. - Cormac Flanagan; Susanne Graf; Madhusan Parthasarathy; Shaz Qadeer (Design and Validation of Concurrent Systems, 2009)