Dagstuhl Seminar Proceedings 09361
Design and Validation of Concurrent Systems
C. Flanagan, M. Parthasarathy, S. Quadeer (Eds.)
published by LZI
ISSN 1862 - 4405
Dagstuhl Seminar 09361, 30.08. - 04.09.2009
Additional Information
Seminar Homepage
License
Search Publication Server
Authors
Flanagan, Cormac
Graf, Susanne
Parthasarathy, Madhusan
Quadeer, Shaz
Sezgin, Ali
Tasiran, Serdar
09361 Abstracts Collection -- Design and Validation of Concurrent Systems
Authors:
Flanagan, Cormac ; Graf, Susanne ; Parthasarathy, Madhusan ; Quadeer, Shaz
Abstract
|
Document (185 KB)
|
BibTeX
Verifying Optimistic Concurrency: Prophecy Variables and Backward Reasoning
Authors:
Tasiran, Serdar ; Sezgin, Ali ; Quadeer, Shaz
Abstract
|
Document (371 KB)
|
BibTeX
DROPS-Home
|
Imprint
|
Privacy