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 AsGet 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
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.
Keywords
- Concurrency
- Specification
- Programming
- Verification
- Validation
- Testing
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads