DagSemProc.09361.1.pdf
- Filesize: 185 kB
- 17 pages
Document
09361 Abstracts Collection – Design and Validation of Concurrent Systems
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 9361
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2010-05-11
Cite As Get BibTex
Cormac Flanagan, Susanne Graf, Madhusan Parthasarathy, and Shaz Quadeer. 09361 Abstracts Collection – Design and Validation of Concurrent Systems. In Design and Validation of Concurrent Systems. Dagstuhl Seminar Proceedings, Volume 9361, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
https://doi.org/10.4230/DagSemProc.09361.1
Abstract
The Dagstuhl Seminar 09361 ``Design and Validation of Concurrent Systems'' 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.
Subject Classification
Keywords
- Concurrency
- Specification
- Programming
- Verification
- Validation
- Testing
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads