Design and Validation of Concurrent Systems

Keyphrases

Publications

2009

Cormac Flanagan, Susanne Graf, Madhusan Parthasarathy, Shaz Qadeer
09361 Abstracts Collection - Design and Validation of Concurrent Systems. Design and Validation of Concurrent Systems (2009)
Serdar Tasiran, Ali Sezgin, Shaz Qadeer
Verifying Optimistic Concurrency: Prophecy Variables and Backward Reasoning. Design and Validation of Concurrent Systems (2009)

volume 9361, 2009

Design and Validation of Concurrent Systems, 30.08. - 04.09.2009 Design and Validation of Concurrent Systems 9361 (2009)