License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-25498
URL: http://drops.dagstuhl.de/opus/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

pdf-format:
Document 1.pdf (185 KB)


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:DSP:2010:2549,
  author =	{Cormac Flanagan and Susanne Graf and Madhusan Parthasarathy and Shaz Quadeer},
  title =	{09361 Abstracts Collection -- Design and Validation of Concurrent Systems},
  booktitle =	{Design and Validation of Concurrent Systems},
  year =	{2010},
  editor =	{Cormac Flanagan and Madhusan Parthasarathy and Shaz Quadeer},
  number =	{09361},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2010/2549},
  annote =	{Keywords: Concurrency, Specification, Programming, Verification, Validation, Testing}
}

Keywords: Concurrency, Specification, Programming, Verification, Validation, Testing
Seminar: 09361 - Design and Validation of Concurrent Systems
Issue Date: 2010
Date of publication: 11.05.2010


DROPS-Home | Fulltext Search | Imprint Published by LZI