License: 
Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.09361.1
URN: urn:nbn:de:0030-drops-25498
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2010/2549/
|
Go to the corresponding Portal |
Flanagan, Cormac ;
Graf, Susanne ;
Parthasarathy, Madhusan ;
Quadeer, Shaz
09361 Abstracts Collection -- Design and Validation of Concurrent Systems
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.
BibTeX - Entry
@InProceedings{flanagan_et_al:DagSemProc.09361.1,
author = {Flanagan, Cormac and Graf, Susanne and Parthasarathy, Madhusan and Quadeer, Shaz},
title = {{09361 Abstracts Collection – Design and Validation of Concurrent Systems}},
booktitle = {Design and Validation of Concurrent Systems},
pages = {1--17},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2010},
volume = {9361},
editor = {Cormac Flanagan and Madhusan Parthasarathy and Shaz Quadeer},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2010/2549},
URN = {urn:nbn:de:0030-drops-25498},
doi = {10.4230/DagSemProc.09361.1},
annote = {Keywords: Concurrency, Specification, Programming, Verification, Validation, Testing}
}
|
Keywords: |
|
Concurrency, Specification, Programming, Verification, Validation, Testing |
|
Collection: |
|
09361 - Design and Validation of Concurrent Systems |
|
Issue Date: |
|
2010 |
|
Date of publication: |
|
11.05.2010 |
