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