09361 Abstracts Collection – Design and Validation of Concurrent Systems

Flanagan, Cormac; Graf, Susanne; Parthasarathy, Madhusan; Quadeer, Shaz

doi:10.4230/DagSemProc.09361.1

Document

09361 Abstracts Collection – Design and Validation of Concurrent Systems

Authors Cormac Flanagan, Susanne Graf, Madhusan Parthasarathy, Shaz Quadeer

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 9361
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2010-05-11

PDF

File

PDF

DagSemProc.09361.1.pdf

Filesize: 185 kB
17 pages

Document Identifiers

DOI: 10.4230/DagSemProc.09361.1
URN: urn:nbn:de:0030-drops-25498

Subject Classification

Keywords

Concurrency
Specification
Programming
Verification
Validation
Testing

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

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

Author Details

Cormac Flanagan

Susanne Graf

Madhusan Parthasarathy

Shaz Quadeer

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail