Dagstuhl Seminar Proceedings 09361

Design and Validation of Concurrent Systems

C. Flanagan, M. Parthasarathy, S. Quadeer (Eds.)

published by LZI
Host

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 | Fulltext Search | Imprint
    Published by LZI