09361 Abstracts Collection -- Design and Validation of Concurrent Systems

The Dagstuhl Seminar 09361 ``Design and Validation of Concurrent Systems\u27\u27 was held in Schloss Dagstuhl~--~Leibniz Center for Informatics from August 30 to September 4, 2009. During the seminar, participants presented their current research, and ongoing work and open problems were discussed. This paper reviews the seminar topics and goals, and provides abstracts of the presentations given during the seminar. Links to extended abstracts or full papers are provided, if available