%0 Conference Paper %1 Tasiran10ProphecyVars %A Tasiran, Serdar %A Sezgin, Ali %A Quadeer, Shaz %B Design and Validation of Concurrent Systems %C Dagstuhl, Germany %D 2010 %E Flanagan, Cormac %E Parthasarathy, Madhusan %E Quadeer, Shaz %I Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany %K concurrency sharedmemory verification %N 09361 %T Verifying Optimistic Concurrency: Prophecy Variables and Backward Reasoning %U http://drops.dagstuhl.de/opus/volltexte/2010/2430 %Z Keywords: Concurrency, Program Verification, Static Analysis

@inproceedings{Tasiran10ProphecyVars, added-at = {2011-02-16T09:43:33.000+0100}, address = {Dagstuhl, Germany}, annote = {Keywords: Concurrency, Program Verification, Static Analysis}, author = {Tasiran, Serdar and Sezgin, Ali and Quadeer, Shaz}, biburl = {https://www.bibsonomy.org/bibtex/229e5a79c7716261f95fe8bda6cad63c3/giuliano.losa}, booktitle = {Design and Validation of Concurrent Systems}, editor = {Flanagan, Cormac and Parthasarathy, Madhusan and Quadeer, Shaz}, interhash = {21bf0892522aa056e33468cb483eb477}, intrahash = {29e5a79c7716261f95fe8bda6cad63c3}, issn = {1862-4405}, keywords = {concurrency sharedmemory verification}, number = 09361, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2011-02-16T09:43:33.000+0100}, title = {Verifying Optimistic Concurrency: Prophecy Variables and Backward Reasoning}, url = {http://drops.dagstuhl.de/opus/volltexte/2010/2430}, year = 2010 }